using 指令——为什么会有这么奇怪的行为？

Question

我有这个示例代码

namespace ns1
{
    void foo(int)
    {
    }
}

namespace ns2
{
    void foo()
    {
    }
    void bar()
    {
        using namespace ::ns1;
        foo(42); // why compiler can't just call ns1::foo?
    }
}

而且编译时不会出错：

prog.cpp:16:9: error: too many arguments to function ‘void ns2::foo()’

我在 C++ 2003 标准中找到了这个错误的原因：

using 指令指定指定命名空间中的名称 可以在 using 指令出现的范围内使用 使用指令。在非限定名称查找 (3.4.1) 期间，名称 看起来好像它们是在最近的封闭命名空间中声明的 其中包含 using 指令和指定的命名空间。 [注：在此上下文中，“包含”是指“直接包含或 间接”。 ]

这个奇怪的规则有什么理由吗？为什么命名空间 ns1 中的名称不能直接出现在命名空间 ns2 中？

Answer 1

我相信这样做是为了减少冲突和意外。由using 指令带入作用域的名称是可见的，但直接包含在本地作用域中的任何内容都将优先于它。

如果你真的想在没有限定 ID 的情况下调用你的函数，你可以使用 using 声明让它可见：

namespace ns1 {
    void foo(int) { }
}

namespace ns2 {
    void foo() { }
    void bar() {
        using ::ns1::foo;
        foo(42); // No problem; calls ::ns1::foo.
    }
}

Answer 2

ns1::foo 被ns2::foo 的声明隐藏了

来自 N3337，§3.3.10/1 [basic.scope.hiding]

可以通过在嵌套声明区域或派生类 (10.2) 中显式声明相同名称来隐藏名称。

您引用的部分 (§7.3.4/2) 紧随其后

3 using-directive 不会将任何成员添加到它出现的声明区域。 [示例：

    namespace A {
      int i;
      namespace B {
        namespace C {
          int i;
        }
        using namespace A::B::C;
        void f1() {
          i = 5; // OK, C::i visible in B and hides A::i
        }
      }
      // more (irrelevant) stuff
    }

——结束示例]

在您的情况下，using-directive 将 ns1 中的名称引入它出现的共同祖先命名空间，以及 ns1 的名称，这意味着全局命名空间。它没有在ns2 中引入它们，所以ns2::foo 的声明隐藏了ns1::foo 的声明。

如果您想找到ns1::foo，请改用 using 声明。

void bar()
{
    using ::ns1::foo;
    foo(42);
}