模式
模式在 Rust 中颇为常见。我们在变量绑定,match语句和其他地方也使用它们。让我们继续旋风般的学习模式可以做的所有事情!
快速学习:你可以直接匹配文字,同时 _ 充当一个‘任何’的事件:
let x = 1;
match x {
1 => println!("one"),
2 => println!("two"),
3 => println!("three"),
_ => println!("anything"),
}
以上代码将打印 one。
多个模式
你可以使用 | 来匹配多个模式:
let x = 1;
match x {
1 | 2 => println!("one or two"),
3 => println!("three"),
_ => println!("anything"),
}
以上代码将打印 one or two。
范围
你可以使用 ... 来匹配值的范围:
let x = 1;
match x {
1 ... 5 => println!("one through five"),
_ => println!("anything"),
}
以上代码将打印 one through five。
范围通常在整数和字符的情况下使用:
let x = '💅';
match x {
'a' ... 'j' => println!("early letter"),
'k' ... 'z' => println!("late letter"),
_ => println!("something else"),
}
以上代码将打印 something else。
绑定
你可以使用 @ 将值绑定到名称:
let x = 1;
match x {
e @ 1 ... 5 => println!("got a range element {}", e),
_ => println!("anything"),
}
以上代码将打印 got a range element 1。当你想要操作数据结构中的一部分的一个复杂匹配时,这将非常有用:
#[derive(Debug)]
struct Person {
name: Option<String>,
}
let name = "Steve".to_string();
let mut x: Option<Person> = Some(Person { name: Some(name) });
match x {
Some(Person { name: ref a @ Some(_), .. }) => println!("{:?}", a),
_ => {}
}
以上代码将打印 Some("Steve"):我们已经把内部名称绑定到 a。
如果你使用 @ 和 | 时,你需要确保在模式的每个部分都已经绑定好名称。
let x = 5;
match x {
e @ 1 ... 5 | e @ 8 ... 10 => println!("got a range element {}", e),
_ => println!("anything"),
}
忽略变量
如果你要匹配一个包含变量的枚举,你可以使用 .. 来忽略变量的值和类型:
enum OptionalInt {
Value(i32),
Missing,
}
let x = OptionalInt::Value(5);
match x {
OptionalInt::Value(..) => println!("Got an int!"),
OptionalInt::Missing => println!("No such luck."),
}
以上代码将输出 Got an int!。
守卫
你可以通过 if 语句来介绍‘守卫匹配’:
enum OptionalInt {
Value(i32),
Missing,
}
let x = OptionalInt::Value(5);
match x {
OptionalInt::Value(i) if i > 5 => println!("Got an int bigger than five!"),
OptionalInt::Value(..) => println!("Got an int!"),
OptionalInt::Missing => println!("No such luck."),
}
以上代码将输出 Got an int!。
ref 和 ref mut
如果你想要获得一个引用,可以使用 ref 关键字:
let x = 5;
match x {
ref r => println!("Got a reference to {}", r),
}
以上代码将打印出 Got a reference to 5。
在这里,在 match 中的 r 的类型为 &i32。换句话说,在模式中,使用 ref 关键字创建一个引用以供使用。如果你需要一个可变引用,ref mut 将会以相同的方式工作:
let mut x = 5;
match x {
ref mut mr => println!("Got a mutable reference to {}", mr),
}
重构
如果你有一个复合数据类型,诸如结构体,你可以在一个模式中重构它:
struct Point {
x: i32,
y: i32,
}
let origin = Point { x: 0, y: 0 };
match origin {
Point { x: x, y: y } => println!("({},{})", x, y),
}
如果我们只关心一部分值,我们不需要给出它们所有的名字:
struct Point {
x: i32,
y: i32,
}
let origin = Point { x: 0, y: 0 };
match origin {
Point { x: x, .. } => println!("x is {}", x),
}
以上代码将打印出 x is 0。
你可以在任何成员中做这种匹配,而不仅仅是第一个成员:
struct Point {
x: i32,
y: i32,
}
let origin = Point { x: 0, y: 0 };
match origin {
Point { y: y, .. } => println!("y is {}", y),
}
以上代码将打印出 y is 0。
这种‘重构’行为对于任何复合数据类型都有效,比如数组或者枚举。
混合与匹配
这里有很多种不同的方法来匹配东西,它们又可以被混合和匹配,完全取决于你做什么任务:
match x {
Foo { x: Some(ref name), y: None } => ...
}
模式非常强大。充分利用它。