名称

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

声明是一种语法构造，可以引入一个名称来引用实体。实体名称在其作用域内有效——作用域是源文本中可以引用该名称的区域。

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

路径用于引用实体，可能位于其他模块或类型中。

生命周期和循环标签使用专用语法，以引号开头。

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

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

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

显式声明的实体

在源代码中显式引入名称的实体包括：

• 程序项：
  • 模块声明
  • 外部 crate 声明
  • use 声明
  • 函数声明和函数参数
  • 类型别名
  • struct、union、enum、enum 变体声明及其命名字段
  • 常量项声明
  • 静态项声明
  • trait 项声明及其关联项
  • 外部块项
  • macro_rules 声明和匹配器元变量
  • 实现关联项

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

• 泛型参数

• 高阶 trait 约束

• let 语句模式绑定

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

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

此外，宏调用和属性可以通过展开为上述某一项来引入名称。

隐式声明的实体

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

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

• 内置属性

• 标准库预导入项、属性和宏

• 根模块中的标准库 crate

• 编译器链接的外部 crate

• 工具属性

• lint和工具 lint 属性

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

• 'static 生命周期

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