Шаблоны функций перегрузки в пространствах имен

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.