命名空间

原理

符号表与名称查找

编译器为每个命名空间维护独立的符号表子表。当遇到 A::foo，编译器直接在命名空间 A 的符号表中查找，跳过常规的从内到外的名称查找流程。当使用非限定名时，编译器从当前作用域逐级向外搜索。

命名空间本质上是符号名称的前缀编码——在二进制层面不存在”命名空间结构”。这一点通过 Name Mangling 可以得到验证。

Name Mangling

C++ 的函数重载依赖 Name Mangling 机制。编译器将函数”自然名称”与类型信息（参数类型、所属命名空间、类名）编码为唯一的链接器符号。

以 Itanium C++ ABI（GCC/Clang 使用）为例：

源代码: void Outer::Inner::func(int)
Mangled: _ZN5Outer5Inner4funcEi

_Z          → C++ 符号前缀
N           → 嵌套名称开始
  5Outer    → 5个字符 "Outer"
  5Inner    → 5个字符 "Inner"
  4func     → 4个字符 "func"
  E         → 嵌套名称结束
  i         → 参数类型 int

基本类型编码：v=void, i=int, f=float, d=double, c=char, b=bool, P=指针前缀, R=引用前缀。

不同的 Name Mangling 方案导致不同编译器之间 ABI 不兼容。通过 nm -C 可以 demangle 符号查看原始名称。

ADL（Argument-Dependent Lookup）

当调用函数且实参类型属于某命名空间时，编译器自动在该命名空间中搜索函数：

namespace Graphics {
    class Point { int x, y; };
    void draw(const Point& p) { /* ... */ }
}
 
Graphics::Point pt(10, 20);
draw(pt);  // ADL 在 Graphics 中找到了 draw

std::cout << "hello" 之所以能工作，正是因为 ADL 在 std 命名空间中找到了 operator<<。

匿名命名空间的实现

匿名命名空间中的成员具有 internal linkage。编译器为其生成唯一的内部名称——GCC 通常使用包含随机字符串的标识符（如 _ZN12_GLOBAL__N_16secretE），确保不同编译单元中的同名符号不冲突。C++ 标准推荐使用匿名命名空间替代文件作用域的 static 声明。

inline namespace 与版本管理

inline namespace（C++11）中的成员可直接通过外层命名空间访问。在底层，inline namespace 被视为外层命名空间的直接部分——ADL 同样将其纳入搜索范围。主要用于库的 ABI 版本管理：切换 inline 关键字即可升级默认版本，无需修改调用代码。

语法

命名空间定义

namespace Math {
    const double PI = 3.141592653589793;
    int add(int a, int b) { return a + b; }
}
// 使用: Math::add(3, 5), Math::PI
 
// 命名空间是开放的——可以分片段定义
namespace Math {
    int multiply(int a, int b) { return a * b; }
}

嵌套命名空间（C++17 简化语法）

namespace Company::Project::Module {
    class Engine { void start(); };
}
// 等价于 namespace Company { namespace Project { namespace Module { ... } } }

匿名命名空间

namespace {
    int internal_counter = 0;    // 仅本编译单元可见
    void helperFunc() { ++internal_counter; }
}

内联命名空间（C++11）

namespace Library {
    inline namespace V2 {
        void process() { /* 新实现 */ }
    }
    namespace V1 {
        void process() { /* 旧实现 */ }
    }
}
Library::process();      // 调用 V2（inline）
Library::V1::process();  // 显式调用 V1

命名空间别名

namespace VeryLongCompanyName::SpecificProject::CoreModule {
    class Engine {};
}
namespace Core = VeryLongCompanyName::SpecificProject::CoreModule;
Core::Engine engine;

using 声明与 using 指令

using std::cout;        // using 声明：引入单个名称
using namespace std;    // using 指令：引入整个命名空间（头文件禁用）

using 声明受作用域限制，离开作用域即失效。using 指令将命名空间所有成员引入当前作用域——多个 using 指令同时存在时，同名标识符会产生歧义。

全局命名空间引用

int value = 100;
namespace N {
    int value = 200;
    void f() {
        int value = 300;
        ::value = 5;       // 全局的 value
        N::value = 10;     // N 中的 value
    }
}

实践

力扣题目：无命名空间专属练习题。但理解命名空间是阅读任何 C++ 标准库代码的前提——std::vector、std::sort、std::thread 全部存在于 std 命名空间中。

AI 自检：向 AI 描述以下场景，要求 AI 解释命名空间如何解决名称冲突。1) 两个第三方库都定义了 Vector 类；2) 写一个库需要同时提供新旧两个 API 版本；3) 在头文件中意外写了 using namespace std; 会带来什么后果。

建议先阅读：04_动态内存 — 理解堆内存与符号存储的关系；05_面向对象(一)类与对象基础 — 理解类成员的名称修饰。

RootStack

探索

01_命名空间