名称

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

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

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

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

生命周期和循环标签使用专用语法，使用前导引号。

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

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

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

显式声明的实体

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

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

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

• 泛型参数

• 高阶 trait 约束

• let 语句 模式绑定

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

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

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

隐式声明的实体

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

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

• 内置属性

• 标准库 prelude 项、属性和宏

• 根模块中的标准库 crate

• 编译器链接的外部 crate

• 工具属性

• Lints 和 工具 lint 属性

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

• 'static 生命周期

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