std:: add_sat

포화 덧셈 x + y 을 계산합니다. 이 연산은 (내장 정수 산술 연산 과 달리) 무한한 범위를 가진 수학적 연산인 것처럼 동작합니다. 이러한 연산의 결과를 q 라고 나타냅니다. 반환값:

• q , 만약 q 가 타입 T 의 값으로 표현 가능한 경우. 그렇지 않으면,
• 타입 T 의 최대값 또는 최소값 중 q 에 더 가까운 값.

이 오버로드는 다음 조건에서만 오버로드 해결에 참여합니다: T 가 정수형 인 경우, 즉: signed char , short , int , long , long long , 확장 부호 정수형, 또는 이러한 타입들의 부호 없는 버전. 특히, T 는 (가능한 cv-qualified) bool , char , wchar_t , char8_t , char16_t , 그리고 char32_t 일 수 없습니다. 이러한 타입들은 산술 연산을 목적으로 하지 않기 때문입니다.

매개변수

반환값

Saturated x + y .

참고 사항

정수에 대한 내장 산술 연산자와 달리, integral promotion 은 x 와 y 인수에 적용되지 않습니다.

서로 다른 타입의 두 인자가 전달되면, 호출은 컴파일되지 않습니다. 즉, 템플릿 인자 추론 에 관한 동작은 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); // no saturation occurs, T = int
    static_assert(a == 7);
    constexpr unsigned char b = std::add_sat<unsigned char>(UCHAR_MAX, 4); // saturated
    static_assert(b == UCHAR_MAX);
    constexpr unsigned char c = std::add_sat(UCHAR_MAX, 4); // not saturated, T = int
        // add_sat(int, int) returns int tmp == 259,
        // then assignment truncates 259 % 256 == 3
    static_assert(c == 3);
//  unsigned char d = std::add_sat(252, c); // Error: inconsistent deductions for T
    constexpr unsigned char e = std::add_sat<unsigned char>(251, a); // saturated
    static_assert(e == UCHAR_MAX);
        // 251 is of type T = unsigned char, `a` is converted to unsigned char value;
        // might yield an int -> unsigned char conversion warning for `a`
    constexpr signed char f = std::add_sat<signed char>(-123, -3); // not saturated
    static_assert(f == -126);
    constexpr signed char g = std::add_sat<signed char>(-123, -13); // saturated
    static_assert(g == std::numeric_limits<signed char>::min()); // g == -128
}

참고 항목

외부 링크