C++中嵌套在具名命名空间内的匿名命名空间成员能否在全局作用域定义

无法直接通过void A::foo(){}的形式，在全局命名空间作用域完成该嵌套在具名空间内的匿名命名空间所声明函数的外部定义，这种写法从C++语言规则层面就是不成立的。

• 每个翻译单元中的匿名命名空间，会被编译器自动分配一个全局唯一、用户不可见的内部标识符，用来保证其内部符号的链接性局限在当前翻译单元内。
• 你在A内部匿名命名空间中声明的foo()，实际的完整限定名是A::<编译器生成的匿名ID>::foo()，它不属于A的直接作用域成员，和你写的A::foo()是两个完全不同的符号。
• 当你在全局作用域写void A::foo(){}时，编译器只会在A的直接作用域下查找foo的前置声明，找不到匹配项时，就会抛出你遇到的“void A::foo()应该在A内部完成声明”的编译错误。
• 因为匿名命名空间的内部ID是编译器自动生成的，开发者无法手写这个完整限定名，自然也没法在全局作用域通过域解析符直接定位到这个函数写定义。

如果一定要把函数定义写在全局作用域、不直接和前置声明放在同一个嵌套块里，只需要在定义位置重新打开和声明时一致的命名空间层级，重新切入对应的匿名命名空间作用域即可：

namespace A{
    namespace{
        void foo(); // 原有前置声明
    }
}

// 以下代码全部处于全局作用域
namespace A{
    namespace{ // 同一翻译单元内，此匿名块与之前声明foo的匿名块为同一个实体
        void foo(){} // 此处写函数定义，完全符合语言规则
    }
}

这种写法利用了匿名命名空间的核心特性：同一翻译单元内的所有匿名命名空间块，都会被编译器合并为同一个实体，因此编译器会正确匹配之前的前置声明，既不会报找不到符号的错误，也不会产生额外的链接冲突。

内容的提问来源于stack exchange，提问作者Itachi Uchiwa