std:: add_sat

Вычисляет насыщающее сложение x + y . Эта операция (в отличие от встроенных арифметических операций над целыми числами ) ведёт себя так, как если бы это была математическая операция с бесконечным диапазоном. Пусть q обозначает результат такой операции. Возвращает:

• 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 .

Если переданы два аргумента разного типа, вызов не компилируется, т.е. поведение относительно вывода аргументов шаблона такое же, как для 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;
        // может вызвать предупреждение о преобразовании int -> unsigned char для `a`
    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
}

Смотрите также

Внешние ссылки