附录 B：运算符和符号
本附录汇总了 Rust 语法中的运算符及其他符号，包括独立出现的符号，以及出现在路径、泛型、trait 约束、宏、属性、注释、元组和括号语境中的符号。
运算符
表 B-1 列出了 Rust 中的运算符、运算符在具体语境中的示例、简要说明，以及该运算符是否可重载。对于可重载的运算符，表中还列出了用于重载它的相关 trait。
表 B-1：运算符
| 运算符 | 示例 | 说明 | 可重载？ |
|---|---|---|---|
! | 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 等 | 元组索引 | |
.. | .., 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 展示了独立出现且可用于多种位置的符号。
表 B-2：独立语法
| 符号 | 说明 |
|---|---|
'ident | 命名生命周期或循环标签 |
紧跟在 u8、i32、f64、usize 等后面的数字 | 指定类型的数值字面量 |
"..." | 字符串字面量 |
r"..."、r#"..."#、r##"..."## 等 | 原始字符串字面量；不处理转义字符 |
b"..." | 字节字符串字面量；构造字节数组，而非字符串 |
br"..."、br#"..."#、br##"..."## 等 | 原始字节字符串字面量；结合了原始字符串和字节字符串的特性 |
'...' | 字符字面量 |
b'...' | ASCII 字节字面量 |
|…| expr | 闭包 |
! | 用于发散函数、始终为空的底类型 |
_ | “忽略”模式绑定；也用于提高整数值字面量的可读性 |
表 B-3 展示了在通过模块层级路径访问项时会出现的符号。
表 B-3：路径相关语法
| 符号 | 说明 |
|---|---|
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 展示了使用泛型类型参数时会出现的符号。
表 B-4：泛型
| 符号 | 说明 |
|---|---|
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 约束限制泛型类型参数时会出现的符号。
表 B-5：Trait 约束
| 符号 | 说明 |
|---|---|
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 展示了调用或定义宏，以及为项指定属性时会出现的符号。
表 B-6：宏和属性
| 符号 | 说明 |
|---|---|
#[meta] | 外部属性 |
#![meta] | 内部属性 |
$ident | 宏替换 |
$ident:kind | 宏元变量 |
$(...)... | 宏重复 |
ident!(...), ident!{...}, ident![...] | 宏调用 |
表 B-7 展示了用于创建注释的符号。
表 B-7：注释
| 符号 | 说明 |
|---|---|
// | 行注释 |
//! | 内部行文档注释 |
/// | 外部行文档注释 |
/*...*/ | 块注释 |
/*!...*/ | 内部块文档注释 |
/**...*/ | 外部块文档注释 |
表 B-8 展示了圆括号的使用场景。
表 B-8：圆括号
| 符号 | 说明 |
|---|---|
() | 空元组（也称为单元类型），既是字面量也是类型 |
(expr) | 带括号的表达式 |
(expr,) | 单元素元组表达式 |
(type,) | 单元素元组类型 |
(expr, ...) | 元组表达式 |
(type, ...) | 元组类型 |
expr(expr, ...) | 函数调用表达式；也用于初始化元组结构体和元组枚举变体 |
表 B-9 展示了花括号的使用场景。
表 B-9：花括号
| 语境 | 说明 |
|---|---|
{...} | 块表达式 |
Type {...} | 结构体字面量 |
表 B-10 展示了方括号的使用场景。
表 B-10：方括号
| 语境 | 说明 |
|---|---|
[...] | 数组字面量 |
[expr; len] | 包含 len 个 expr 副本的数组字面量 |
[type; len] | 包含 len 个 type 实例的数组类型 |
expr[expr] | 集合索引；可重载（Index、IndexMut） |
expr[..], expr[a..], expr[..b], expr[a..b] | 用集合索引实现类似切片的效果，将 Range、RangeFrom、RangeTo 或 RangeFull 作为“索引” |