Rust 程序设计语言
Rust 程序设计语言
  1. Rust 程序设计语言
  2. Rust 前言
  3. Rust 简介
  4. Rust 入门指南
    1. Rust 安装
    2. Rust Hello, World!
    3. Rust Hello, Cargo!
  5. Rust 写个猜数字游戏
  6. Rust 常见编程概念
    1. Rust 变量和可变性
    2. Rust 数据类型
    3. Rust 函数
    4. Rust 注释
    5. Rust 控制流
  7. Rust 认识所有权
    1. Rust 什么是所有权？
    2. Rust 引用与借用
    3. Rust Slice 类型
  8. Rust 使用结构体组织相关联的数据
    1. Rust 结构体的定义和实例化
    2. Rust 结构体示例程序
    3. Rust 方法语法
  9. Rust 枚举和模式匹配
    1. Rust 枚举的定义
    2. Rust match 控制流结构
    3. Rust if let 简洁控制流
  10. Rust 使用包、Crate 和模块管理不断增长的项目
    1. Rust 包和 Crate
    2. Rust 定义模块来控制作用域与私有性
    3. Rust 引用模块项目的路径
    4. Rust 使用 use 关键字将路径引入作用域
    5. Rust 将模块拆分成多个文件
  11. Rust 常见集合
    1. Rust 使用 Vector 储存列表
    2. Rust 使用字符串储存 UTF-8 编码的文本
    3. Rust 使用 Hash Map 储存键值对
  12. Rust 错误处理
    1. Rust 用 panic! 处理不可恢复的错误
    2. Rust 用 Result 处理可恢复的错误
    3. Rust 要不要 panic!
  13. Rust 泛型、Trait 和生命周期
    1. Rust 泛型数据类型
    2. Rust Trait：定义共同行为
    3. Rust 生命周期确保引用有效
  14. Rust 编写自动化测试
    1. Rust 如何编写测试
    2. Rust 控制测试如何运行
    3. Rust 测试的组织结构
  15. Rust 一个 I/O 项目：构建一个命令行程序
    1. Rust 接受命令行参数
    2. Rust 读取文件
    3. Rust 重构改进模块性和错误处理
    4. Rust 采用测试驱动开发完善库的功能
    5. Rust 处理环境变量
    6. Rust 将错误信息输出到标准错误而不是标准输出
  16. Rust 中的函数式语言功能：迭代器与闭包
    1. Rust 闭包：可以捕获环境的匿名函数
    2. Rust 使用迭代器处理元素序列
    3. Rust 改进之前的 I/O 项目
    4. Rust 性能对比：循环 VS 迭代器
  17. Rust 进一步认识 Cargo 和 Crates.io
    1. Rust 采用发布配置自定义构建
    2. Rust 将 crate 发布到 Crates.io
    3. Rust Cargo 工作空间
    4. Rust 使用 cargo install 从 Crates.io 安装二进制文件
    5. Rust Cargo 自定义扩展命令
  18. Rust 智能指针
    1. Rust 使用Box<T>指向堆上的数据
    2. Rust 通过 Deref trait 将智能指针当作常规引用处理
    3. Rust 使用 Drop Trait 运行清理代码
    4. Rust Rc<T> 引用计数智能指针
    5. Rust RefCell<T> 和内部可变性模式
    6. Rust 引用循环会导致内存泄漏
  19. Rust 无畏并发
    1. Rust 使用线程同时运行代码
    2. Rust 使用消息传递在线程间传送数据
    3. Rust 共享状态并发
    4. Rust 使用 Sync 和 Send trait 的可扩展并发
  20. Rust 的面向对象特性
    1. Rust 面向对象语言的特征
    2. Rust 顾及不同类型值的 trait 对象
    3. Rust 面向对象设计模式的实现
  21. Rust 模式与模式匹配
    1. Rust 所有可能会用到模式的位置
    2. Rust Refutability（可反驳性）: 模式是否会匹配失效
    3. Rust 所有的模式语法
  22. Rust 高级特征
    1. Rust 不安全 Rust
    2. Rust 高级 trait
    3. Rust 高级类型
    4. Rust 高级函数与闭包
    5. Rust 宏
  23. Rust 最后的项目: 构建多线程 web server
    1. Rust 构建单线程 web server
    2. Rust 将单线程 server 变为多线程 server
    3. Rust 优雅停机与清理
  24. Rust 附录
    1. Rust 附录 A：关键字
    2. Rust 附录 B：运算符与符号
    3. Rust 附录 C：可派生的 trait
    4. Rust 附录 D：实用开发工具
    5. Rust 附录 E：版本
    6. Rust 附录 F：本书译本
    7. Rust 附录 G：Rust 是如何开发的与 “Nightly Rust”
阅读(886) 书签 赞(0) 我要纠错

Rust 附录 B：运算符与符号

2023-03-22 15:16 更新
appendix-02-operators.md
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] 复制了 len个 expr的数组
[type; len] 包含 len个 type 类型的数组
expr[expr] 集合索引。 重载（Index, IndexMut）
expr[..], expr[a..], expr[..b], expr[a..b] 集合索引，使用 Range，RangeFrom，RangeTo 或 RangeFull 作为索引来代替集合 slice


以上内容是否对您有帮助：
← Rust 附录 A：关键字
Rust 附录 C：可派生的 trait →
在线笔记
App下载
App下载

扫描二维码

下载编程狮App

公众号
微信公众号

编程狮公众号