Rust中如何通用安全地实现union类型的零初始化

问题背景 #

Rust官方文档描述的union初始化逻辑存在使用限制：只有初始化联合体中内存占用最大的字段时，才能覆盖union的全部内存空间；如果初始化的是内存占用更小的字段，超出该字段范围的内存不会被写入，无法实现全内存零初始化。
例如下方常用于FFI交互的联合体定义：

union TypeFromFfi {
    small: u8,
    medium: u64,
    large: u128,
}

以下两种写法仅能保证对应字段的内存范围被置0，剩余内存属于未初始化状态，无法实现全内存零值：

let data = unsafe { TypeFromFfi { small: 0 } };
let data = unsafe { TypeFromFfi { medium: 0 } };

只有初始化最大字段的写法可以覆盖全部union内存，实现全零初始化：

let data = unsafe { TypeFromFfi { large: 0 } };

这种写法的缺陷非常明显：调用方必须手动记忆所有字段的内存大小，选出最大的那个字段初始化，一旦后续给union新增更大的字段，原有代码就会悄悄失效，维护成本极高。

通用方案与风险说明 #

你提到的std::mem::zeroed()就是Rust中实现union全零初始化的通用方案，不需要关心union字段的大小，只要满足前置约束就不会有问题，也不会因为填充字节触发异常：

• 填充字节不会引发问题：Rust内存模型中，复合类型的填充字节值没有合法性要求，零初始化将填充字节统一置为0的行为完全合法，不会触发未定义行为。
• 核心约束：union的所有字段必须是允许全零内存表示的类型。如果union包含引用（&T/&mut T）、NonNull<T>、bool、char这类Rust明确要求内存值不能全为0的类型，直接调用zeroed()会立刻触发未定义行为，和你后续是否访问对应字段无关。
• 跨FFI兼容性：如果union标注了#[repr(C)]布局，zeroed()得到的全零内存和C语言侧对同布局union做memset(..., 0, ...)的结果完全一致，不存在跨语言内存不匹配的问题。
• 防错建议：如果担心后续维护时给union新增不支持零值的字段，可以加编译时静态检查，一旦类型不满足零初始化要求就直接编译失败：

  // 编译时验证TypeFromFfi全零值合法
  const _: () = {
      // 仅当所有字段允许零值时，这个转换才不会触发未定义行为
      let _ = unsafe { std::mem::transmute::<[u8; std::mem::size_of::<TypeFromFfi>()], TypeFromFfi>([0; std::mem::size_of::<TypeFromFfi>()]) };
  };
  

补充说明：单字段初始化时仅写入对应字段范围的内存，是Rust刻意设计的内存模型行为，不属于编译器bug。只要你的场景要求union整块内存（包括非激活字段对应的内存范围、填充字节）全为零，就不应该依赖“选最大字段初始化”的写法——这种写法对后续字段变更太敏感，远不如zeroed()稳妥。

内容的提问来源于stack exchange，提问作者Kevin W Matthews