联合类型
联合类型 是具名的、异构的类似 C 的联合体,由 union
条目 的名称来表示。
联合体没有 "活动字段" 的概念。每次访问联合都会将联合内容的一部分转换为访问字段的类型。
由于转换可能导致意外错误或未定义的行为,因此读取联合字段时,需要使用 unsafe
关键字。
联合体字段类型子集受到限制,以确保永远不需要丢弃。有关详细信息,请参见 条目 文档。
默认情况下, union
的内存布局未明确的 (特别是,字段不需要位于偏移量为 0 的地址) ,可以使用 #[repr(...)]
属性来固定布局。