附录 B：运算符与符号
本附录包含 Rust 语法的术语表，涵盖了运算符以及其他单独出现或出现在路径、泛型、trait 约束、宏、属性、注释、元组和括号上下文中的符号。
运算符
表 B-1 列出了 Rust 中的运算符、运算符在上下文中的使用示例、简短说明，以及该运算符是否可重载。如果运算符可以重载，则会列出用于重载该运算符的相关 trait。
Table B-1: Operators
| 运算符 | 示例 | 说明 | 可重载？ |
|---|---|---|---|
! | ident!(...), ident!{...}, ident![...] | 宏展开 | |
! | !expr | 按位或逻辑取反 | Not |
!= | expr != expr | 不等比较 | PartialEq |
% | expr % expr | 算术取余 | Rem |
%= | var %= expr | 算术取余并赋值 | RemAssign |
& | &expr, &mut expr | 借用 | |
& | &type, &mut type, &'a type, &'a mut type | 借用指针类型 | |
& | expr & expr | 按位与 | BitAnd |
&= | var &= expr | 按位与并赋值 | BitAndAssign |
&& | expr && expr | 短路逻辑与 | |
* | 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.ident(expr, ...) | 方法调用 | |
. | expr.0, expr.1, and so on | 元组索引 | |
.. | .., expr.., ..expr, expr..expr | 右开区间字面量 | PartialOrd |
..= | ..=expr, expr..=expr | 右闭区间字面量 | PartialOrd |
.. | ..expr | 结构体字面量更新语法 | |
.. | variant(x, ..), struct_type { x, .. } | “其余部分“模式绑定 | |
... | 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 | 赋值/等价 | |
== | expr == expr | 相等比较 | PartialEq |
=> | pat => expr | match 分支语法的一部分 | |
> | expr > expr | 大于比较 | PartialOrd |
>= | expr >= expr | 大于等于比较 | PartialOrd |
>> | expr >> expr | 右移 | Shr |
>>= | var >>= expr | 右移并赋值 | ShrAssign |
@ | ident @ pat | 模式绑定 | |
^ | expr ^ expr | 按位异或 | BitXor |
^= | var ^= expr | 按位异或并赋值 | BitXorAssign |
| | pat | pat | 模式替代项 | |
| | expr | expr | 按位或 | BitOr |
|= | var |= expr | 按位或并赋值 | BitOrAssign |
|| | expr || expr | 短路逻辑或 | |
? | expr? | 错误传播 |
非运算符符号
以下表格列出了所有不充当运算符的符号；也就是说，它们的行为不像函数或方法调用。
表 B-2 展示了独立出现的符号，它们在多种位置都是有效的。
Table B-2: Stand-alone Syntax
| 符号 | 说明 |
|---|---|
'ident | 命名生命周期或循环标签 |
数字后紧跟 u8、i32、f64、usize 等 | 特定类型的数字字面量 |
"..." | 字符串字面量 |
r"..."、r#"..."#、r##"..."## 等 | 原始字符串字面量；不处理转义字符 |
b"..." | 字节字符串字面量；构造字节数组而非字符串 |
br"..."、br#"..."#、br##"..."## 等 | 原始字节字符串字面量；原始字符串与字节字符串的组合 |
'...' | 字符字面量 |
b'...' | ASCII 字节字面量 |
|…| expr | 闭包 |
! | 发散函数的永远为空的底部类型 |
_ | “忽略“模式绑定；也用于使整数字面量更易读 |
表 B-3 展示了出现在模块层级路径上下文中的符号。
Table B-3: Path-Related Syntax
| 符号 | 说明 |
|---|---|
ident::ident | 命名空间路径 |
::path | 相对于 crate 根的路径（即显式绝对路径） |
self::path | 相对于当前模块的路径（即显式相对路径） |
super::path | 相对于当前模块父模块的路径 |
type::ident, <type as trait>::ident | 关联常量、函数和类型 |
<type>::... | 无法直接命名的类型的关联项（例如 <&T>::...、<[T]>::... 等） |
trait::method(...) | 通过命名定义该方法的 trait 来消除方法调用的歧义 |
type::method(...) | 通过命名定义该方法的类型来消除方法调用的歧义 |
<type as trait>::method(...) | 通过命名 trait 和类型来消除方法调用的歧义 |
表 B-4 展示了出现在使用泛型类型参数上下文中的符号。
Table B-4: Generics
| 符号 | 说明 |
|---|---|
path<...> | 为类型中的泛型类型指定参数（例如 Vec<u8>） |
path::<...>, method::<...> | 为表达式中的泛型类型、函数或方法指定参数；通常称为 turbofish（例如 "42".parse::<i32>()） |
fn ident<...> ... | 定义泛型函数 |
struct ident<...> ... | 定义泛型结构体 |
enum ident<...> ... | 定义泛型枚举 |
impl<...> ... | 定义泛型实现 |
for<...> type | 高阶生命周期约束 |
type<ident=type> | 一个泛型类型，其中一个或多个关联类型有特定赋值（例如 Iterator<Item=T>） |
表 B-5 展示了出现在使用 trait 约束来约束泛型类型参数上下文中的符号。
Table B-5: Trait Bound Constraints
| 符号 | 说明 |
|---|---|
T: U | 泛型参数 T 被约束为实现了 U 的类型 |
T: 'a | 泛型类型 T 的生存期必须长于生命周期 'a（意味着该类型不能传递性地包含任何生命周期短于 'a 的引用） |
T: 'static | 泛型类型 T 不包含除 'static 之外的借用引用 |
'b: 'a | 泛型生命周期 'b 的生存期必须长于生命周期 'a |
T: ?Sized | 允许泛型类型参数是动态大小类型 |
'a + trait, trait + trait | 复合类型约束 |
表 B-6 展示了出现在调用或定义宏以及在项上指定属性的上下文中的符号。
Table B-6: Macros and Attributes
| 符号 | 说明 |
|---|---|
#[meta] | 外部属性 |
#![meta] | 内部属性 |
$ident | 宏替换 |
$ident:kind | 宏元变量 |
$(...)... | 宏重复 |
ident!(...), ident!{...}, ident![...] | 宏调用 |
表 B-7 展示了创建注释的符号。
Table B-7: Comments
| 符号 | 说明 |
|---|---|
// | 行注释 |
//! | 内部行文档注释 |
/// | 外部行文档注释 |
/*...*/ | 块注释 |
/*!...*/ | 内部块文档注释 |
/**...*/ | 外部块文档注释 |
表 B-8 展示了使用圆括号的上下文。
Table B-8: Parentheses
| 符号 | 说明 |
|---|---|
() | 空元组（也称为 unit），既是字面量也是类型 |
(expr) | 带括号的表达式 |
(expr,) | 单元素元组表达式 |
(type,) | 单元素元组类型 |
(expr, ...) | 元组表达式 |
(type, ...) | 元组类型 |
expr(expr, ...) | 函数调用表达式；也用于初始化元组 struct 和元组 enum 变体 |
表 B-9 展示了使用花括号的上下文。
Table B-9: Curly Brackets
| 上下文 | 说明 |
|---|---|
{...} | 块表达式 |
Type {...} | 结构体字面量 |
表 B-10 展示了使用方括号的上下文。
Table B-10: Square Brackets
| 上下文 | 说明 |
|---|---|
[...] | 数组字面量 |
[expr; len] | 包含 len 个 expr 副本的数组字面量 |
[type; len] | 包含 len 个 type 实例的数组类型 |
expr[expr] | 集合索引；可重载（Index、IndexMut） |
expr[..], expr[a..], expr[..b], expr[a..b] | 伪装成集合切片的集合索引，使用 Range、RangeFrom、RangeTo 或 RangeFull 作为“索引“ |