std::saturating_div

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

Вычисляет насыщенное деление x / y. Если T имеет знаковый целочисленный тип, x является наименьшим (наиболее отрицательным) значением T, а y == -1, возвращает наибольшее значение T; в противном случае возвращает x / y.

y не должно быть равно 0, иначе поведение не определено. Вызов функции не является основным константным выражением, если возникает неопределённое поведение.

Эта перегрузка участвует в разрешении перегрузки, только если T является целочисленным типом, то есть одним из следующих типов: signedchar, short, int, long, longlong, расширенный знаковый целочисленный тип или беззнаковая версия одного из этих типов. В частности, 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.

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

namespace detail {
template<class T>
concept integer =
    std::is_integral_v<T> &&
    !std::is_same_v<std::remove_cv_t<T>, bool> &&
    !std::is_same_v<std::remove_cv_t<T>, char> &&
    !std::is_same_v<std::remove_cv_t<T>, char8_t> &&
    !std::is_same_v<std::remove_cv_t<T>, char16_t> &&
    !std::is_same_v<std::remove_cv_t<T>, char32_t> &&
    !std::is_same_v<std::remove_cv_t<T>, wchar_t>;
} // namespace detail

template<detail::integer T>
constexpr T saturating_div( T x, T y ) noexcept
{
    if constexpr (std::is_signed_v<T>)
        if (x == std::numeric_limits<T>::min() && y == -1)
            return std::numeric_limits<T>::max();
    return x / y;
}

Пример

#include <climits>
#include <numeric>

static_assert
(""
    && (std::saturating_div<int>(6, 3) == 2) // not saturated
    && (std::saturating_div<int>(INT_MIN, -1) == INT_MAX) // saturated
    && (std::saturating_div<unsigned>(6, 3) == 2) // not saturated
);

int main() {}

См. также

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