Merge branch 'sunface:main' into main

pull/1126/head
Rustln 2 years ago committed by GitHub
commit 91318d5f80
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -40,7 +40,7 @@ fn main() {
第二个匹配分支中的模式引入了一个新变量 `y`,它会匹配任何 `Some` 中的值。因为这里的 `y``match` 表达式的作用域中,而不是之前 `main` 作用域中,所以这是一个新变量,不是开头声明为值 10 的那个 `y`。这个新的 `y` 绑定会匹配任何 `Some` 中的值,在这里是 `x` 中的值。因此这个 `y` 绑定了 `x``Some` 内部的值。这个值是 5所以这个分支的表达式将会执行并打印出 `Matchedy = 5`
如果 `x` 的值是 `None` 而不是 `Some(5)`,头两个分支的模式不会匹配,所以会匹配模式 `_`。这个分支的模式中没有引入变量 `x`,所以此时表达式中的 `x` 会是外部没有被覆盖的 `x`,也就是 `Some(5)`。
如果 `x` 的值是 `None` 而不是 `Some(5)`,头两个分支的模式不会匹配,所以会匹配模式 `_`。这个分支的模式中没有引入变量 `x`,所以此时表达式中的 `x` 会是外部没有被覆盖的 `x`,也就是 `None`。
一旦 `match` 表达式执行完毕,其作用域也就结束了,同理内部 `y` 的作用域也结束了。最后的 `println!` 会打印 `at the end: x = Some(5), y = 10`

@ -81,8 +81,9 @@
| [变量遮蔽] | shadowing | 允许声明相同的变量名,后者会遮蔽掉前者 |
| [变量覆盖] | 模式匹配 | 无论是是 `match` 还是 `if let`,他们都可以在模式匹配时覆盖掉老的值,绑定新的值 |
| [变量作用域] | 所有权 | 作用域是一个变量在程序中有效的范围 |
| [表达式]与[语句] | | 表达式:进行求值,结尾无 `;`,有返回值,如 `x + 9` 另见 [附录 C]</br>语句:完成一个操作,结尾有 `;` ,无返回值,如 `let x = 9;` |
| [表达式] [语句] | | 表达式:进行求值,结尾无 `;`,有返回值,如 `x + 9` 另见 [附录 C]</br>语句:完成一个操作,结尾有 `;` ,无返回值,如 `let x = 9;` |
| [bool 布尔] | 布尔类型 | `true` `false`,占用 1 字节 |
| [Box\<T\>] | 智能指针 | 允许你将一个值分配到堆上,然后在栈上保留一个智能指针指向堆上的数据 |
| [break] | 循环控制 | 直接跳出当前整个循环 |
| [backtrace 栈展开] | 不可恢复错误 | `RUST_BACKTRACE=1 cargo run` |
| | KWB | |
@ -96,6 +97,7 @@
[附录 c]: https://course.rs/appendix/expressions.html
[break]: https://course.rs/basic/flow-control.html#break
[backtrace 栈展开]: https://course.rs/basic/result-error/panic.html#backtrace-栈展开
[box\<t\>]: https://course.rs/advance/smart-pointer/box.html#使用-boxt-将数据存储在堆上
[back](#head)
@ -127,15 +129,21 @@
## D
| 名称 | 关键字 | 简介 |
| ---------- | -------- | ---------------------------------------------------------------------------------------------------------------- |
| [derive] | 派生特征 | `#[derive(Trait)]`,被标记的对象自动实现对应的默认特征代码<br>详见:[附录-派生特征] |
| [点操作符] | 类型转换 | 方法调用的点操作符,在调用时,会发生很多魔法般的类型转换,例如:自动引用、自动解引用,强制类型转换直到类型能匹配 |
| | KWD | |
| 名称 | 关键字 | 简介 |
| ----------------- | -------- | ------------------------------------------------------------------------------------------------------------------ |
| [derive] | 派生特征 | `#[derive(Trait)]`,被标记的对象自动实现对应的默认特征<br>详见:[附录-派生特征] |
| [点操作符] | 类型转换 | 方法调用的点操作符,在调用时,会发生很多魔法般的类型转换<br>例如:自动引用、自动解引用,强制类型转换直到类型能匹配 |
| [Deref 解引用] | 智能指针 | |
| [三种 Deref 转换] | 智能指针 | |
| [Drop 释放资源] | 智能指针 | |
| | KWD | |
[derive]: https://course.rs/basic/trait/trait.html#通过-derive-派生特征
[附录-派生特征]: https://course.rs/appendix/derive.html
[点操作符]: https://course.rs/basic/converse.html#点操作符
[deref 解引用]: https://course.rs/advance/smart-pointer/deref.html#deref-解引用
[三种 deref 转换]: https://course.rs/advance/smart-pointer/deref.html#三种-deref-转换
[drop 释放资源]: https://course.rs/advance/smart-pointer/drop.html#drop-释放资源
[back](#head)

Loading…
Cancel
Save