附录 B:运算符与符号

appendix-02-operators.md
commit 1fedfc4b96c2017f64ecfcf41a0a07e2e815f24f

该附录包含了 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 展示了出现在从模块结构到项的路径上下文中的符号

表 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宏捕获
$(…)…宏重复

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

表 B-7: 注释

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

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

表 B-8: 元组

符号解释
()空元组(亦称单元),即是字面值也是类型
(expr)括号表达式
(expr,)单一元素元组表达式
(type,)单一元素元组类型
(expr, ...)元组表达式
(type, ...)元组类型
expr(expr, ...)函数调用表达式;也用于初始化元组结构体 struct 以及元组枚举 enum 变体
ident!(...), ident!{...}, ident![...]宏调用
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