Update Ch21

src/Ch21_Appendix.md

@@ -120,7 +120,7 @@ fn main() {
 
 表 B-1 包含了 Rust 中的符号、该符号将如何出现于上下文中的一个示例、简单的解释，以及该运算符是否可过载。若某个运算符可以过载，就会列出过载那个运算符要用到的相关特质。
 
-**表 B-1：运算符**
+**<small>表 B-1：运算符</small>**
 
 | 运算符 | 示例 | 说明 | 是否可以过载 |
 | :--- | :--- | :--- | :--- |
@@ -187,7 +187,7 @@ fn main() {
 
 表 B-2 给出了自己单独出现，并在多种场合有效的一些符号。
 
-**表 B-2：独立语法，Stand-Alone Syntax**
+**<small>表 B-2：独立语法，Stand-Alone Syntax</small>**
 
 | 符号 | 说明 |
 | :--- | :--- |
@@ -204,3 +204,21 @@ fn main() {
 | `_` | “忽略，ignored” 模式绑定；还用于令到整数字面值可读，also used to make integer literals readable |
 
 
+表 B-3 展示了出现在模组层次结构中到某个项目路径上下文中的一些符号。
+
+**<small>表 B-3：路径相关的语法</small>**
+
+| 符号 | 说明 |
+| :--- | :--- |
+| `ident::ident` | 命名空间路径 |
+| `::path` | 相对于代码箱根的路径（比如，某个显式绝对路径） |
+| `self::path` | 相对于当前模组的路径（比如，某个显式相对路径） |
+| `super::path` | 相对于当前模组父模组的路径 |
+| `type::ident`, `<type as trait>::ident` | 关联的常量、函数及类型 |
+| `<type>::...` | 无法直接命名的某个类型的关联项目（比如，`<&T>::...`, `<[T]>::...` 等等） |
+| `trait::method(...)` | 通过命名出定义方法的类型，消除该方法调用的歧义 |
+| `<type as trait>::method(...)` | 通过命名出特质与类型，消除方法调用的歧义 |
+
+表 B-4 展示了出现在运用泛型参数上下文中的一些符号。
+
+**<small>表 B-4：泛型</small>**