std:: add_sat

飽和 加算 x + y を計算します。この演算は（組み込みの 整数演算 とは異なり） 無限 の範囲を持つ数学的演算であるかのように振る舞います。このような演算の結果を q とします。 戻り値:

• q 、型 T の値として表現可能な場合。それ以外の場合、
• 型 T の最大値または最小値のうち、 q に近い方の値。

このオーバーロードは、 T が 整数型 である場合にのみ、オーバーロード解決に参加します。すなわち： signed char 、 short 、 int 、 long 、 long long 、拡張符号付き整数型、またはこれらの型の符号なしバージョンです。特に、 T は（CV修飾された可能性のある） bool 、 char 、 wchar_t 、 char8_t 、 char16_t 、および char32_t であってはなりません。これらの型は算術演算を意図していないためです。

パラメータ

戻り値

飽和 x + y .

注記

組み込みの整数演算子とは異なり、 integral promotion は x および y 引数には適用されません。

異なる型の2つの引数が渡された場合、その呼び出しはコンパイルに失敗します。つまり、 テンプレート引数推論 に関する動作は、 std::min や std::max と同じです。

最新のハードウェアアーキテクチャの多くは、 SIMDベクトル に対する飽和演算を効率的にサポートしています。これには SSE2 （ x86 向け）や NEON （ ARM 向け）が含まれます。

実装例

以下を参照してください libstdc++ (gcc) 。

例

#include <climits>
#include <limits>
#include <numeric>
static_assert(CHAR_BIT == 8);
static_assert(UCHAR_MAX == 255);
int main()
{
    constexpr int a = std::add_sat(3, 4); // 飽和は発生せず、T = int
    static_assert(a == 7);
    constexpr unsigned char b = std::add_sat<unsigned char>(UCHAR_MAX, 4); // 飽和発生
    static_assert(b == UCHAR_MAX);
    constexpr unsigned char c = std::add_sat(UCHAR_MAX, 4); // 飽和せず、T = int
        // add_sat(int, int) は int tmp == 259 を返し、
        // 代入時に 259 % 256 == 3 に切り詰められる
    static_assert(c == 3);
//  unsigned char d = std::add_sat(252, c); // エラー: T の推論が矛盾
    constexpr unsigned char e = std::add_sat<unsigned char>(251, a); // 飽和発生
    static_assert(e == UCHAR_MAX);
        // 251 は型 T = unsigned char、`a` は unsigned char 値に変換される;
        // `a` に対して int -> unsigned char 変換警告が発生する可能性あり
    constexpr signed char f = std::add_sat<signed char>(-123, -3); // 飽和せず
    static_assert(f == -126);
    constexpr signed char g = std::add_sat<signed char>(-123, -13); // 飽和発生
    static_assert(g == std::numeric_limits<signed char>::min()); // g == -128
}

関連項目

外部リンク