第12章 名称

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/names.html

r[names]

名称

r[names.intro] 实体（entity）是可在源程序中以某种方式引用的语言构造，通常通过路径引用。实体包括类型、项、泛型参数、变量绑定、循环标签、生命周期、字段、属性以及lint。

声明（declaration）是可引入名称以引用实体的语法构造。实体名称在作用域内有效——即源文本中可引用该名称的区域。

一些实体在源代码中被显式声明，另一些则作为语言或编译器扩展的一部分被隐式声明。

路径用于引用实体，该实体可能位于另一模块或类型中。

生命周期与循环标签使用带有前导引号的专用语法。

名称被分隔到不同的命名空间中，允许不同命名空间中的实体共享同一名称而不冲突。

名称解析是将路径、标识符与标签绑定到实体声明的编译期过程。

对某些名称的访问可能因其可见性而受到限制。

r[names.explicit]

显式声明的实体

r[names.explicit.list] 在源代码中显式引入名称的实体有：

r[names.explicit.item-decl]

• 项：
  • 模块声明
  • 外部 crate 声明
  • use 声明
  • 函数声明与函数参数
  • 类型别名
  • 结构体、联合体、枚举、枚举变体声明及其具名字段
  • 常量项声明
  • 静态项声明
  • Trait 项声明及其关联项
  • 外部块项
  • macro_rules 声明与匹配器元变量
  • 实现中的关联项

r[names.explicit.expr]

• 表达式：
  • 闭包参数
  • while let 模式绑定
  • for 模式绑定
  • if let 模式绑定
  • match 模式绑定
  • 循环标签

r[names.explicit.generics]

• 泛型参数

r[names.explicit.higher-ranked-bounds]

• 高阶 trait 约束

r[names.explicit.binding]

• let 语句模式绑定

r[names.explicit.macro_use]

• macro_use 属性可从另一 crate 引入宏名称

r[names.explicit.macro_export]

• macro_export 属性可为该宏在 crate 根引入别名

r[names.explicit.macro-invocation] 此外，宏调用与属性可通过展开为上述项之一来引入名称。

r[names.implicit]

隐式声明的实体

r[names.implicit.list] 下列实体由语言隐式定义，或由编译器选项与扩展引入：

r[names.implicit.primitive-types]

• 语言 prelude：
  • 布尔类型 —— bool
  • 文本类型 —— char 与 str
  • 整数类型 —— i8、i16、i32、i64、i128、u8、u16、u32、u64、u128
  • 机器相关整数类型 —— usize 与 isize
  • 浮点类型 —— f32 与 f64

r[names.implicit.builtin-attributes]

• 内建属性

r[names.implicit.prelude]

• 标准库 prelude中的项、属性与宏

r[names.implicit.stdlib]

• 根模块中的标准库 crate

r[names.implicit.extern-prelude]

• 由编译器链接的外部 crate

r[names.implicit.tool-attributes]

• 工具属性

r[names.implicit.lints]

• Lint与工具 lint 属性

r[names.implicit.derive-helpers]

• 派生助手属性在项内有效，无需显式导入

r[names.implicit.lifetime-static]

• 'static 生命周期

r[names.implicit.root] 此外，crate 根模块没有名称，但可通过某些路径限定符或别名引用。