附录 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 arm 语法的一部分
>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!(...), ident!{...}, ident![...]$ident:kind

宏捕获

$(…)…

符号解释
//宏重复
//!ident!(...);
///宏调用
/*...*/表 B-7 显示了创建注释的符号。
/*!...*/表 B-7：注释
/**...*/// 注释

行注释

//! 文档注释

符号解释
()内部行文档注释
/// 文档注释外部行文档注释
/* ... */块注释
/*! ... */内部块文档注释
/** ... */外部块文档注释
表 B-8 显示了出现在使用元组的上下文中的符号。表 B-8：元组
()空元组（又名 unit），字面量和类型
(expr)带括号的表达式

(expr,)

单元素元组表达式

(type,)解释
{...}单元素元组类型
(expr, ...)元组表达式

(type, ...)

元组类型

(type,)解释
[...]expr(expr, ...)
函数调用表达式；也用于初始化元组 struct 和元组 enum 变体expr.0, expr.1, 等。
元组索引表 B-9 显示了花括号的使用上下文。
表 B-9：花括号{ ... }
块表达式Type {...}