C语言仅读取成员时能否用联合体替代结构体节省内存

即使全程不执行修改操作，也绝对不能用你示例中的联合体直接替换结构体来实现内存节省，这种替换属于根本性的逻辑错误，完全无法实现预期功能。

• 结构体和联合体的内存布局有本质区别：你给出的struct my_struct会为age、salary、id三个成员分配互相独立的连续内存空间，无额外对齐填充时总大小为3*4=12字节，可以同时存储三个互不干扰的整数值。
• 你给出的union my_union所有成员共享同一块起始地址的内存，总大小等于最大成员的长度（即单个int的4字节），同一时刻这块内存只能存储一个成员的值，根本没有为另外两个成员分配独立存储空间，不存在“不修改就能同时存三个值”的可能性。
  这种替换本质上相当于把带三个独立抽屉的文件柜换成只有一个抽屉的柜子，确实省了两个抽屉的材料，但你不可能在三个抽屉里分别放三份不同的文件——哪怕你放完文件再也不挪动，开第二、第三个抽屉也拿不到你要的另外两份文件。

你提到的“修改联合体某一成员会导致其他成员值变化”的特性是准确的，但你忽略了最基础的前提：联合体从赋值初始化开始，就只能存一个有效值。

举个最直接的例子：如果你初始化时执行u.age = 28，这时候union的4字节内存存的是整数28，后续你全程不做任何修改，读取u.salary和u.id时，拿到的都是同一块内存里的28，根本不是你预期的薪资、ID数值——这个错误和后续是否修改没有任何关系，是从赋值完成时就存在的。

如果试图通过内存偏移等方式强行给union的不同成员写入不同值，属于C标准明确规定的未定义行为，不同编译器、不同编译优化等级下的运行结果完全不可控，会随机出现读值错误、程序崩溃等问题，没有任何工程可用性。

只有当你的业务逻辑满足同一时间只会用到多个成员中的某一个，永远不需要同时访问多个成员的不同值时，用联合体替换多字段结构才能真正实现内存节省，且不管是读还是写操作都符合C标准规范。比如实现可变类型的消息体、带类型标记的标签联合体等场景，才是union的合理用法。

你示例中需要同时存储age、salary、id三个独立属性的场景，哪怕所有值初始化后再也不修改，union也无法满足需求——你看到的8字节内存差，本质是union砍掉了另外两个成员的存储能力，不是无代价的内存优化。

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