命名空间

[names.namespaces.intro]

命名空间 是已声明的名称的逻辑分组。名称根据其所引用的实体的种类被分隔到不同的命名空间中。命名空间允许一个命名空间中的名称与另一个命名空间中的同名不冲突。

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

[names.namespaces.kinds]

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

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

展示不同命名空间中重叠名称如何可以被明确使用的例子

#![allow(unused)]
fn main() {
// Foo introduces a type in the type namespace and a constructor in the value
// namespace.
struct Foo(u32);

// The `Foo` macro is declared in the macro namespace.
macro_rules! Foo {
    () => {};
}

// `Foo` in the `f` parameter type refers to `Foo` in the type namespace.
// `'Foo` introduces a new lifetime in the lifetime namespace.
fn example<'Foo>(f: Foo) {
    // `Foo` refers to the `Foo` constructor in the value namespace.
    let ctor = Foo;
    // `Foo` refers to the `Foo` macro in the macro namespace.
    Foo!{}
    // `'Foo` introduces a label in the label namespace.
    'Foo: loop {
        // `'Foo` refers to the `'Foo` lifetime parameter, and `Foo`
        // refers to the type namespace.
        let x: &'Foo Foo;
        // `'Foo` refers to the label.
        break 'Foo;
    }
}
}

[names.namespaces.without]