trpl-zh-cn/src/appendix-02-operators.md

附录B - 运算符与符号

appendix-02-operators.md
commit d50521fc08e51892cdf1edf5e35f3847a42f9432

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

运算符

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

表 B-1: 运算符

运算符	示例	解释	是否可重载
!	ident!(...), ident!{...}, ident![...]	宏扩展
!	!expr	按位非或逻辑非	Not
!=	var != 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	解引用
*	*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	右排除范围
..	..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 => 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	逻辑或
?	expr?	错误传播

非运算符符号

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

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

表 B-2：独立语法

符号	解释
'ident	命名生命周期或循环标签
...u8, ...i32, ...f64, ...usize, 等	指定类型的数值常量
"..."	字符串常量
r"...", r#"..."#, r##"..."##, etc.	原生字符串常量, 未处理的遗漏字符
b"..."	字节字符串; 构造一个 [u8] 类型而非字符串
br"...", br#"..."#, br##"..."##, 等	原生字节字符串常量，原生字节和字节结合的字符串
'...'	字符常量
b'...'	ASCII码字节常量
|...| expr	结束
!	对一个离散函数来说最后总是空类型
_	“忽略”模式绑定， 也用于整数常量的可读性

表 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>）

Table 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	复合类型限制

Table B-6 展示了在调用或定义宏以及在其上指定属性时的上下文中出现的符号。

表 B-6: 宏与属性

符号	解释
#[meta]	外部属性
#![meta]	内部属性
$ident	宏替换
$ident:kind	宏捕获
$(…)…	宏重复

表 B-7 展示了写注释的符号。

表 B-7: 注释

符号	注释
//	行注释
//!	内部行文档注释
///	外部行文档注释
/*...*/	块注释
/*!...*/	内部块文档注释
/**...*/	外部块文档注释

表 B-8 展示了出现在使用元组时上下文中的符号。

符号	解释
()	空元祖（亦称单元）， 用于常量或类型中
(expr)	括号表达式
(expr,)	单一元素元组表达式
(type,)	单一元素元组类型
(expr, ...)	元组表达式
(type, ...)	元组类型
expr(expr, ...)	函数调用表达式； 也用于初始化元组结构体 struct 以及元组枚举 enum 变体
ident!(...), ident!{...}, ident![...]	宏调用
expr.0, expr.1, etc.	元组索引

表 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 作为索引来代替集合切片