在名称空间中重载函数模板

Question

为什么在GCC 4.4中无法编译？

template<typename T> 
class A { 
public: 
    void foo() { 

    } 

private: 
    T x; 
}; 

namespace Ns { 
template<typename T> 
void do_it (A<T> a) { 
    a.foo(); 
} 
}; 

template<typename T> 
void myfun (T x) { 
    Ns::do_it (x); 
} 

template<typename T> 
class B { 
public: 
    void bar() { 

    } 

private: 
    T x; 
}; 

namespace Ns { 
template<typename T> 
void do_it (B<T> b) { 
    b.bar(); 
} 
}; 

int main() { 
    A<int> a; 
    B<int> b; 

    myfun (a); 
    myfun (b); // error: no matching function call to do_it(B<int>&) 

    return 0; 
} 

它必须与do_it的命名空间有关。当我删除它周围的命名空间时，它会编译。

背景：我正在构建一组可用于许多不同容器类的函数。为了统一处理不同的接口，我使用每个容器类都重载的独立函数。这些函数应放入一个名称空间以避免使用它们混淆全局名称空间。

B的定义应该被认为是来自不同的头文件而不是A的定义，所以重新排序不是一个选项。

Answer 1

原因是只有ADL在通话时完成。其他函数查找仅在myfun函数模板的定义中完成。

并且在该定义上下文中，仅声明do_it超载接受A<int>。

编辑：如果您想为此设置标准参考，请参阅[temp.dep.candidate]和[temp.res] p1。