C++变量引用歧义：为何直接用a与::a的编译结果不同？

先看第一段报错的代码：

#include <iostream>

namespace ns{
    int a = 10;
}

using namespace ns;
int a = 20;

int main(){
    std::cout << a;
}

编译时触发错误：

error: reference to 'a' is ambiguous

第二段修改后的代码可正常输出20：

#include <iostream>

namespace ns{
    int a = 10;
}

using namespace ns;
int a = 20;

int main(){
    std::cout << ::a;
}

差异的核心原因 #

• 当你写a时，编译器会按作用域从内到外查找：先检查main函数内部，找不到就向上查找全局作用域。但using namespace ns;会把ns命名空间里的所有名字导入到全局作用域中，此时全局作用域里同时存在两个a：一个是你直接定义的int a=20，另一个是从ns导入的ns::a。编译器无法判断你要引用哪一个，因此报歧义错误。
• ::a中的::是全局作用域解析符，它强制编译器只在全局作用域的直接成员里查找a，完全忽略通过using namespace导入的命名空间成员。这时候编译器只会匹配到你直接定义的int a=20，因此不会有歧义，能正常编译并输出20。

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