命名空间范围的模板函数在另一个命名空间中可见

Question

我遇到了一个奇怪的命名空间范围行为（使用g ++ 4.8.2）。 为了解释这个问题，我提取了一个重现这种奇怪行为的最小代码：

namespace Weird {
  template <typename T>
    struct Rec
    {
      T val;
      Rec( T const& _val ) : val( _val ) {}
    };

  template <typename T>
    Rec<T>
    foo( Rec<T> const& r )
    {
      return Rec<T>( r.val * 2 );
    }

};

Weird::Rec<double>
bar( Weird::Rec<double> const& _input )
{
  return foo( _input );
}

在这段代码中，我希望G ++抱怨“foo”没有被定义在“bar”的范围内，事实并非如此;代码编译得很好。

所以我有点困惑。 g ++是错误的（命名空间泄漏）？或者如果没有，根据哪种机制“foo”在“bar”中变得可见？

Answer 1

那是argument-dependent lookup（ADL），也称为Koenig查找。

简而言之，使用运算符或未加修饰的函数调用将在操作数或参数的封闭名称空间中找到名称。