Namespaces
Variants

    std::shr

    来自 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 shr( T x, S s ) noexcept;
    		(自 C++29 起)

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

    参数

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

    返回值

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

    注解

    不同于 >> 运算符，std::shr 绝不会出现未定义行为。 移位操作如同右移一位执行 s 次，或者如果 -s 为负数则左移一位执行 s 次，但 -s 不会溢出。

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

    可能的实现

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

    示例

    本节不完整
    原因：缺少示例

    参阅

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