std::shr

template< class T, class S >
constexpr T shr( T x, S s ) noexcept;

Возвращает \(\small{\lfloor x \times 2^{-s} \rfloor}\)⌊x · 2-s
⌋ округлённое в сторону отрицательной бесконечности и усечённое, чтобы поместиться в T.

Параметры

Возвращаемое значение

\(\small{\lfloor x \times 2^{-s} \rfloor}\)⌊x · 2-s
⌋ усечённое до типа результата.

Примечания

В отличие от оператора >>, std::shr никогда не вызывает неопределённого поведения. Сдвиг выполняется так, как если бы производился сдвиг вправо на один бит s раз, или сдвиг влево на один бит -s раз, если s отрицательно, за исключением того, что -s не может вызвать переполнение.

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

template<class T, class S> // TODO: constraints
constexpr T shr(T x, S s) noexcept
{
    constexpr auto width = S(std::numeric_limits<std::make_unsigned_t<T>>::digits);
    if constexpr (std::is_signed_v<S>)
    {
        if (s < 0)
            return s <= -width ? T(0) : x << -s;
    }
    return s >= width ? T(x < 0 ? -1 : 0) : x >> s;
}

Пример

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