全局和嵌套匿名命名空间中的歧义访问标识符

Question

以下代码：

namespace { constexpr int x = 1; }
namespace X { namespace { constexpr int x = 2; } }
using namespace X;

int main() {
  static_assert( ::x == 1 );
}

在 MSVC 中成功编译，它更喜欢第一个匿名命名空间来查找 ::x 而不是 X::(anonymous namespace)。

但是，由于选择不明确，GCC 和 Clang 都拒绝了该代码。演示：https://gcc.godbolt.org/z/zPEGzGar3

哪个编译器在这里？

Answer 1

在unnamed namespaces的这个参考中有一个类似的例子：

namespace {
    int i; // defines ::(unique)::i
}
void f() {
    i++;   // increments ::(unique)::i
}
 
namespace A {
    namespace {
        int i;        // A::(unique)::i
        int j;        // A::(unique)::j
    }
    void g() { i++; } // A::(unique)::i++
}
 
using namespace A; // introduces all names from A into global namespace
void h() {
    i++;    // error: ::(unique)::i and ::A::(unique)::i are both in scope
    A::i++; // ok, increments ::A::(unique)::i
    j++;    // ok, increments ::A::(unique)::j
}

据此，由于GCC和Clang选择不明确而拒绝代码应该是正确的。

命名空间提供了一种防止大型名称冲突的方法 项目。

在命名空间块内声明的符号被放置在命名范围内 这可以防止它们被误认为是同名符号 在其他范围内。

正如该解释所述，引入namespace 是为了避免或解决名称冲突。恕我直言，这些代码示例显然是在试图制造名称冲突。