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

Question

考虑以下代码：

namespace C {
    class X {};
}

namespace A {
    class X {};

    namespace B {
        using namespace C;

        X x;
    }
}

由于 using namespace 指令，我原本期望 x 的类型为 C::X，但 VS2010 和在线 LLVM/Clang 编译器都可以解析命名空间B 中的X 为A::X。使用 using 声明 (using C::X) 更改 using 指令，然后它会按预期解析为 C::X。

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

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

我对此的理解是C::X 应该看起来好像在命名空间B 中声明，有效地隐藏A::X。使用指令和使用声明之间的这种不一致是标准的哪些部分背后的原因？有没有办法通过 using 指令从外部范围隐藏名称？

Answer 1

关于使用指令的章节似乎以某种方式清楚地表明您正在看到预期的行为：

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

7.3.4p3 using 指令不会将任何成员添加到它出现的声明区域。

即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 似乎没有隐藏，而是被隐藏了。