Namespaces
Variants

    std::shl

    来自 zh.cppreference.net
     
    C++
     
    工具库
    通用工具
    关系运算符 (C++20 中弃用)
    整数比较函数
    (C++20)(C++20)(C++20)    
    (C++20)
    交换 与 类型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    常用词汇类型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    位操纵
    (C++20)
    (C++23)
    2 的整数幂2
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    移位
    (C++29)
    (C++29)
    旋转
    (C++20)
    (C++20)
    计数
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    置换
    (C++29)
    (C++29)
    (C++29)
    (C++29)
    端序
    (C++20)
     
    定义于头文件 <bit> 
    template< class T, class S >
constexpr T shl( T x, S s ) noexcept;
    		(自 C++29 起)

    返回 ⌊x · 2s
    ⌋     向负无穷取整，并截断以适应 T。

    参数

    x - 无符号整数类型的值
    s - 要移动的位置数

    返回值

    ⌊x · 2s
    ⌋     截断为结果类型。

    注解

    与 << 运算符不同，std::shl 永远不会导致未定义行为。 移位操作如同通过向左移动一位进行 s 次，或者在 -s 为负数时向右移动一位进行 s 次，但是 -s 不会溢出。

    功能特性测试宏 值 标准 功能
    __cpp_lib_bitops 202606L (C++29) 更好的移位

    可能的实现

    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;
}

    示例

    本节不完整
    原因：没有示例

    参阅

    (C++29)
    		 向右移位，且无未定义行为的可能
    (函数模板)
    (C++20)
    		 计算按位左旋转的结果
    (函数模板)
    (C++20)
    		 计算按位右旋转的结果
    (函数模板)