• C 语言：读写 union 的任何字段都是完全自由且隐式安全的。编译器允许你随时读取任意字段（即使你刚刚写入的是另一个字段），这在 C 中极易引发未定义行为（UB）。
• Rust 语言：
  • 写入字段是安全的（Safe）。
  • 读取字段是绝对不安全（Unsafe）的。你必须将读取操作包裹在 unsafe 块中。因为 Rust 编译器在编译期无法追踪当前 union 内存中到底存放的是哪一个字段的有效数据。

#[repr(C)] // 保持与 C 一致的内存布局
union MyUnion {
    f1: u32,
    f2: f32,
}

let mut u = MyUnion { f1: 1 };
u.f2 = 2.0; // 写入是安全的

// 读取必须使用 unsafe
unsafe {
    println!("{}", u.f2); 
}

• C 语言：只要是非结构化或大小可确定的类型（除了带变长数组的结构体等特例），几乎所有类型都可以放入 union。
• Rust 语言：由于 Rust 拥有严格的所有权和析构（Drop）机制，Rust 对 union 字段的类型有极强的限制：
  • 禁止包含自动析构类型：union 的字段不能包含实现了 Drop 特征的类型（例如 String、Vec<T>、Box<T> ）。
  • 原因：当 union 离开作用域被销毁时，编译器不知道应该调用哪个字段的 Drop 函数。如果盲目调用，会导致内存双重释放（Double Free）或释放了错误的指针。
  • 绕过限制：如果非要包含非 Copy 类型，必须使用 std::mem::ManuallyDrop 包裹字段，显式告诉编译器放弃自动析构，由开发者手动管理生命周期。

• C 语言：不支持原生模式匹配，只能通过 switch-case 配合一个外部的 tag（标签）变量手动判断。
• Rust 语言：支持在 unsafe 块中对 union 进行模式匹配（Pattern Matching），但由于编译器无法保证活跃字段，匹配必须显式指定你想要读取的那个具体字段名称。

// 必须在 unsafe 块中对指定字段进行匹配
unsafe {
    match u {
        MyUnion { f1: 10 } => println!("f1 is 10"),
        MyUnion { f1 } => println!("f1 is {}", f1),
    }
}

• C 语言：没有通用的打印、比较、复制的机制，全部需要手动编写函数。
• Rust 语言：Rust 的 union 可以使用部分标准派生宏（如 #[derive(Clone, Copy)]），但不能派生 PartialEq、Eq、Hash 或 Debug。因为这些特性的实现依赖于清晰地读取字段值，而编译器在安全上下文中无法得知哪一个字段有效。

// Rust 官方推荐的“安全联合体”写法
enum MySafeUnion {
    F1(u32),
    F2(String), // 完美支持 Drop 类型
} // 它是安全的，支持模式匹配，读取不需要 unsafe