c++ - 具有类参数的函数从命名空间中泄漏？

Question

我在这里有一小段代码供您考虑，这让我很困惑。奇怪的是它可以在 Sun Studio 和 GCC 上编译，尽管我认为它不应该。

考虑一下:

namespace name
{
  class C
    {
      int a;
    };

  void f(C c);
  void g(int a);
}

int main(int argc, char** argv)
{
  name::C c;

  name::f(c); 
  f(c);  // <--- this compiles, strangely enough

  name::g(42);
  // g(42);  <--- this does not, as I expected
}

来自同一命名空间的类参数导致函数 f 从命名空间“泄漏”出来，并且可以在没有 name:: 的情况下访问。

有人对此有解释吗？肯定是我错了，而不是编译器错了。

Answer 1

它叫做 argument-dependent lookup (或 Koenig 查找)。简而言之，编译器会在作为参数类型命名空间的命名空间中查找函数。