《Rust权威指南》 第6章 枚举与模式匹配

定义枚举

通过枚举所有可能的值来定义一个类型。

比如定义ip地址种类这一类型

enum IpAddrKind {
	V4,
	V5,
}

枚举值

使用标识符::变体来创建枚举实例

let six = IpAddrKind::V6;

数据附加枚举变体

我们创建了这个IpAddrKind类型，最终目的还是创建IP地址类型。该类型可能是一个下面这样的结构体

enum IpAddrKind {
	V4,
	V5,
}
struct IpAddr {
	kind : IpAddrKind,
	address:String,
}

let home = IpAddr {
	kind : IpAddrKind::V4,
	address:String::from("127.0.0.1"),
};

实际上，枚举允许我们直接将关联的数据嵌入到枚举变体内。

enum IpAddr {
	V4(u8,u8,u8,u8),
	V6(String),
}
let home = IpAddr::V4(127,0,0,1);

含义上，就与上面我们使用枚举加结构体是一样的；只不过现在我们一个枚举类型，相当于两种我们上上面写的结构体类型，管理更加方便了。

枚举的方法

像结构体一样，我们可以对枚举定义方法

impl IpAddr {
	fn some_function(&self) {
		//...
	}
}

这里不论是impl块的使用还是&self的使用都是与结构体一样的

Option枚举以及其在空值处理方面的优势

与其它语言不同，Rust没有空值（NULL）一说。
我们都知道，在其它语言中，NULL代表因为某种原因变为无效或缺失的值。就这个思路而言，空值还是很重要的。但是你很难在程序中避免“像使用非空值那样使用空值”的错误。
于是Rust提供的措施是Option<T>：

enum Option<T> {
	Some(T),
	None,
}

不需要显式的将其引入作用域，可以不加前缀的使用其变体：

let num = Some(5);
let absent_num:Option<i32> = None;

注意使用None时，必须显式的标明其变量类型，比如上面的Option<i32>
使用该枚举类型比使用空值的好处在于，Option<T>与T不是一种类型，这意味着：

• 两种不能混用，比如：

  let x:i8 = 9;
  let y:Option<i8> = 9;
  let z = x+y; //错！
  

• 对于那些为普通的T类型，你可以永远放心的使用，不会有空值的困扰
• 如果确实要处理潜在的空值，就必须使用Option枚举类型；而使用这个类型时，就必须处理变体分别是Some(..)和None的情况
  • 可以使用Option的一系列方法，取出Some(T)中的T值
  • 程序必须有应对变体是None的手段

控制流运算符match

有点类似别的语言的switch，match允许将一个值与一系列模式相比较，并根据匹配的模式执行相应的代码

enum Coin {
	Penny,
	Nickel,
	Dime,
	Quarter,
}

fn value_in_cents(coin:Coin) -> u32 {
	match coin {
		Coin::Penny => {
			Println!("Lucky Penny");
			1
		},
		Coin::Nickel => 5,
		Coin::Dime => 10,
		Coin::Quarter => 25,
	}
}

• match后跟着需要匹配的一个表达式
• 之后是模式=>{语句体},
• 执行时，将match之后表达式产生的值与每个分支的模式进行比较，匹配成功，则与该模式关联的代码会执行；匹配失败，继续匹配下一个分支

绑定值的模式

这其实是一种通过match的模式匹配来获取。枚举类型，变体中的值的，方法

enum Coin {
	Penny,
	Nickel,
	Dime,
	Quarter(u8),
}

fn value_in_cents(coin:Coin) -> u32 {
	match coin {
		Coin::Penny => {
			Println!("Lucky Penny");
			1
		},
		Coin::Nickel => 5,
		Coin::Dime => 10,
		Coin::Quarter(num) => {
			println("{}",num);
			25
		},
	}
}

假如传入一个Coin::Quarter(9)，进行模式匹配时，会成功匹配到模式Coin::Quarter(num)，匹配后，变量num就会被绑定到值9上，在对应模式的代码里就可使用num的值

匹配Option<T>

正如上面我们所示，match的模式匹配可以枚举值的变体中获得值。这正是我们需要对Option<T>::Some(T)要做的事情

fn plus_one(x:Optioen<i32>) -> Option<i32> {
	match x {
		Some(i) => Some(i+1),
		None => None,
	}
}

匹配必须穷举所有的可能

编译器会检查你是否为match之后的值准备好了所有匹配的模式
如果没有，编译器会报错，甚至指出有哪些模式被遗漏了

_通配符

_通配符可以匹配所有的模式，通过将它放置于分支的最后，起到一个匹配未被显式指定出来的情形。比如下面这样

match some_u8_value {
	1 => println!("one"),
	2 => println!("two"),
	_ => (),
}

其中，空元组表示“什么都不做”

简单控制流if let

语法是if let 模式=表达式 {...}
用于替代使用match时，只想在某一个模式下执行代码。
比如，我们上面的plus_one函数，就可以改成下面这样：

fn plus_one(x:Optioen<i32>) -> Option<i32> {
	if let Some(i) = x {
		Some(i+1)
	}
	else {
		None 
	}
}

这段代码表达的含义与下面的代码是一模一样的

fn plus_one(x:Optioen<i32>) -> Option<i32> {
	match x {
		Some(i) => Some(i+1),
		_ => None,
	}
}

可以将if let视作macth的一种语法糖