Rust之枚举和模式匹配(一)：枚举定义

开发环境

• Windows 10
• Rust 1.58.1

 

• VS Code 1.64.2 

 项目工程

这里继续沿用上次工程rust-demo

枚举和模式匹配

枚举允许您通过枚举类型的可能变体来定义类型。首先，我们将定义并使用一个枚举来展示一个枚举如何编码数据的含义。接下来，我们将探索一个特别有用的枚举，称为Option，它表示一个值可以是某个值，也可以是零。然后，我们将看看match表达式中的模式匹配是如何简化为枚举的不同值运行不同代码的。最后，我们将介绍if let构造如何成为另一种方便、简洁的习惯用法，让您在代码中处理枚举。

枚举是许多语言中的一个特性，但是它们的功能在每种语言中都有所不同。

定义枚举

让我们来看一个我们可能想要用代码表达的情况，看看为什么在这种情况下枚举是有用的并且比结构更合适。假设我们需要处理IP地址。目前，IP地址使用两种主要标准：第四版和第六版。这些是我们的程序将遇到的IP地址的唯一可能性:我们可以枚举所有可能的变体，这就是枚举的名称。

任何IP地址都可以是版本四或版本六地址，但不能同时是两者。IP地址的该属性使得enum数据结构是合适的，因为enum值只能是其变体之一。第四版和第六版地址基本上都是IP地址，所以当代码处理适用于任何类型IP地址的情况时，它们应该被视为相同的类型。

我们可以通过定义IpAddrKind枚举并列出IP地址的可能类型(V4和V6)来用代码表达这个概念。这些是枚举的变体，如下所示：

// 定义枚举
enum IpAddrKind {
    V4,
    V6,
}

IpAddrKind现在是一个自定义数据类型，我们可以在代码中的其他地方使用它。

枚举值

我们可以创建IpAddrKind的两种变体的实例，如下所示：

// 使用枚举的值   
let four = IpAddrKind::V4;
let six = IpAddrKind::V6;

请注意，枚举的变体是在其标识符下命名的，我们使用一个双冒号来分隔两者。这很有用的原因是，现在值IpAddrKind::V4和IpAddrKind::V6属于同一类型:IpAddrKind。

例如，我们可以定义一个接受任何IpAddrKind的函数:

fn route(ip_kind: IpAddrKind) {}

我们可以用任何一个变量来调用这个函数:

// 调用
route(IpAddrKind::V4);
route(IpAddrKind::V6);

使用枚举有更多的优点。多想想我们的IP地址类型，目前我们没有办法存储实际的IP地址数据；我们只知道是哪一种。刚刚学习了前面的结构体，可以定义如下所示的代码解决一些问题。

// 枚举 
enum IpAddrKind {
    V4,
    V6,
}

// 结构体
struct IpAddr {
    kind: IpAddrKind,
    address: String,
}

// 结构体变量初始化
let home = IpAddr {
    kind: IpAddrKind::V4,
    address: String::from("127.0.0.1"),
};

let loopback = IpAddr {
    kind: IpAddrKind::V6,
    address: String::from("::1"),
};

这里，我们定义了一个结构体