编程语言
981
下面的列表包含 Rust 中正在使用或者以后会用到的关键字。因此，这些关键字不能被用作标识符（除了 原始标识符），这包括函数、变量、参数、结构体字段、模块、crate、常量、宏、静态值、属性、类型、trait 或生命周期 的名字。
目前正在使用的关键字
如下关键字目前有对应其描述的功能。
-
as- 强制类型转换，消除特定包含项的 trait 的歧义，或者对use和extern crate语句中的项重命名 -
break- 立刻退出循环 -
const- 定义常量或不变裸指针（constant raw pointer） -
continue- 继续进入下一次循环迭代 -
crate- 链接（link）一个外部 crate 或一个代表宏定义的 crate 的宏变量 -
dyn- 动态分发 trait 对象 -
else- 作为if和if let控制流结构的 fallback -
enum- 定义一个枚举 -
extern- 链接一个外部 crate 、函数或变量 -
false- 布尔字面值false -
fn- 定义一个函数或 函数指针类型 (function pointer type) -
for- 遍历一个迭代器或实现一个 trait 或者指定一个更高级的生命周期 -
if- 基于条件表达式的结果分支 -
impl- 实现自有或 trait 功能 -
in-for循环语法的一部分 -
let- 绑定一个变量 -
loop- 无条件循环 -
match- 模式匹配 -
mod- 定义一个模块 -
move- 使闭包获取其所捕获项的所有权 -
mut- 表示引用、裸指针或模式绑定的可变性性 -
pub- 表示结构体字段、impl块或模块的公有可见性 -
ref- 通过引用绑定 -
return- 从函数中返回 -
Self- 实现 trait 的类型的类型别名 -
self- 表示方法本身或当前模块 -
static- 表示全局变量或在整个程序执行期间保持其生命周期 -
struct- 定义一个结构体 -
super- 表示当前模块的父模块 -
trait- 定义一个 trait -
true- 布尔字面值true -
type- 定义一个类型别名或关联类型 -
unsafe- 表示不安全的代码、函数、trait 或实现 -
use- 引入外部空间的符号 -
where- 表示一个约束类型的从句 -
while- 基于一个表达式的结果判断是否进行循环
保留做将来使用的关键字
如下关键字没有任何功能，不过由 Rust 保留以备将来的应用。
abstractasyncbecomeboxdofinalmacrooverrideprivtrytypeofunsizedvirtualyield
原始标识符
原始标识符（Raw identifiers）允许你使用通常不能使用的关键字，其带有 r# 前缀。
例如，match 是关键字。如果尝试编译这个函数：
fn match(needle: &str, haystack: &str) -> bool { haystack.contains(needle) }
会得到这个错误：
error: expected identifier, found keyword `match` --> src/main.rs:4:4 | 4 | fn match(needle: &str, haystack: &str) -> bool { | ^^^^^ expected identifier, found keyword
该错误表示你不能将关键字match用作函数标识符。 你可以使用原始标识符将match作为函数名称使用：
fn r#match(needle: &str, haystack: &str) -> bool { haystack.contains(needle) } fn main() { assert!(r#match("foo", "foobar")); }
此代码编译没有任何错误。注意 r# 前缀需同时用于函数名和调用。
原始标识符允许使用你选择的任何单词作为标识符，即使该单词恰好是保留关键字。 此外，原始标识符允许你使用以不同于你的crate使用的Rust版本编写的库。比如，try 在 2015 edition 中不是关键字，而在 2018 edition 则是。所以如果如果用 2015 edition 编写的库中带有 try 函数，在 2018 edition 中调用时就需要使用原始标识符。有关版本的更多信息，请参见附录E.
