附录 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..、..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 => exprmatch 分支语法的一部分
>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::<...>指定表达式中泛型类型、函数或方法的参数；通常称为涡轮鱼（例如，"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：元组

符号解释
()空元组（又名 unit），字面量和类型
(expr)带括号的表达式
(expr,)单元素元组表达式
(type,)单元素元组类型
(expr, ...)元组表达式
(type, ...)元组类型
expr(expr, ...)函数调用表达式；也用于初始化元组 struct 和元组 enum 变体
expr.0、expr.1 等元组索引

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

表 B-9：花括号

上下文解释
{...}块表达式
类型 {...}struct 字面量

表 B-10 显示了使用方括号的上下文。

表 B-10：方括号

上下文解释
[...]数组字面量
[expr; len]包含 expr 的 len 个副本的数组字面量
[type; len]包含 type 的 len 个实例的数组类型
expr[expr]集合索引。可重载 (Index、IndexMut)
expr[..]、expr[a..]、expr[..b]、expr[a..b]集合索引伪装成集合切片，使用 Range、RangeFrom、RangeTo 或 RangeFull 作为“索引”