为什么铁锈没有工会？

Question

我可以想到许多地方，C语言中的联合有助于节省内存。因为Rust是一种系统编程语言，为什么它不支持联合呢？

Answer 1

Rust以代数数据类型的形式标记了联合体，enum：

enum Foo {
    Bar(i32),
    Baz,
    Quux {
        misc: A,
        ellaneous: B,
        fields: C,
    },
}

一个Foo可以是一个带有附加i32的Bar，一个没有附加数据的Baz，或者一个带有这三个杂项字段的qux。这是一个带标记的联合。枚举的大小不会超过其最大的变量加上标记所需的数量（通常为一个字节，但我想可能有更多的变量超过一个字节），并且在某些情况下可以对其进行优化（如选项）

Rust没有的是C中的无标记联合。 为什么？因为它们根本不安全，安全对铁锈来说至关重要。如果您仍然想要这样的东西，那么完全有可能围绕不安全的代码创建一个包装器，这样您就可以在变形发生时获得这些代码，但是在正常生活中您根本不需要无标记的联合。

Rust现在支持无标记联合作为不安全的概念；从1.19.0开始。

Answer 2

联合在（RFC 1444）中被添加到语言中，并且它们在Rust 1.19.0中是稳定的。它们需要使用不安全的块。

原始联合不是内存安全的（因为编译器无法保证您始终从联合中读取正确的类型（即最近编写的类型）。Rust的目标之一是创建一种具有记忆安全性的低级语言；由于工会与该目标不兼容，因此它们未包含在Rust 1.0中。

相反，Rust有枚举，它提供了联合的大部分优点，以换取较小的内存使用，但它是内存安全的，因为枚举值始终跟踪它包含的特定类型。