std::shl

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

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

Параметры

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

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

Примечания

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

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

template<class T, class S> // TODO: constraints
constexpr T shl(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(x < 0 ? -1 : 0) : x >> -s;
    }
    return s >= width ? T(0) : x << s;
}

Пример

См. также