第23章 命名空间与作用域

想象一下，一个大型公司里有好几个叫“张伟”的员工。为了区分他们，HR系统会使用“部门+工号”来唯一标识每个人，比如“研发部.张伟(1001)”和“市场部.张伟(2005)”。C++的命名空间（Namespace）就是这个“部门”，它把全局的代码区域划分成一个个独立的“部门”，防止不同“部门”里的同名标识符（函数、变量、类）发生冲突。

命名空间的基本语法

定义命名空间使用 namespace 关键字，其内的所有声明都在该命名空间的作用域内。

// 定义一个名为 Network 的命名空间
namespace Network {
    class Socket { /* ... */ };
    void connect(const char* ip);
    int timeout = 5000; // 毫秒
}

// 在另一个地方（甚至另一个文件）可以扩展同一个命名空间
namespace Network {
    void disconnect();
    enum Protocol { TCP, UDP };
}

使用命名空间内的成员，必须指明其所属的“路径”，最直接的方式是使用作用域解析运算符 `::`。

// 使用完全限定名
Network::Socket client_socket;
Network::connect("192.168.1.1");
int t = Network::timeout;

// 错误：找不到标识符
// connect("192.168.1.1");

命名空间的访问方式对比

除了每次都写冗长的完全限定名，C++提供了几种便捷的访问方式，但它们各有适用场景和风险。

作用域的全景图

理解命名空间，必须把它放在整个C++作用域体系里看。标识符的查找遵循从内到外的规则。

编译器查找一个名字时，会沿着这个链条向上搜索。如果使用了 `::` 从全局开始，则会跳过局部和类作用域，直接进入命名空间链。

int value = 100; // 全局命名空间

namespace Outer {
    int value = 200;
    namespace Inner {
        int value = 300;
        void printValue() {
            int value = 400;
            std::cout << value << "\n";          // 输出 400 (局部)
            std::cout << Inner::value << "\n";    // 输出 300 (Inner命名空间)
            std::cout << Outer::value << "\n";    // 输出 200 (Outer命名空间)
            std::cout << ::value << "\n";        // 输出 100 (全局命名空间)
        }
    }
}

匿名命名空间：现代的“文件静态”

当你希望一个标识符只在当前编译单元（.cpp文件）内可见，不被其他文件使用，C语言的做法是加 `static` 关键字。C++提供了更优雅的方式——匿名命名空间。

// 在 file1.cpp 中
namespace { // 匿名命名空间
    int helperFunction() { return 42; }
    const char* config = "default";
}

void publicAPI() {
    int x = helperFunction(); // 可访问
}

// 在 file2.cpp 中
extern void publicAPI(); // 可以链接
// int y = helperFunction(); // 链接错误！找不到 helperFunction

匿名命名空间内的所有内容都具有内部链接特性，效果等同于用 `static` 声明，但能用于类和模板等 `static` 不能应用的场景。现代C++工程中，应优先使用匿名命名空间而非文件静态 `static`。

内联命名空间 (C++11)

这是C++11引入的进阶特性，主要用于库的版本管理。内联命名空间中的成员会被视为其外层命名空间的一部分。

namespace MyLib {
    namespace v1 { // 旧版API
        void oldFunc();
    }
    inline namespace v2 { // 默认使用的新版API
        void newFunc();
    }
}

// 用户代码
MyLib::newFunc();    // 正确，v2被内联了
MyLib::v2::newFunc(); // 也正确，显式指定
MyLib::v1::oldFunc(); // 必须显式指定v1才能使用旧版

这样，库作者可以发布新版本（v2）作为默认，同时保留旧版本（v1）供需要兼容的代码使用。我在维护一个网络库时就用过这个特性平滑过渡API，用户无感知就升级到了新版本。