如何在C++中可靠地执行算术右移操作？

算术右移与逻辑右移的核心差异在于最高位填充规则：逻辑右移始终用0填充空位，而算术右移会用原数的符号位（最高位）填充，以此保证负数右移后符号不变（例如-4算术右移1位得到-2，而非逻辑右移的0x7FFFFFFE）。

但在C20之前的C标准，以及所有版本的C标准中，对有符号整数执行右移的行为是实现定义的——不同编译器或平台可能采用逻辑右移，也可能采用算术右移，无法保证跨平台一致性。

需求 #

实现一种不受平台/编译器实现细节影响的算术右移，要求代码简洁可内联，且不含任何条件判断或分支。

解决方案 #

利用有符号整数的符号位特性，构造符号掩码后结合逻辑右移模拟算术右移行为，以下是两种实现方式：

1. 固定位宽实现（以32位有符号整数为例）

#include <cstdint>

// 对int32_t执行算术右移，shift范围0~31
inline int32_t arithmetic_right_shift(int32_t value, int shift) {
    // 生成符号掩码：负数时为0xFFFFFFFF，正数时为0
    const int32_t sign_mask = value >> 31;
    // 逻辑右移后，用掩码填充高位符号位
    return (value >> shift) | (sign_mask << (31 - shift));
}

注：这里value >> 31无论编译器是算术还是逻辑右移，结果都会是全1（对应-1）或全0——负数右移31位后，算术右移会得到全1，逻辑右移则只剩最高位的1，而有符号数中全1正好是-1；正数无论哪种右移都是0。

2. 通用模板实现（支持任意有符号整数类型）

#include <type_traits>

// 模板函数：仅支持有符号整数类型
template <typename T>
inline typename std::enable_if<std::is_signed<T>::value, T>::type 
arithmetic_right_shift(T value, int shift) {
    using UnsignedT = typename std::make_unsigned<T>::type;
    const int bit_width = sizeof(T) * 8;
    // 生成符号掩码：负数为全1，正数为全0
    const T sign_mask = value >> (bit_width - 1);
    // 先转无符号执行标准逻辑右移，再合并符号掩码填充高位
    return static_cast<T>(static_cast<UnsignedT>(value) >> shift) | 
           (sign_mask << (bit_width - shift));
}

原理说明 #

1. 符号掩码生成：将有符号数右移「位宽-1」位，最终结果只会是全1（负数）或全0（正数），不受编译器右移实现的影响。
2. 逻辑右移保证：将有符号数转为无符号数后执行右移，这是C/C++标准明确规定的逻辑右移，高位固定填0。
3. 掩码填充：将符号掩码左移「位宽-shift」位，得到需要填充的高位符号位部分，与逻辑右移结果按位或，即可得到算术右移的最终结果。

内容的提问来源于stack exchange，提问作者Kevin H. Patterson