Update Ch21

src/Ch21_Appendix.md

@@ -109,4 +109,74 @@ fn main() {
 
 此代码将不带任何错误地编译。请注意那个函数的定义中，与 `main` 中该函数被调用处其名字上的 `r#` 前缀。
 
-原始标识符实现了将任何咱们所选的词语用作标识符，即使那个词语碰巧是个保留的关键字。这给到咱们更自由地选择标识符名字，以及实现与一些以其中这些词语不属于关键字的语言，所编写的程序集成。此外，原始标识符实现了，对那些以不同于咱们代码箱 Rust 版本编写库加以运用。比如，在 2015 版中 `try` 就不是个关键字，但在 2018 版本中却是。若咱们依赖于一个使用 2015 版本编写的库，而该库有一个 `try` 函数，那么咱们就将需要在这种情况下，使用原始标识符 `r#try`，来从咱们的 2018 版本的代码，调用那个函数。请参阅 [附录 E](#appendix-e) 了解更多有关版本的问题。
+原始标识符实现了将任何咱们所选的词语用作标识符，即使那个词语碰巧是个保留的关键字。这给到咱们更自由地选择标识符名字，以及实现与一些以其中这些词语不属于关键字的语言，所编写的程序集成。此外，原始标识符实现了，对那些以不同于咱们代码箱 Rust 版本编写库加以运用。比如，在 2015 版中 `try` 就不是个关键字，但在 2018 版本中却是。若咱们依赖于一个使用 2015 版本编写的库，而该库有一个 `try` 函数，那么咱们就将需要在这种情况下，使用原始标识符 `r#try`，来从咱们的 2018 版本的代码，调用那个函数。请参阅 [附录 E](#appendix-e) 了解更多有关版本的信息。
+
+
+## 附录 B：运算符与符号
+
+此附录包含了 Rust 语法的词汇表，包括运算符与别的一些自己出现，或出现于路径、泛型、特质边界、宏、属性、注释、元组及方括符等上下文中的符号。
+
+### 运算符
+
+表 B-1 包含了 Rust 中的符号、该符号将如何出现于上下文中的一个示例、简单的解释，以及该运算符是否可过载。若某个运算符可以过载，就会列出过载那个运算符要用到的相关特质。
+
+**表 B-1：运算符**
+
+| 运算符 | 示例 | 说明 | 是否可以过载 |
+| :--- | :--- | :--- | :--- |
+| `!` | `ident! (...)` <br /> `ident! {...}` <br /> `ident! [...]` | 宏扩展 |   |
+| `!` | `!expr` | 按位或逻辑求补运算 | 否 |
+| `!=` | `expr != expr` | 不等比较 | `PartialEq` |
+| `%` | `expr % expr` | 算术求余运算 | `Rem` |
+| `%=` | `var %= expr` | 算术求余并赋值 | `RemAssign` |
+| `&` | `&expr`, `&mut expr` | 借用 |  |
+| `&` | `&type`, `&mut type`, `&'a type`, `&'a mut type` | 借用指针类型 |  |
+| `&` | `expr & expr` | 按位与（AND）运算 | `BitAnd` |
+| `&=` | `var &= expr` | 按位与（AND）运算并赋值 | `BitAndAssign` |
+| `&&` | `expr && expr` | 短路逻辑与（AND）运算，short-circuit logical AND |  |
+| `*` | `expr * expr` | 算术乘法运算 | `Mul` |
+| `*=` | `var *= expr` | 算术乘法运算并赋值 | `MulAssign` |
+| `*` | `*expr` | 解引用运算 | `Deref` |
+| `*` | `*const type`, `*mut type` | 原始指针运算 |  |
+| `+` | `trait + trait`, `'a + trait` | 复合类型约束运算 |  |
+| `+` | `expr + expr` | 算术加法运算 | `Add` |
+| `+=` | `var += expr` | 算术加法运算并赋值 | `AddAssign` |
+| `,` | `expr, expr` | 参数与元素分隔符 |  |
+| `-` | `- expr` | 算术取反运算 | `Neg` |
+| `-` | `expr - expr` | 算术减法运算 | `Sub` |
+| `-=` | `var -= expr` | 算术减法运算并赋值 | `SubAssign` |
+| `->` | `fn(...) -> type`, `|...| -> type` | 函数与闭包的返回值类型 |  |
+| `.` | `expr.ident` | 成员访问 |  |
+| `..` | `..`, `expr..`, `..expr`, `expr..expr` | 排除右侧的范围语法字面值 | `PartialOrd` |
+| `..=` | `..=expr`, `expr..=expr` | 包含右侧范围语法字面值 | `PartialOrd` |
+| `..` | `..expr` | 结构体更新语法 |  |
+| `..` | `variant(x, ..)`, `struct_type { x, .. }` | “等等” 模式绑定，"And the rest" pattern binding |  |
+| `...` | `expr...expr` | （已弃用，请使用 `..=` 代替）在模式中：包含式范围模式 |  |
+| `/` | `expr / expr` | 算术除法运算 | `Div` |
+| `/=` | `var /= expr` | 算术除法并赋值 | `DivAssign` |
+| `:` | `pat: type`, `ident: type` | 约束 |  |
+| `:` | `ident: expr` | 结构体字段初始化 |  |
+| `:` | `'a: loop {...}` | 循环标签 |  |
+| `;` | `expr;` | 语句及项目的终止符 |  |
+| `;` | `[..., len]` | 固定大小数组语法的一部分 |  |
+| `<<` | `expr << expr` | 向左移位运算 | `Shl` |
+| `<<=` | `var <<= expr` | 向左移位运算并赋值 | `ShlAssign` |
+| `<` | `expr < expr` | 小于比较 | `PartialOrd` |
+| `<=` | `expr <= expr` | 小于等于比较 | `PartialOrd` |
+| `=` | `var = expr`, `ident = type` | 赋值/等价，equivalence |  |
+| `==` | `expr == expr` | 相等比较 | `PartialEq` |
+| `=>` | `pat => expr` | 匹配支臂语法的一部分 |  |
+| `>` | `expr > expr` | 大于比较 | `PartialOrd` |
+| `>=` | `expr >= expr` | 大于等于比较 | `PartialOrd` |
+| `>>` | `expr >> expr` | 向右位移运算 | `Shr` |
+| `>>=` | `var >>= expr` | 向右位移运算并赋值 | `ShrAssign` |
+| `@` | `ident @ pat` | 模式绑定 |  |
+| `^` | `var ^ expr` | 按位异或运算 | `BitXor` |
+| `^=` | `var ^= expr` | 按位异或运算并赋值 | `BitXorAssign` |
+| `|` | `pat | pat` | 模式选择，pattern alternatives |  |
+| `|` | `expr | expr` | 按位或运算 | `BitOr` |
+| `|=` | `var |= expr` | 按位或运算并赋值 | `BitOrAssign` |
+| `||` | `expr || expr` | 短路逻辑或运算 |  |
+| `?` | `expr?` | 错误传递 |  |
+
+