第12章名称 on 编程那些事儿

01-命名空间

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

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

r[names.namespaces]

命名空间

r[names.namespaces.intro] 命名空间是已声明名称的逻辑分组。名称根据其所指实体的种类被分隔到不同的命名空间中。命名空间允许一个命名空间中出现的名称与另一命名空间中的同名不冲突。

存在若干不同的命名空间，各自包含不同种类的实体。对名称的使用会根据上下文在不同命名空间中查找该名称的声明，如名称解析一章所述。

02-作用域

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

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

r[names.scopes]

作用域

r[names.scopes.intro] 作用域是源文本中可以用该名称引用具名实体的区域。以下各节详细说明作用域规则与行为，它们取决于实体的种类及其声明位置。名称如何解析到实体的过程在名称解析一章中描述。更多关于用于运行析构器的“析构作用域”的信息，可见析构器一章。

r[names.scopes.items]

项作用域

r[names.scopes.items.module] 直接在模块中声明的项的名称，其作用域从模块开始延伸到模块结束。这些项也是模块的成员，可以通过从其模块出发的路径引用。

r[names.scopes.items.statement] 作为语句声明的项的名称，其作用域从该项语句所在块的开始延伸到该块的结束。

r[names.scopes.items.duplicate] 在同一模块或块内的同一命名空间中，引入与另一项重名的项是错误的。星号 glob 导入在处理重复名称与遮蔽方面有特殊行为，详见所链接章节。

03-Prelude

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

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

r[names.preludes]

Prelude

r[names.preludes.intro] prelude 是自动带入 crate 中每个模块作用域的一组名称集合。

这些 prelude 名称不是模块本身的一部分：它们在名称解析期间被隐式查询。例如，即便像 [Box] 这样的名称在每个模块中都处于作用域内，也不能用 self::Box 引用它，因为它不是当前模块的成员。

04-路径

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

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

r[paths]

路径

r[paths.intro] 路径（path）是由一个或多个路径段（path segment）组成的序列，各段之间以 :: 记号分隔。路径用于引用条目、值、类型、宏以及属性。

05-名称解析

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

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

r[names.resolution]

名称解析

r[names.resolution.intro] 名称解析（name resolution）是将路径及其他标识符与实体声明绑定的过程。名称按不同的命名空间划分，使得不同命名空间中的实体可以共用同一名称而不冲突。每个名称在一个作用域内有效——即源码中允许引用该名称的区域。对名称的访问还可能受其可见性限制。

名称解析在整个编译过程中分为三个阶段。第一阶段是展开期解析（expansion-time resolution），解析所有use 声明和宏调用。第二阶段是主解析（primary resolution），解析尚未解析且不依赖类型信息即可解析的所有名称。最后阶段是相对类型的解析（type-relative resolution），在类型信息可用后解析剩余名称。

06-可见性与私有性

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/visibility-and-privacy.html

r[vis]

可见性与私有性

r[vis.syntax]

Visibility ->
 `pub`
 | `pub` `(` `crate` `)`
 | `pub` `(` `self` `)`
 | `pub` `(` `super` `)`
 | `pub` `(` `in` SimplePath `)`

r[vis.intro] 这两个术语经常互换使用，它们试图传达的是对“这个项能在这个位置使用吗？”这一问题的回答。

第12章 名称 on 编程那些事儿

01-命名空间

命名空间

02-作用域

作用域

项作用域

03-Prelude

Prelude

04-路径

路径

05-名称解析

名称解析

06-可见性与私有性

可见性与私有性

第12章名称 on 编程那些事儿