# Chapter 4 - Enums and Pattern Matching
enumerations枚举定义一个类型，用来穷举所有可能的数据。很多语言都有枚举类型，但它们的含义和用法有些差别。Rust更接近于函数式编程语言中的枚举类型，algebraic data types。
# Section 1 - 定义一个枚举
先考虑一个场景，在这个场景下枚举比结构体更适合，比如需要做一个IP地址相关的功能。目前IP地址有个两个版本在使用中，V4和V6。所有IP地址只可能是这两个版本其中之一，所以我们可以用枚举穷举所有可能性。
IP地址这种确定性（只能在这两个版本中，总的集合确定）和互斥性（只能是其中之一）是枚举类型最好的使用场景。而且不管是哪个版本，归根结底它都是IP地址，它们属于同一类型，所以在编码过程中需要把它们当作同一个类型去操作。
下面用代码说明，首先创建一个IP地址枚举类型。
enum IpAddrKind {
V4,
V6,
}
2
3
4
# 枚举值
实例化枚举值
let v4 = IpAddrKind::V4;
let v6 = IpAddrKind::V6;
2
注意这两个值都是在IpAddrKind命名空间下的。这表示V4和V6都是同一类型的值，这种方式是很有用的，在后续处理中可以把它们都当作IpAddrKind类型来处理。比如定义一个函数接受IpAddrKind类型的数据。
fn route(address: IpAddrKind) {}
这个函数可以这样调用：
route(IpAddrKind::V4);
route(IpAddrKind::V6);
2
使用枚举还有很多其他好处。比如，我们在存储IP地址时，不知道它是V4还是V6版本的，只知道是一个IP地址，也就是说我们只知道它的类型。我们使用之前的结构体来写一下代码。
enum IpAddrKind {
V4,
V6,
}
struct IpAddr {
type: IpAddrKind,
address: String,
}
let home = IpAddr {
type: IpAddrKind::V4,
address: String::from("127.0.0.1"),
}
let loopback = IpAddr {
type: IpAddrKind::V6,
address: String::from("::1"),
}
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
这里定义了一个IpAddr类型来存储IP地址数据，它有两个字段：type是IpAddrKind类型的IP地址版本，address是String类型的IP地址数据。
有一种更简洁的方式，仅用枚举类型来表示，而不需要结构体嵌套枚举类型。这种方式是将数据直接存入枚举变体的实例中。IpAddrKind枚举的定义也需要更改一下。
enum IpAddrKind {
V4(String),
V6(String),
}
let home = IpAddrKind::V4(String::from("127.0.0.1"));
let loopback = IpAddrKind::V6(String::from("::1"));
2
3
4
5
6
7
此外还有一种方式。枚举类型变体可以拥有不同的类型和数据量，因此我们可以将V4类型定义成由4个整型数据组成的。
enum IpAddrKind {
V4(u8, u8, u8, u8)
}
let home = IpAddrKind::V4(127, 0, 0, 1);
2
3
4
IP地址的存取是一个非常常用的功能，因此标准库已经实现了相关定义，编码人员可以直接使用。可以看看标准库是如何实现IP地址数据的定义的。
struct Ipv4Addr {
}
struct Ipv6Addr {
}
enum IpAddr {
V4(Ipv4Addr),
V6(Ipv6Addr),
}
2
3
4
5
6
7
8
9
10
11
12
再来看另外一个例子，这个枚举类型下面有更多的字段和数据类型。
enum Message {
Quit,
Move {x: i32, y: i32},
Write(String),
ChangeColor(i32,i32,i32),
}
2
3
4
5
6
这些字段都有不同的数据类型：
Quit没有数据与它关联。Move包含了一个匿名结构。Write包含了一个字符串。ChangeColor包含了3个i32整数。
这种方式与定义4个不同的结构体相似，不同点在于，枚举将他们都涵盖在了同一个类型Message下。下面都结构体定义可以与枚举变体存储一样都数据。
struct QuitMessage; // unit struct
struct MoveMessage {
x: i32,
y: i32,
}
struct WriteMessage(String); // tuple struct
struct ChangeColorMessage(i32, i32, i32); // tuple struct
2
3
4
5
6
7
枚举和结构体还有一个相似之处，都可以通过impl关键字对其进行方法扩展。
impl Message {
fn call(&self) {
// method body would be defined here
}
}
let m = Message::Write(String::from("hello"));
m.call();
2
3
4
5
6
7
8
接下来再看另外一个标准库中很常用的枚举类：Option。
# Option枚举类及它对Null的优势
Option枚举类在很多地方都会用到，因为它编码了一个很常见的情景：对变量的空值判断。用类型系统涵盖这个概念，代表编译器帮我们做了空值检查，可以在编译阶段就抛出错误，避免运行时bug。并且Rust没有其他语言中null的功能。
null值的问题在于，当你把null作为一个非null变量使用时，会抛出一个类型错误。因为变量的空和非空是很常见的场景，很容易导致bug。但是null却描述了一个很有用的概念：一个变量因为某些原因此时不可用或不存在。
所以真正的问题不在于概念本身，而在于它的实现。因此Rust没有null值，取而代之是标准库实现的枚举类型用来描述值是否存在。这个枚举类型是Option<T>，它的定义如下
enum Option<T> {
Some<T>,
None,
}
2
3
4
Option是默认引入的，不需要手动引入命名空间，它的枚举变体也是默认引入的，调用时不需要加Option::前缀。<T>是一个泛型参数，它可以代表任何类型，表示Some可以存储任何类型的数据。下面是一些使用的例子
let some_number = Some(5);
let some_str = Some("a string");
let absent_num: Option<i32> = None;
2
3
4
当使用None时，需要指定泛型是哪种数据类型，因为编译器无法通过None去推断Some的正确类型。
为何使用Option<T>要优于使用null值？简单来说，Option<T>和T不是同一类型，编译器不会让我们使用Option<T>类型的值，就算它是一个有效值。
let x:i8 = 5;
let y:Option<i8> = Some(10);
let sum = x + y;
// error[E0277]: cannot add `std::option::Option<i8>` to `i8`
2
3
4
5
如果运行这段代码，编译器会直接抛错。编译器不知道如何将i8类型和Option<i8>类型的数据作加法计算。当变量是i8类型时，编译器可以保证此时一定是一个有效值，所以不需要担心值不存在。当使用Option<T>类型的变量时，我们需要考虑值不存在的情况，编译器需要确保我们对这种情况做了处理。
也就是说，在使用之前，需要先将Option<T>转换成T类型。在这个过程中可以捕获最常见的值为空但被错误使用的错误情况。
如果一个值可能为空，首先必须手动指定该值为Option<T>类型。然后在使用该值时，处理值为空的逻辑是必须的。所以任何非Option<T>类型的数据，都可以被认为是非null的。这是Rust刻意的设计，为了限制代码中null值泛滥，增强代码的安全性。Option<T>有很多的方法扩展，可以读一下它的文档。熟悉Option<T>的内部方法对学习Rust很有好处。
通常为了使用Option<T>内部的T值，你的代码需要覆盖所有的枚举变体。某些代码仅在Some<T>运行，此时代码能够访问到内部的T数据。某些代码仅在None运行，作空值逻辑处理。match表达式是可以实现上述需求的一个控制流程。
# Section 2 - match流程控制表达式
match可以通过许多的*patterns（匹配模型）*去对比，并在相应的匹配模型命中的情况下执行某些代码。匹配模型可以是字面量值、变量、通配符等等。match流程控制强大之处在于丰富的匹配模型，以及编译器可以确认所有的可能情况都被涵盖。
enum Coin {
Penny,
Nickel,
Dime,
Quarter,
}
fn value_in_cents(coin: Coin) -> i8 {
match coin {
Coin::Penny => 1,
Coin::Nickel => 5,
Coin::Dime => 10,
Coin::Quarter => 25,
}
}
2
3
4
5
6
7
8
9
10
11
12
13
14
15
分析一下这段代码。match后紧跟一个表达式，在这里是变量coin。这里跟if有点类似，但是if后的表达式需要返回bool值，而match后可以返回任何类型的数据。
接下来是match arms。每个arm由两个部分组成：一个匹配模型、一部分代码，两部分用=>操作符分割。arm之间使用逗号分割。
当match表达式执行时，首先将结果值和匹配模型对比，如果某个匹配模型被命中，则它后面的代码会被执行，否则进入下一个arm进行对比。
每个arm要执行的代码是一个表达式，其返回值作为match表达式的返回值。如果需要执行多行代码，可以用花括号组成代码块。
# 匹配模型绑定的数据
match表达式的匹配模型可以绑定一些数据，这也是提取枚举变体中数据的方式。修改一下代码
#[derive(Debug)]
enum UsState {
Alabama,
Alaska,
// --snip--
}
enum Coin {
Penny,
Nickel,
Dime,
Quarter(UsState),
}
fn value_in_cents(coin: Coin) -> u8 {
match coin {
Coin::Penny => 1,
Coin::Nickel => 5,
Coin::Dime => 10,
Coin::Quarter(state) => {
println!("State quarter from {:?}!", state);
25
}
}
}
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
上面的代码在Coin::Quarter匹配模型中绑定了一个变量state，当该匹配模型命中时，state变量会绑定Quarter枚举变体中存储的数据，并且在该匹配模型后面的代码中，我们可以通过state变量使用这个数据。
假如调用value_in_cents(Coin::Quarter(UsState::Alabama));，变量coin的值为Coin::Quarter(UsState::Alabama)。在match表达式中，最后一个匹配模型会命中，此时state变量绑定的值将会是UsState::Alabama，然后可以在println!表达式中使用该匹配模型内部绑定的状态值。
# Matching with Option
实现一个函数接受一个Option<i32>作为参数，如果内部有值则+1，如果没有值则不做任何逻辑且返回None。
fn plus_one(x: Option<i32>) -> Option<i32> {
match x {
None => None,
Some(i) => Some(i + 1),
}
}
2
3
4
5
6
# Matches要全面
fn plus_one(x: Option<i32>) -> Option<i32> {
match x {
Some(i) => Some(i + 1),
}
}
// error[E0004]: non-exhaustive patterns: `None` not covered
2
3
4
5
6
7
上面的代码中，None的情况没有被覆盖到，因此有可能会出现bug。好在Rust在编译阶段就能指出这个地方有问题。在match表达式中必须涵盖任何一种可能的情况，以保证代码的安全和健壮。
# _占位符
当不想列举一些可能情况时，可以用占位符_来替代。
let some_u8_value = 0u8;
match some_u8_value {
1 => println!("one"),
3 => println!("three"),
5 => println!("five"),
7 => println!("seven"),
_ => (),
}
2
3
4
5
6
7
8
_占位符会匹配所有的情况，因此需要将它放在最后面，以免覆盖我们想要处理的情况。
当只需要处理所有情况之中的一种时，match表达式就显得有些啰嗦了。所以在这种场景下，Rust为我们提供了if let。
# Section 3 - if let流程控制表达式
if let表达式可以让我们只关注一种需要处理的情况而忽略其他所有的情况。比如之前的例子
let some_u8_value = Some(0u8);
match some_u8_value {
Some(3) => println!("three"),
_ => (),
}
2
3
4
5
这里只处理了值为3的情况，其余情况都被省略了，此时if let要比match在书写上更加简洁。
if let Some(3) = some_u8_value {
println!("three");
}
2
3
可以将if let理解为match的一种语法糖。还可以在后面加else分支，它的作用和_占位符是一样的效果。