枚举

欢马劈雪     最近更新时间:2020-08-04 05:37:59

105

在 Rust 中枚举是一个类型,它表示几个可能变量中的一个数据:

enum Message {
Quit,
ChangeColor(i32, i32, i32),
Move { x: i32, y: i32 },
Write(String),
}

每个变量可以选择性的有与之关联的数据。定义变量的语法与之前定义结构体的语法类似:你可以有不包含数据的变量(如 unit-like 结构体),已经命名数据的变量,和未命名数据的变量(如数据结构体)。然而,不同于单独的结构体定义,枚举是一种类型。枚举的值可以与任何变量匹配。为此,一个枚举有时被称为‘总和类型’:这个枚举的可能值的集合是每个变量的可能值的集合的总和。

我们使用 :: 语法来使用每个变量的名称:它们由枚举本身的名字来划分作用域。这允许以下的代码实现:

let x: Message = Message::Move { x: 3, y: 4 };

enum BoardGameTurn {
Move { squares: i32 },
Pass,
}

let y: BoardGameTurn = BoardGameTurn::Move { squares: 1 }; 

这两个变量都被命名为 Move,但是由于它们局限于枚举的名称,它们可以无冲突使用。

一个枚举类型的值包含它是哪个变量的信息,不包括与该变量相关联的任何数据。它有时被称为‘标签结合’,因为数据中包括一个‘标签’用来指示数据的类型。编译器使用这些信息来保证你访问枚举中的数据的安全性。例如,你不能简单的就好像它是可能变量之一一样来尝试解构一个值:

展开阅读全文