同机器下struct经memcpy与字节互转、强转struct是否保证数据一致？

在同一编译环境、相同结构体定义的前提下：

• memcpy来回拷贝结构体的操作是C标准明确保证一致的，和结构体填充位多少无关
• 直接强制转换字节数组为结构体指针的操作存在未定义行为风险，只有满足对齐、别名规则的前提下才能得到正确结果

1. memcpy 来回拷贝场景的合法性 #

C语言标准明确规定，memcpy会逐字节完整复制目标对象的全部对象表示——也就是该对象占据的sizeof(T)个字节的所有内容，其中天然包含结构体的填充位字节。
无论填充位存储的是未定义的垃圾值，只要两次memcpy的长度严格等于sizeof(目标结构体)，复制完成后新结构体的完整字节表示和原结构体完全一致，所有成员的值必然相等。
这个规则不受结构体复杂度影响，哪怕结构体有多层嵌套、多处填充位，只要是同一编译配置、相同结构体定义，结论就完全成立，不属于特定编译器或架构的特殊表现。

2. 强制转换字节数组为结构体指针的风险 #

你示例中的写法能跑通只是巧合，这个操作本身不符合C标准要求，存在两个核心问题：

• 对齐不匹配：栈上默认定义的uint8_t buf[sizeof(Test)]对齐要求是1，但你示例中的Test结构体对齐要求是alignof(Test)（通常为8）。如果buf的起始地址不满足结构体的对齐要求，访问test_ptr->a、test_ptr->b就是未定义行为，轻则程序崩溃，重则读取到错误值。
• 违反严格别名规则：C语言严格别名规则要求，不能用不兼容类型的指针访问同一块内存。用Test*类型指针访问uint8_t类型的数组，属于典型的别名冲突，编译器开启高优化等级（如-O2及以上）时可能会做出不符合预期的优化，导致运行结果错误。

如果要让强制转换操作合法，需要做对应修改：

1. 给字节数组添加对齐修饰：alignas(alignof(Test)) uint8_t buf[sizeof(Test)]，保证buf的起始地址满足结构体的对齐要求；
2. 要么改用malloc分配buf内存（malloc返回的地址默认满足所有基础类型的对齐要求，且动态分配内存没有固定有效类型，不会触发严格别名问题），要么给编译器添加-fno-strict-aliasing参数关闭严格别名检查（属于编译器扩展，非C标准要求）。

额外注意 #

所有保证成立的前提是：结构体定义在所有用到的编译单元中完全一致，编译选项（比如对齐配置、pack编译指令、结构体布局相关参数）完全相同。如果同一个结构体在不同代码中用了不同的pack配置，哪怕是同一台机器，内存布局也会不一致，自然无法保证值相等。

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