Names

名称

keywords.md
commit: 77ab06c34e50e9cce04acf979a4402fa01ef48e9 本章译文最后维护日期：2024-06-15

*实体(entity)*是一种语言结构，在源程序中可以以某种方式被引用，通常是通过[路径(path)][paths]。实体包括类型、程序项、泛型参数、变量绑定、循环标签、生存期、字段、属性和各种lints。\

声明(declaration)是一种句法结构，它可以引入名称来引用实体。实体的名称在相关作用域(scope)内有效。作用域是指可以引用该名称的源码区域。

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

路径用于引用可能在其他的模块或类型内的实体。生存期和循环标签使用一个带有前导单引号的专用语法来表达。

名称被分隔成不同的命名空间，这样允许不同名称空间中的实体拥有相同的名称，且不会发生冲突。

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

对某些名称的访问可能会受到此名称的可见性的限制。

Explicitly declared entities

显式声明的实体

在源码中显式引入名称的实体有：

• 程序项:
  • 模块声明
  • 外部crate声明
  • Use声明
  • 函数声明 和 函数的参数
  • 类型别名
  • 结构体、联合体、枚举、枚举变体声明和它们的字段
  • 常量项声明
  • 静态项声明
  • trait项声明和它们的关联项
  • 外部块
  • macro_rules声明 和 匹配器元变量
  • 实现中的关联项
• 表达式:
  • 闭包的参数
  • while let 模式绑定
  • for 模式绑定
  • if let 模式绑定
  • match 模式绑定
  • 循环标签
• 泛型参数
• 高阶trait约束
• let语句中的模式绑定
• macro_use属性可以从其他 crate 里引入宏名称。
• macro_export属性可以为当前宏引入一个在当前 crate 的根模块下生效的别名

此外，宏调用和属性可以通过扩展源代码到上述程序项之一来引入名称。

Implicitly declared entities

隐式声明的实体

以下实体由语言隐式定义，或由编译器选项和编译器扩展引入：

• 语言预导入包:
  • 布尔型 — bool
  • 文本型 — char and str
  • 整型 — i8, i16, i32, i64, i128, u8, u16, u32, u64, u128
  • 和机器平台相关的整型 — usize and isize
  • 浮点型 — f32 and f64
• 内置属性
• 标准库预导入包里的程序项、属性和宏
• 在根模块下的标准库里的crate
• 通过编译器链接进的外部crate
• 工具类属性
• Lints 和 工具类lint属性
• 派生辅助属性无需显示引入，就在其程序项内有效
• 'static生存期标签

此外，crate 的根模块没有名称，但可以使用某些路径限定符或别名来引用。