|
|
|
|
@ -1,6 +1,5 @@
|
|
|
|
|
## 附录 B：运算符与符号
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
该附录包含了 Rust 目前出现过的各种符号，这些符号之前都分散在各个章节中。
|
|
|
|
|
|
|
|
|
|
### 运算符
|
|
|
|
|
@ -12,7 +11,7 @@
|
|
|
|
|
<span class="caption">表 B-1：运算符</span>
|
|
|
|
|
|
|
|
|
|
| 运算符 | 示例 | 解释 | 是否可重载 |
|
|
|
|
|
|----------|---------|-------------|---------------|
|
|
|
|
|
| ------------------------- | ------------------------------------------------------- | ---------------------------------- | -------------- |
|
|
|
|
|
| `!` | `ident!(...)`, `ident!{...}`, `ident![...]` | 宏展开 | |
|
|
|
|
|
| `!` | `!expr` | 按位非或逻辑非 | `Not` |
|
|
|
|
|
| `!=` | `var != expr` | 不等比较 | `PartialEq` |
|
|
|
|
|
@ -32,7 +31,7 @@
|
|
|
|
|
| `+=` | `var += expr` | 算术加法与赋值 | `AddAssign` |
|
|
|
|
|
| `,` | `expr, expr` | 参数以及元素分隔符 | |
|
|
|
|
|
| `-` | `- expr` | 算术取负 | `Neg` |
|
|
|
|
|
| `-` | `expr - expr` | 算术减法| `Sub` |
|
|
|
|
|
| `-` | `expr - expr` | 算术减法 | `Sub` |
|
|
|
|
|
| `-=` | `var -= expr` | 算术减法与赋值 | `SubAssign` |
|
|
|
|
|
| `->` | `fn(...) -> type`, <code>|...| -> type</code> | 函数与闭包，返回类型 | |
|
|
|
|
|
| `.` | `expr.ident` | 成员访问 | |
|
|
|
|
|
@ -48,8 +47,8 @@
|
|
|
|
|
| `:` | `'a: loop {...}` | 循环标志 | |
|
|
|
|
|
| `;` | `expr;` | 语句和语句结束符 | |
|
|
|
|
|
| `;` | `[...; len]` | 固定大小数组语法的部分 | |
|
|
|
|
|
| `<<` | `expr << expr` |左移 | `Shl` |
|
|
|
|
|
| `<<=` | `var <<= expr` | 左移与赋值| `ShlAssign` |
|
|
|
|
|
| `<<` | `expr << expr` | 左移 | `Shl` |
|
|
|
|
|
| `<<=` | `var <<= expr` | 左移与赋值 | `ShlAssign` |
|
|
|
|
|
| `<` | `expr < expr` | 小于比较 | `PartialOrd` |
|
|
|
|
|
| `<=` | `expr <= expr` | 小于等于比较 | `PartialOrd` |
|
|
|
|
|
| `=` | `var = expr`, `ident = type` | 赋值/等值 | |
|
|
|
|
|
@ -68,21 +67,20 @@
|
|
|
|
|
| <code>||</code> | <code>expr || expr</code> | 逻辑或 | |
|
|
|
|
|
| `?` | `expr?` | 错误传播 | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
### 非运算符符号
|
|
|
|
|
|
|
|
|
|
<span class="caption">表 B-2：独立语法</span>
|
|
|
|
|
|
|
|
|
|
| 符号 | 解释 |
|
|
|
|
|
|--------|-------------|
|
|
|
|
|
| ------------------------------------------- | ------------------------------------------------------ |
|
|
|
|
|
| `'ident` | 生命周期名称或循环标签 |
|
|
|
|
|
| `...u8`, `...i32`, `...f64`, `...usize`, 等 | 指定类型的数值常量 |
|
|
|
|
|
| `"..."` | 字符串常量 |
|
|
|
|
|
| `r"..."`, `r#"..."#`, `r##"..."##`, etc. | 原生字符串, 未转义字符 |
|
|
|
|
|
| `b"..."` | 将 `&str` 转换成 `&[u8; N]` 类型的数组 |
|
|
|
|
|
| `br"..."`, `br#"..."#`, `br##"..."##`, 等 | 原生字节字符串，原生和字节字符串字面值的结合 |
|
|
|
|
|
| `'...'` | Char字符 |
|
|
|
|
|
| `b'...'` | ASCII字节 |
|
|
|
|
|
| `'...'` | Char 字符 |
|
|
|
|
|
| `b'...'` | ASCII 字节 |
|
|
|
|
|
| <code>|...| expr</code> | 闭包 |
|
|
|
|
|
| `!` | 代表总是空的类型，用于发散函数(无返回值函数) |
|
|
|
|
|
| `_` | 模式绑定中表示忽略的意思；也用于增强整型字面值的可读性 |
|
|
|
|
|
@ -92,10 +90,10 @@
|
|
|
|
|
<span class="caption">表 B-3：路径相关语法</span>
|
|
|
|
|
|
|
|
|
|
| 符号 | 解释 |
|
|
|
|
|
|--------|-------------|
|
|
|
|
|
| --------------------------------------- | ----------------------------------------------------------------- |
|
|
|
|
|
| `ident::ident` | 命名空间路径 |
|
|
|
|
|
| `::path` | 从当前的包的根路径开始的相对路径 |
|
|
|
|
|
| `self::path` | 与当前模块相对的路径（如一个显式相对路径）|
|
|
|
|
|
| `self::path` | 与当前模块相对的路径（如一个显式相对路径） |
|
|
|
|
|
| `super::path` | 与父模块相对的路径 |
|
|
|
|
|
| `type::ident`, `<type as trait>::ident` | 关联常量、关联函数、关联类型 |
|
|
|
|
|
| `<type>::...` | 不可以被直接命名的关联项类型（如 `<&T>::...`，`<[T]>::...`， 等） |
|
|
|
|
|
@ -103,32 +101,31 @@
|
|
|
|
|
| `type::method(...)` | 使用类型名进行方法调用, 以消除方法调用的二义性 |
|
|
|
|
|
| `<type as trait>::method(...)` | 将类型转换为特征，再进行方法调用,以消除方法调用的二义性 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
表 B-4 展示了使用泛型参数时用到的符号。
|
|
|
|
|
|
|
|
|
|
<span class="caption">表 B-4：泛型</span>
|
|
|
|
|
|
|
|
|
|
| 符号 | 解释 |
|
|
|
|
|
|--------|-------------|
|
|
|
|
|
| ------------------------------ | ------------------------------------------------------------------------------------------------- |
|
|
|
|
|
| `path<...>` | 为一个类型中的泛型指定具体参数（如 `Vec<u8>`） |
|
|
|
|
|
| `path::<...>`, `method::<...>` | 为一个泛型、函数或表达式中的方法指定具体参数，通常指双冒号(turbofish)（如 `"42".parse::<i32>()`）|
|
|
|
|
|
| `path::<...>`, `method::<...>` | 为一个泛型、函数或表达式中的方法指定具体参数，通常指双冒号(turbofish)（如 `"42".parse::<i32>()`） |
|
|
|
|
|
| `fn ident<...> ...` | 泛型函数定义 |
|
|
|
|
|
| `struct ident<...> ...` | 泛型结构体定义 |
|
|
|
|
|
| `enum ident<...> ...` | 泛型枚举定义 |
|
|
|
|
|
| `impl<...> ...` | 实现泛型 |
|
|
|
|
|
| `for<...> type` | 高阶生命周期限制 |
|
|
|
|
|
| `type<ident=type>` | 泛型，其一个或多个相关类型必须被指定为特定类型（如 `Iterator<Item=T>`）|
|
|
|
|
|
| `type<ident=type>` | 泛型，其一个或多个相关类型必须被指定为特定类型（如 `Iterator<Item=T>`） |
|
|
|
|
|
|
|
|
|
|
表 B-5 展示了使用特征约束来限制泛型参数的符号。
|
|
|
|
|
|
|
|
|
|
<span class="caption">表 B-5：特征约束</span>
|
|
|
|
|
|
|
|
|
|
| 符号 | 解释 |
|
|
|
|
|
|--------|-------------|
|
|
|
|
|
| ----------------------------- | ---------------------------------------------------------------------------------------- |
|
|
|
|
|
| `T: U` | 泛型参数 `T`需实现`U`类型 |
|
|
|
|
|
| `T: 'a` | 泛型 `T` 的生命周期必须长于 `'a`（意味着该类型不能传递包含生命周期短于 `'a` 的任何引用）|
|
|
|
|
|
| `T : 'static` | 泛型 T只能使用声明周期为'static的引用 |
|
|
|
|
|
| `'b: 'a` |生命周期`'b`必须长于生命周期`'a` |
|
|
|
|
|
| `T: 'a` | 泛型 `T` 的生命周期必须长于 `'a`（意味着该类型不能传递包含生命周期短于 `'a` 的任何引用） |
|
|
|
|
|
| `T : 'static` | 泛型 T 只能使用声明周期为'static 的引用 |
|
|
|
|
|
| `'b: 'a` | 生命周期`'b`必须长于生命周期`'a` |
|
|
|
|
|
| `T: ?Sized` | 使用一个不定大小的泛型类型 |
|
|
|
|
|
| `'a + trait`, `trait + trait` | 多个类型组成的复合类型限制 |
|
|
|
|
|
|
|
|
|
|
@ -137,7 +134,7 @@
|
|
|
|
|
<span class="caption">表 B-6：宏与属性</span>
|
|
|
|
|
|
|
|
|
|
| 符号 | 解释 |
|
|
|
|
|
|--------|-------------|
|
|
|
|
|
| ------------------------------------------- | -------- |
|
|
|
|
|
| `#[meta]` | 外部属性 |
|
|
|
|
|
| `#![meta]` | 内部属性 |
|
|
|
|
|
| `$ident` | 宏替换 |
|
|
|
|
|
@ -150,7 +147,7 @@
|
|
|
|
|
<span class="caption">表 B-7：注释</span>
|
|
|
|
|
|
|
|
|
|
| 符号 | 注释 |
|
|
|
|
|
|--------|-------------|
|
|
|
|
|
| ---------- | -------------------- |
|
|
|
|
|
| `//` | 行注释 |
|
|
|
|
|
| `//!` | 内部行(hang)文档注释 |
|
|
|
|
|
| `///` | 外部行文档注释 |
|
|
|
|
|
@ -163,7 +160,7 @@
|
|
|
|
|
<span class="caption">表 B-8：元组</span>
|
|
|
|
|
|
|
|
|
|
| 符号 | 解释 |
|
|
|
|
|
|--------|-------------|
|
|
|
|
|
| ------------------------ | ------------------------------------------------------------------------ |
|
|
|
|
|
| `()` | 空元组（亦称单元），即是字面值也是类型 |
|
|
|
|
|
| `(expr)` | 括号表达式 |
|
|
|
|
|
| `(expr,)` | 单一元素元组表达式 |
|
|
|
|
|
@ -178,7 +175,7 @@
|
|
|
|
|
<span class="caption">表 B-9：大括号</span>
|
|
|
|
|
|
|
|
|
|
| 符号 | 解释 |
|
|
|
|
|
|---------|-------------|
|
|
|
|
|
| ------------ | ------------ |
|
|
|
|
|
| `{...}` | 代码块表达式 |
|
|
|
|
|
| `Type {...}` | 结构体字面值 |
|
|
|
|
|
|
|
|
|
|
@ -187,9 +184,9 @@
|
|
|
|
|
<span class="caption">表 B-10：方括号</span>
|
|
|
|
|
|
|
|
|
|
| 符号 | 解释 |
|
|
|
|
|
|---------|-------------|
|
|
|
|
|
| -------------------------------------------------- | -------------------------------------------------------------------------------------------------------- |
|
|
|
|
|
| `[...]` | 数组 |
|
|
|
|
|
| `[expr; len]` | 数组里包含`len`个`expr` |
|
|
|
|
|
| `[type; len]` | 数组里包含了`len`个`type`类型的对象|
|
|
|
|
|
| `[type; len]` | 数组里包含了`len`个`type`类型的对象 |
|
|
|
|
|
| `expr[expr]` | 集合索引。 重载（`Index`, `IndexMut`） |
|
|
|
|
|
| `expr[..]`, `expr[a..]`, `expr[..b]`, `expr[a..b]` | 集合索引，也称为集合切片，索引要实现以下特征中的其中一个：`Range`，`RangeFrom`，`RangeTo` 或 `RangeFull` |
|
|
|
|
|
|
Allan Downey
3 years ago