附录 B：运算符和符号

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

运算符

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

表 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相对于外部 prelude 的路径，所有其他 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：元组

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

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