[numeric.sat]

🔗

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

Returns: If

x + y is representable as a value of type T, x + y; otherwise, either the largest or smallest representable value of type T, whichever is closer to the value of x + y .

🔗

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

Returns: If

x - y is representable as a value of type T, x - y; otherwise, either the largest or smallest representable value of type T, whichever is closer to the value of x - y .

🔗

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

Returns: If x ×y is representable as a value of type T, x ×y; otherwise, either the largest or smallest representable value of type T, whichever is closer to the value of x ×y.

🔗

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

Returns: If T is a signed integer type and x == numeric_limits<T>::min() && y == -1 is true, numeric_limits<T>::max(), otherwise, x / y.

Remarks: A function call expression that violates the precondition in the Preconditions element is not a core constant expression ([expr.const]).

26.10.17.2 Casting [numeric.sat.cast]

🔗

template<class R, class T>
  constexpr R saturate_cast(T x) noexcept;

Returns: If x is representable as a value of type R, x; otherwise, either the largest or smallest representable value of type R, whichever is closer to the value of x.