std::saturating_sub

template< class T >
constexpr T saturating_sub( 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), libc++ (Clang).

Пример

#include <climits>
#include <numeric>
 
static_assert
(""
    && (std::saturating_sub<int>(INT_MIN + 4, 3) == INT_MIN + 1) // not saturated
    && (std::saturating_sub<int>(INT_MIN + 4, 5) == INT_MIN) // saturated
    && (std::saturating_sub<int>(INT_MAX - 4, -3) == INT_MAX - 1) // not saturated
    && (std::saturating_sub<int>(INT_MAX - 4, -5) == INT_MAX) // saturated
    && (std::saturating_sub<unsigned>(4, 3) == 1) // not saturated
    && (std::saturating_sub<unsigned>(4, 5) == 0) // saturated
);

int main() {}

См. также

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