命名空间

命名空间 是指已声明的名称的逻辑分组。基于名称所指代实体的种类，将名称分隔到不同的命名空间中。允许在不同的命名空间中有相同名称，且不发生冲突。

在一个命名空间内，名称按层次结构组织，每个层次结构都有其自己的命名实体集合。

有几个不同的命名空间，每个命名空间包含不同种类的实体。根据上下文，名称的使用将在不同的命名空间中查找该名称的声明，如名称解析章节所述。

以下是命名空间及其相应实体的列表：

类型命名空间
- 模块声明
- 外部 crate 声明
- 外部 crate 预定义条目
- 结构体、联合体、枚举类型、枚举类型变量声明
- Trait条目声明
- 类型别名
- 关联类型声明
- 内置类型：布尔、数字、文本
- 泛型类型参数
- Self 类型
- 工具属性模块
值命名空间
- 函数声明
- 常量声明
- 静态声明
- 结构体构造函数
- 枚举类型变量构造函数
- Self 构造函数
- 泛型常量参数
- 关联常量声明
- 关联函数声明
- 局部绑定 — let 、 if let 、 while let 、 for 、 match 条件、函数参数、闭包参数
- 被闭包捕获的变量
宏命名空间
生命周期命名空间
- 泛型生命周期参数
标签命名空间
- 循环标签
- 块标签

不同命名空间中重复的名称如何可以无歧义地使用的示例：

#![allow(unused)]
fn main() {
// Foo 在类型命名空间中引入了一个类型和在值命名空间中引入了一个构造函数。
struct Foo(u32);

// `Foo` 宏在宏命名空间中声明。
macro_rules! Foo {
    () => {};
}

// `Foo` 在 `f` 参数类型中引用了类型命名空间中的 `Foo` ， `'Foo` 引入了生命周期命名空间中的新生命周期。
fn example<'Foo>(f: Foo) {
    // `Foo` 引用了值命名空间中的 `Foo` 构造函数。
    let ctor = Foo;
    // `Foo` 引用了宏命名空间中的 `Foo` 宏。
    Foo!{}
    // `'Foo` 引入了标签命名空间中的一个标签。
    'Foo: loop {
        // `'Foo` 引用了 `'Foo` 生命周期参数，`Foo` 引用了类型命名空间。
        let x: &'Foo Foo;
        // `'Foo` 引用了该标签。
        break 'Foo;
    }
}
}