在二进制模块间传递POD类型union是否安全？

先说结论：在同一平台（相同OS、CPU架构）下，传递POD类型的union通常是安全的，但得留意几个编译选项差异带来的坑。

先确认你的union是真·POD #

首先得保证你的union符合标准POD的定义：没有非POD成员、没有自定义的构造/析构/赋值函数、没有虚函数或虚基类，所有成员都是POD类型。要是连这个都不满足，那根本不用谈跨模块安全。

要警惕的编译选项差异 #

• 内存对齐设置：这是最容易出问题的点。比如GCC的-fpack-struct/-malign-double，MSVC的/Zp选项，不同模块用不同的对齐规则，会直接改变union的内存布局。比如一个包含double和int的union，对齐规则变了，整体大小可能不一样，跨模块传递时必然内存错位。
• 类型大小不一致：同一平台下基础类型大小一般是统一的，但架不住某些编译选项或者自定义typedef搞事情。比如某模块把MyInt定义成int，另一个模块定义成长整型，要是union里用了MyInt，传递的时候肯定出问题。
• union定义不一致：所有模块必须用完全相同的union定义——成员的类型、顺序、名称都得一模一样。哪怕只是成员顺序换了，内存布局就变了，跨模块传递直接炸。

和POD Struct的区别？ #

其实POD struct和POD union在跨模块传递的安全性上本质是一样的——只要所有模块对它们的内存布局达成共识，就能安全传递。union只是成员共享内存而已，这一点本身不会影响跨模块传递的安全性，别自己吓自己。

实际开发的建议 #

1. 把union的定义放在所有模块都能引用的公共头文件里，别每个模块各自定义一遍，容易出不一致的问题。
2. 强制所有模块用相同的内存对齐规则，在公共头文件里可以用编译指令固定（比如GCC的#pragma pack，MSVC的#pragma pack(push, 4)）。
3. union里尽量只用平台原生的基础类型（int、double、指针这些），别用依赖编译选项的自定义类型。
4. 测试的时候可以打印一下union的大小、成员的偏移量，确保不同模块里这些值完全一致，不一致的话赶紧查编译选项。

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