C++字节交换：reinterpret_cast操作字节为何要用bit_cast

核心疑问背景 #

查阅C++标准库文档了解std::byteswap函数用法时，存在如下几个待澄清的问题：

• 为什么字节交换的标准参考实现使用std::bit_cast，而非直接通过reinterpret_cast转为char*操作字节？
• 已知转换为char*访问对象字节的形式不违反严格别名规则，但有说法称直接转char*反转字节的实现可能因未对齐内存访问触发未定义行为，该说法是否成立？
• 如果未对齐内存访问属于未定义行为，究竟什么场景下可以使用reinterpret_cast操作对象字节？C++标准本身是允许该转换后进行内存读写操作的。

两种常见的byteswap实现代码如下：

// 实现1：使用bit_cast的constexpr版本
template<std::integral T>
constexpr T byteswap(T value) noexcept
{
    static_assert(std::has_unique_object_representations_v<T>, 
                  "T may not have padding bits");
    auto value_representation = std::bit_cast<std::array<std::byte, sizeof(T)>>(value);
    std::ranges::reverse(value_representation);
    return std::bit_cast<T>(value_representation);
}

// 实现2：使用reinterpret_cast转char*的就地修改版本
template<std::integral T>
void byteswap(T& value) noexcept
{
    static_assert(std::has_unique_object_representations_v<T>, 
                  "T may not have padding bits");
    // 注：原代码此处存在笔误，漏写取地址符&，正确写法应为取value的地址转char*
    char* value_representation = reinterpret_cast<char*>(&value);
    std::reverse(value_representation, value_representation + sizeof(T));
}

问题解答 #

1. 关于reinterpret_cast转char*操作的对齐误区 #

首先明确：逐字节通过char*/unsigned char*/std::byte*访问内存，永远不会触发未对齐访问的未定义行为。
C++标准明确规定，这三类字符类型的内存访问没有对齐要求，允许程序员通过这三类指针查看、修改任意平凡可复制类型的对象表示，这个行为本身是严格符合标准的，既不违反严格别名规则，也不存在对齐问题。
所谓“reinterpret_cast转字节指针会触发对齐UB”的说法，本质是混淆了访问场景：如果把字节指针重新转换为对齐要求更高的其他类型指针（比如把char*转成uint32_t*）再解引用，此时如果指针地址不满足目标类型的对齐要求，才会触发未定义行为。上述实现2全程通过char*做单字节读写，不存在这类问题。

2. 为什么参考实现优先用std::bit_cast #

核心原因不是别名或者对齐问题，而是常量表达式（constexpr）支持：

• C++标准明确规定，reinterpret_cast、以及通过字符指针修改对象内存表示的操作，不允许出现在常量求值语境中，也就是说实现2这种写法根本无法在编译期执行，不能标记为constexpr。
• std::bit_cast是C20引入的类型双关设施，从设计层面就支持常量求值：只要操作的类型满足平凡可复制、无填充位的要求，编译期就可以完成“值转字节数组→反转字节数组→字节数组转回目标类型”的全流程，这也是为什么实现1可以标记为constexpr，支持编译期字节交换，适配现代C的编译期计算需求。
  除此之外，bit_cast的实现是值语义，不需要修改原对象，返回新值的接口也更符合纯函数的设计，不会产生原地修改的副作用。

3. 可以使用reinterpret_cast转字节指针操作内存的场景 #

只要同时满足以下两个条件，该操作就完全符合C++标准，不存在未定义行为：

• 转换时传入的是合法存在的对象的实际地址，不是把整数值直接强转为指针指向非法内存地址；
• 全程仅通过char*/unsigned char*/std::byte*做单字节粒度的读写，不把字节指针转回对齐要求更高的其他类型指针后直接解引用访问。

内容的提问来源于stack exchange，提问作者greywolf82