C++20中如何安全无UB地对4字节对齐数据进行类型双关？

问题背景 #

在一个保证4字节对齐的消息系统中，UDP包以uint32_t数组形式传输：

• 发送时通过std::bit_cast将结构体转为对应大小的std::array<uint32_t>，操作正常。
• 接收时，recv_buffer[0]为ResponseType类型，后续数据对应Baz结构体。尝试用std::bit_cast转换切片后的std::span时编译失败，不确定切片操作的定义行为，询问以下代码是否安全且无未定义行为（UB）：

  std::memcpy(&recv_buffer[1], &baz_response, sizeof(Baz))
  

  注：推测你实际意图是将recv_buffer[1]开始的接收数据解析到baz_response，正确的写法应为std::memcpy(&baz_response, &recv_buffer[1], sizeof(Baz))，该操作同样满足以下安全条件。

相关代码示例 #

enum class Bar : std::uint32_t {
    A = 0u,
    B,
    C,
    D
};

struct alignas(4) Foo{
   Bar bar;
   std::uint32_t x;
   std::uint32_t y; 
};

// 发送逻辑
Foo foo_command = {...};
command_socket.send_to(
    asio::buffer(std::bit_cast<std::array<std::uint32_t, sizeof(Foo)/4>>(foo_command)),
    command_endpoint, 0, err);

// 接收逻辑
std::array<std::uint32_t, 1024> recv_buffer;
std::size_t bytes_received =  command_socket.receive(asio::buffer(recv_buffer));

enum class ResponseType : uint32_t{
    Ok,
    NotOk
};

struct alignas(4) Baz{
    uint32_t u;
    uint32_t i;
    uint32_t j;
    Bar a;
    Bar b;
};

结论：该memcpy操作安全且无UB #

以下是具体原因：

• 对齐要求完全匹配：
  Baz显式声明了alignas(4)，而recv_buffer是uint32_t数组，&recv_buffer[1]的地址必然是4字节对齐的，完全满足Baz的对齐需求，不存在对齐违规导致的UB。
• 字节复制的合法性：
  memcpy是字节级的内存复制操作，只要源、目标内存区域不重叠（这里recv_buffer是接收缓冲区，baz_response是独立变量，无重叠），且复制的字节数不超过源、目标的有效内存范围，就是标准定义的合法操作。
  同时，Baz的所有成员都是可平凡复制的标量类型（uint32_t、底层为uint32_t的枚举Bar），Baz本身也是可平凡复制的标准布局结构体，字节复制后能正确还原其对象表示。
• 对比bit_cast的局限性：
  std::bit_cast要求源和目标类型的大小完全相同且内存布局可直接映射，但std::span本质是包含指针和长度的包装类型，和Baz的内存结构完全不匹配，因此无法通过bit_cast转换，这也是编译失败的原因。而memcpy不受类型布局限制，仅关注字节数据的复制，更适合这种场景。

额外注意事项 #

1. 必须确保接收的字节数足够：需保证bytes_received >= sizeof(ResponseType) + sizeof(Baz)，否则复制会触发缓冲区越界，导致UB。
2. 保持收发双方的结构体一致性：编译选项的对齐设置、枚举底层类型、结构体成员顺序必须完全统一，否则会出现数据解析错误（属于逻辑错误，而非UB，但会导致功能异常）。

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