C++17符合std::byte与安全转换规则的多字节类型逐字节操作实现

方案1：无reinterpret_cast的纯标准写法（完全符合扫描规则） #

这种写法完全避免任何类型转换，仅使用标准库函数，且编译器会完全优化掉所有额外操作，运行时开销为0。

#include <cstddef>
#include <cstdint>
#include <cstring>
#include <algorithm>

int main() {
    std::uint32_t value = 0xDEADBEEF;
    std::byte bytes[sizeof(value)];

    // 读写内存均通过memcpy，无类型别名UB，无reinterpret_cast
    std::memcpy(bytes, &value, sizeof(value));
    std::for_each(std::begin(bytes), std::end(bytes), [](std::byte& b) {
        b ^= std::byte{0xAA};
    });
    std::memcpy(&value, bytes, sizeof(value));

    return 0;
}

你担心的繁琐问题可以通过封装通用工具函数解决，不需要每次重复写memcpy逻辑。而且这种写法没有用到vector，直接在栈上分配固定大小的std::byte数组，完全没有额外内存开销。

方案2：极简用户侧写法（仅工具函数内部用reinterpret_cast） #

如果团队允许对经过审核的通用工具函数豁免reinterpret_cast检查，可以封装一个通用的字节转换函数，用户侧代码可以写得和C原生写法一样简洁：

#include <cstddef>
#include <cstdint>
#include <type_traits>
#include <span>

// 通用工具函数，仅需实现一次，可单独申请扫描豁免
template <typename T, std::enable_if_t<std::is_trivially_copyable_v<T>, int> = 0>
std::span<std::byte, sizeof(T)> as_writable_bytes(T& value) noexcept {
    return {std::launder(reinterpret_cast<std::byte*>(std::addressof(value))), sizeof(T)};
}

int main() {
    std::uint32_t value = 0xDEADBEEF;
    // 用户侧无reinterpret_cast，直接基于范围迭代操作字节
    for (auto& b : as_writable_bytes(value)) {
        b ^= std::byte{0xAA};
    }

    return 0;
}

这种写法完全符合C++标准的别名规则，std::byte是少数被允许别名任意类型的标准类型，不会产生未定义行为。

补充说明 #

两种方案生成的汇编指令和你原先写的C语言版本完全一致，没有任何性能损失。其中方案1是100%符合你给出的两条强制约束的写法，不需要对任何代码开扫描豁免。

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