将结构体memcpy至uint8_t缓冲区再reinterpret_cast还原是否存在未定义行为？

问题1：将结构体memcpy到uint8_t类型缓冲区中，再通过reinterpret_cast转换回结构体类型，这属于未定义行为吗？ #

不一定，但大部分场景下存在未定义行为风险，核心取决于两个关键前提：

• 缓冲区内存是否满足目标结构体的对齐要求
• 是否在缓冲区内存上正确创建了目标结构体的对象

C++标准明确要求，访问对象的前提是该对象的生命周期已经启动。仅把结构体字节复制到uint8_t数组里，并没有在这块内存上完成结构体对象的构造——你只是拷贝了字节数据，内存里并没有实际的结构体实例。这时通过reinterpret_cast得到结构体指针并解引用，本质是在无对象的内存上“伪造”对象访问，属于未定义行为。

另外，如果uint8_t缓冲区的地址不匹配结构体的对齐规则（比如结构体要求4字节对齐，但缓冲区地址不是4的倍数），reinterpret_cast得到的指针是不对齐的，解引用这类指针同样属于未定义行为。

问题2：上述代码运行看似正常，但是否存在未定义行为？ #

是的，这段代码存在两处明确的未定义行为：

• 结构体A的非法访问：代码仅拷贝了A对象3个float的字节，但结构体A的实际大小可能更大（比如存在编译器自动添加的填充字节）。即便忽略填充，直接解引用reinterpret_cast<A*>(buffer)时，buffer内存上并没有完整的A对象，访问a1.c本质是读取未初始化的内存内容，属于未定义行为。
• 结构体B的对齐违规：代码中offset设为3，buffer + offset的地址相对于起始地址偏移了3字节，而float类型通常要求4字节对齐，结构体B因包含float成员，对齐要求至少为4字节。此时buffer + offset的地址不满足B的对齐要求，reinterpret_cast<B*>(buffer + offset)得到的是不对齐指针，解引用该指针属于未定义行为。

需要注意的是，未定义行为的表现具有随机性——当前运行正常不代表没有风险，换编译器、优化等级或平台后，可能出现崩溃、输出错误值甚至程序逻辑完全混乱的情况。

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