使用命名空间导致名称隐藏吗？

Question

请考虑以下代码:

namespace C {
    class X {};
}

namespace A {
    class X {};

    namespace B {
        using namespace C;

        X x;
    }
}

我期待的类型x是C::X由于using namespace指令,而是既VS2010和在线LLVM/Clang的编译器解决X了命名空间内B是A::X.使用using声明(using C::X)更改using指令,然后它会C::X按预期解析.

标准说明使用指令[7.3.4.2]:

using-directive指定指定命名空间中的名称可以在using-directive出现在using-directive之后的范围内使用.在非限定名称查找(3.4.1)期间,名称看起来好像是在最近的封闭命名空间中声明的,其中包含using-directive和指定的命名空间.

我对此的解读是,C::X应该看起来好像在命名空间中声明B,有效地隐藏A::X.标准的哪个部分是在使用指令和使用声明之间的这种不一致的背后？有没有办法通过using指令隐藏外部作用域的名称？

Answer 1

关于using指令的章节似乎在某种程度上清楚地表明您正在看到预期的行为:

7.3.4p2 using-directive指定指定命名空间中的名称可以在using-directive出现在using-directive之后的范围内使用.在不合格的名称查找(3.4.1),名字看起来好像他们在其中包含了最近的封闭命名空间被宣布双方将using指令,而指定的命名空间.

7.3.4p3 using-directive不会将任何成员添加到它出现的声明区域.

也就是说,using-directive将命名空间的成员添加到指令的公共命名空间祖先和使用的命名空间的查找集中,而不是直接添加到使用using-directive的范围.这在第二个引用中明确说明:它不会将任何成员添加到using-directive的声明区域.

后来有一个例子用于说明其他内容,但实际上显示了这一点:

7.3.4p4 [...]另一个例子

namespace A {
  int i;
}
namespace B {
  int i;
  int j;
  namespace C {
    namespace D {
      using namespace A;
      int j;
      int k;
      int a = i; // B::i hides A::i
    }

最后一个示例用于阐明传递性(并包含更多代码),但实际上,一旦删除了额外的代码,它就等同于您的代码.

所以看起来在你的情况下,using-directive不是隐藏,而是隐藏.