附录 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, etc.元组索引
...., 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匹配分支语法的一部分
>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, etc.特定类型的数字字面量
"..."字符串字面量
r"...", r#"..."#, r##"..."##, etc.原始字符串字面量，转义字符不被处理
b"..."字节字符串字面量；构造字节数组而不是字符串
br"...", br#"..."#, br##"..."##, etc.原始字节字符串字面量，原始和字节字符串字面量的组合
'...'字符字面量
b'...'ASCII 字节字面量
|...| expr闭包
!总是空的底类型，用于发散函数
_“忽略”模式绑定；也用于使整数字面量更可读

表 B-3 展示了在模块层次结构中路径上下文中出现的符号。

表 B-3: 路径相关语法

符号说明
ident::ident命名空间路径
::path相对于外部预导入的路径，所有其他 crate 的根路径（即显式绝对路径，包括 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, ...)函数调用表达式；也用于初始化元组 struct 和元组 enum 变体

表 B-9 展示了使用花括号的上下文。

表 B-9: 花括号

上下文说明
{...}块表达式
Type {...}struct 字面量

表 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 作为“索引”