# 附录 B:运算符与符号

appendix-02-operators.md (opens new window)
commit 396fdb69de7fb18f24b15c7ad13491b1c1fa7231

该附录包含了 Rust 语法的词汇表,包括运算符以及其他的符号,这些符号单独出现或出现在路径、泛型、trait bounds、宏、属性、注释、元组以及大括号上下文中。

# 运算符

表 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 短路(Short-circuiting)逻辑与
* 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 (Deprecated,请使用 ..=)在模式中:闭区间范围模式
/ 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 短路(Short-circuiting)逻辑或
? expr? 错误传播

# 非运算符符号

下面的列表中包含了所有和运算符不一样功能的符号;也就是说,他们并不像函数调用或方法调用一样表现。

表 B-2 展示了以其自身出现以及出现在合法其他各个地方的符号。

表 B-2:独立语法

符号 解释
'ident 命名生命周期或循环标签
...u8, ...i32, ...f64, ...usize 指定类型的数值常量
"..." 字符串常量
r"...", r#"..."#, r##"..."##, etc. 原始字符串字面值,未处理的转义字符
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 bounds 约束泛型参数上下文中的符号。

表 B-5: Trait Bound 约束

符号 解释
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, etc. 元组索引

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

表 B-9: 大括号

符号 解释
{...} 块表达式
Type {...} struct 字面值

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

表 B-10: 方括号

符号 解释
[...] 数组
[expr; len] 复制了 lenexpr的数组
[type; len] 包含 lentype 类型的数组
expr[expr] 集合索引。重载(Index, IndexMut
expr[..], expr[a..], expr[..b], expr[a..b] 集合索引,使用 RangeRangeFromRangeToRangeFull 作为索引来代替集合 slice