附录 B：运算符和符号

本附录包含 Rust 语法的词汇表，包括运算符和其他符号，这些符号单独出现或在路径、泛型、特征边界、宏、属性、注释、元组和括号的上下文中出现。

运算符

表 B-1 包含 Rust 中的运算符、运算符在上下文中的示例、简短说明以及该运算符是否可重载。如果运算符可重载，则列出用于重载该运算符的相关特征。

表 B-1：运算符

运算符示例说明可重载？
!ident!(...)、ident!{...}、ident![...]宏展开
!!expr按位或逻辑取反不可
!=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::<...>在表达式中指定泛型类型、函数或方法的参数；通常称为 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 变体expr.0、expr.1 等

元组索引

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

表 B-9：花括号说明
{...}上下文
{ ... }块表达式

type { ... }

struct 字面量

表 B-9：花括号说明
[...]表 B-10 展示了使用方括号的上下文。
表 B-10：方括号[expr, ...]
数组字面量[expr; len]
包含 len 个 expr 副本的数组字面量[type; len]
包含 len 个 type 实例的数组类型expr[expr]