结构体类型

struct 结构体类型 是其他异构类型的集合,称为类型 字段1

使用 结构体表达式 可以构造 struct 的新实例。

默认情况下, struct 的内存布局是未确定的,以允许编译器进行优化,例如字段重新排序,或者通过 repr属性 确定。 结构体 表达式 中的字段可以按任意顺序给出,所生成的 struct 值始终具有相同的内存布局。

struct 的字段可以由 可见性修饰符 修饰,以允许在模块之外访问结构体中的数据。

元组结构体 类型与结构体类型相同,但字段是匿名的。

类单元结构体 类型类似于结构体类型,但是没有字段。 与之关联的 结构体表达式 所构造的值是该类型的唯一值。

1

struct 类型类似于 C 中的 struct 类型, ML 系列的 record 类型或 Lisp 系列的 struct 类型。