std::mul_sat

template< class T >
constexpr T mul_sat( T x, T y ) noexcept;

Вычисляет насыщающее умножение 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.

Исключения

Не выбрасывает исключений.

Примечания

В отличие от встроенных арифметических операторов над целыми числами, целочисленное продвижение не применяется к аргументам x и y.

Если переданы два аргумента разного типа, вызов не компилируется, т.е. поведение относительно вывода шаблонов аргументов такое же, как для std::min или std::max.

Большинство современных архитектур процессоров имеют эффективную поддержку насыщающей арифметики для векторов SIMD, включая SSE2 для x86 и NEON для ARM.

Возможная реализация

См. libstdc++ (gcc).

Пример

#include <climits>
#include <numeric>
 
static_assert
(""
    && (std::mul_sat<int>(2, 3) == 6) // not saturated
    && (std::mul_sat<int>(INT_MAX / 2, 3) == INT_MAX) // saturated
    && (std::mul_sat<int>(-2, 3) == -6) // not saturated
    && (std::mul_sat<int>(INT_MIN / -2, -3) == INT_MIN) // saturated
    && (std::mul_sat<unsigned>(2, 3) == 6) // not saturated
    && (std::mul_sat<unsigned>(UINT_MAX / 2, 3) == UINT_MAX) // saturated
);
 
int main() {}

См. также

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