C++命名空间作用域规则：命名与无名命名空间行为差异疑问

你对基础命名空间作用域规则的理解没有错误，出现该现象的核心是你忽略了无名命名空间独有的特殊规则：

• 无名命名空间定义完成后，编译器会自动在其封闭的外层命名空间（你示例中就是全局命名空间）插入一条隐式的using指令，指向该无名命名空间。

结合你引用的ISO 2020 6.4.6节规则就能完全解释示例中的差异：

命名空间成员名的潜在作用域包括从该名称的声明点开始的整个所属命名空间范围；对于每个引用该成员所属命名空间的using指令，该成员的潜在作用域还包含using指令的潜在作用域中处于该成员声明点之后的部分。

• 对于有名命名空间A的成员a：没有任何针对A的using指令存在，所以a的潜在作用域仅局限在A的命名空间体内部，全局作用域无法直接访问，必须写A::a才能正确引用，因此编译器报a未定义完全符合规则。
• 对于无名命名空间的成员b：因为存在编译器自动插入的全局作用域下的隐式using指令，所以b的潜在作用域会拓展到全局作用域中b声明点之后的所有区域，你可以在main函数中直接访问b。

你查到的Cppreference的描述本质是对该特殊规则的简化表述：无名命名空间中声明的名称，潜在作用域和直接声明在外层封闭命名空间的名称基本一致，唯一区别是无名命名空间的成员默认拥有内部链接，不会和其他翻译单元的同名符号产生冲突。

另外补充：示例中void main()的写法不符合C++标准要求，main函数的返回值必须为int，该写法仅为部分编译器支持的非标准扩展。

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