update match-iflet.md
This commit is contained in:
parent
726ef682cb
commit
bc36dd3a01
|
@ -32,8 +32,8 @@ fn main() {
|
||||||
|
|
||||||
// fill the blank with an match expression:
|
// fill the blank with an match expression:
|
||||||
//
|
//
|
||||||
// boolean = true, binary = 1
|
// boolean = true => binary = 1
|
||||||
// boolean = false, binary = 0
|
// boolean = false => binary = 0
|
||||||
let binary = __;
|
let binary = __;
|
||||||
|
|
||||||
assert_eq!(binary, 1);
|
assert_eq!(binary, 1);
|
||||||
|
@ -117,3 +117,79 @@ fn main() {
|
||||||
```
|
```
|
||||||
|
|
||||||
### if let
|
### if let
|
||||||
|
For some cases, when matching enums, `match` is too heavy, we can use `if let` instead.
|
||||||
|
|
||||||
|
🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let o = Some(7);
|
||||||
|
|
||||||
|
// remove the whole `match` block, using `if let` instead
|
||||||
|
match o {
|
||||||
|
Some(i) => {
|
||||||
|
println!("This is a really long string and `{:?}`", i);
|
||||||
|
}
|
||||||
|
_ => {}
|
||||||
|
};
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
🌟🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
// fill in the blank
|
||||||
|
enum Foo {
|
||||||
|
Bar(u8)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let a = Foo::Bar(1);
|
||||||
|
|
||||||
|
__ {
|
||||||
|
println!("foobar holds the value: {}", i);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
🌟🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
enum Foo {
|
||||||
|
Bar,
|
||||||
|
Baz,
|
||||||
|
Qux(u32)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let a = Foo::Qux(10);
|
||||||
|
|
||||||
|
// remove the codes below, using `match` instead
|
||||||
|
if let Foo::Bar = a {
|
||||||
|
println!("matches foo::bar")
|
||||||
|
} else if let Foo::Baz = a {
|
||||||
|
println!("matches foo::baz")
|
||||||
|
} else {
|
||||||
|
println!("matches others")
|
||||||
|
}
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
### Shadowing
|
||||||
|
🌟🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
// fix the errors in-place
|
||||||
|
fn main() {
|
||||||
|
let age = Some(30);
|
||||||
|
if let Some(age) = age { // create a new variable with the same name as previous `age`
|
||||||
|
assert_eq!(age, Some(30));
|
||||||
|
} // the new variable `age` goes out of scope here
|
||||||
|
|
||||||
|
match age {
|
||||||
|
// match can also introduce a new shadowed variable
|
||||||
|
Some(age) => println!("age is a new variable, it's value is {}",age),
|
||||||
|
_ => ()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
|
@ -1 +1,195 @@
|
||||||
# match, if let
|
# match, matches! 和 if let
|
||||||
|
|
||||||
|
### match
|
||||||
|
🌟🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
// 填空
|
||||||
|
enum Direction {
|
||||||
|
East,
|
||||||
|
West,
|
||||||
|
North,
|
||||||
|
South,
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let dire = Direction::South;
|
||||||
|
match dire {
|
||||||
|
Direction::East => println!("East"),
|
||||||
|
__ => { // 在这里匹配 South 或 North
|
||||||
|
println!("South or North");
|
||||||
|
},
|
||||||
|
_ => println!(__),
|
||||||
|
};
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
🌟🌟 `match` 是一个表达式,因此可以用在赋值语句中
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let boolean = true;
|
||||||
|
|
||||||
|
// 使用 match 表达式填空,并满足以下条件
|
||||||
|
//
|
||||||
|
// boolean = true => binary = 1
|
||||||
|
// boolean = false => binary = 0
|
||||||
|
let binary = __;
|
||||||
|
|
||||||
|
assert_eq!(binary, 1);
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
🌟🌟 使用 match 匹配出枚举成员持有的值
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
// 填空
|
||||||
|
enum Message {
|
||||||
|
Quit,
|
||||||
|
Move { x: i32, y: i32 },
|
||||||
|
Write(String),
|
||||||
|
ChangeColor(i32, i32, i32),
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let msgs = [
|
||||||
|
Message::Quit,
|
||||||
|
Message::Move{x:1, y:3},
|
||||||
|
Message::ChangeColor(255,255,0)
|
||||||
|
];
|
||||||
|
|
||||||
|
for msg in msgs {
|
||||||
|
show_message(msg)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn show_message(msg: Message) {
|
||||||
|
match msg {
|
||||||
|
__ => { // 这里匹配 Message::Move
|
||||||
|
assert_eq!(a, 1);
|
||||||
|
assert_eq!(b, 3);
|
||||||
|
},
|
||||||
|
Message::ChangeColor(_, g, b) => {
|
||||||
|
assert_eq!(g, __);
|
||||||
|
assert_eq!(b, __);
|
||||||
|
}
|
||||||
|
__ => println!("no data in these variants")
|
||||||
|
}
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
### matches!
|
||||||
|
[`matches!`](https://doc.rust-lang.org/stable/core/macro.matches.html) 看起来像 `match`, 但是它可以做一些特别的事情
|
||||||
|
|
||||||
|
🌟🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let alphabets = ['a', 'E', 'Z', '0', 'x', '9' , 'Y'];
|
||||||
|
|
||||||
|
// 使用 `matches` 填空
|
||||||
|
for ab in alphabets {
|
||||||
|
assert!(__)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
🌟🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
enum MyEnum {
|
||||||
|
Foo,
|
||||||
|
Bar
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let mut count = 0;
|
||||||
|
|
||||||
|
let v = vec![MyEnum::Foo,MyEnum::Bar,MyEnum::Foo];
|
||||||
|
for e in v {
|
||||||
|
if e == MyEnum::Foo { // 修复错误,只能修改本行代码
|
||||||
|
count += 1;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
assert_eq!(count, 2);
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
### if let
|
||||||
|
在有些时候, 使用 `match` 匹配枚举有些太重了,此时 `if let` 就非常适合.
|
||||||
|
|
||||||
|
🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let o = Some(7);
|
||||||
|
|
||||||
|
// 移除整个 `match` 语句块,使用 `if let` 替代
|
||||||
|
match o {
|
||||||
|
Some(i) => {
|
||||||
|
println!("This is a really long string and `{:?}`", i);
|
||||||
|
}
|
||||||
|
_ => {}
|
||||||
|
};
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
🌟🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
// 填空
|
||||||
|
enum Foo {
|
||||||
|
Bar(u8)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let a = Foo::Bar(1);
|
||||||
|
|
||||||
|
__ {
|
||||||
|
println!("foobar 持有的值是: {}", i);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
🌟🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
enum Foo {
|
||||||
|
Bar,
|
||||||
|
Baz,
|
||||||
|
Qux(u32)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let a = Foo::Qux(10);
|
||||||
|
|
||||||
|
// 移除以下代码,使用 `match` 代替
|
||||||
|
if let Foo::Bar = a {
|
||||||
|
println!("matches foo::bar")
|
||||||
|
} else if let Foo::Baz = a {
|
||||||
|
println!("matches foo::baz")
|
||||||
|
} else {
|
||||||
|
println!("matches others")
|
||||||
|
}
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
### 变量遮蔽( Shadowing )
|
||||||
|
🌟🌟
|
||||||
|
```rust,editable
|
||||||
|
|
||||||
|
// 就地修复错误
|
||||||
|
fn main() {
|
||||||
|
let age = Some(30);
|
||||||
|
if let Some(age) = age { // 创建一个新的变量,该变量与之前的 `age` 变量同名
|
||||||
|
assert_eq!(age, Some(30));
|
||||||
|
} // 新的 `age` 变量在这里超出作用域
|
||||||
|
|
||||||
|
match age {
|
||||||
|
// `match` 也能实现变量遮蔽
|
||||||
|
Some(age) => println!("age 是一个新的变量,它的值是 {}",age),
|
||||||
|
_ => ()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
Loading…
Reference in New Issue