Sovraccarico di modelli di funzioni nei namespace

Question

Perché questo non riesce a compilare con 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; 
} 

Deve avere qualcosa a che fare con lo spazio dei nomi di do_it. Quando rimuovo lo spazio dei nomi attorno ad esso, viene compilato.

Contesto: Sto creando un set di funzioni che possono essere utilizzate con molte classi di contenitori differenti. Per gestire le diverse interfacce in modo uniforme, utilizzo le funzioni freestanding che sono sovraccariche per ciascuna delle classi contenitore. Queste funzioni devono essere inserite in uno spazio dei nomi per evitare di ingombrare lo spazio dei nomi globale con loro.

Le definizioni per B devono essere pensate come provenienti da un file di intestazione diverso da quelli di A, quindi il riordino non è un'opzione.

Answer 1

Il motivo è che solo l'ADL viene eseguita al punto della chiamata. Altre ricerche di funzioni vengono eseguite solo nella definizione del modello di funzione myfun.

E in tale contesto di definizione, viene dichiarato solo il sovraccarico do_it che accetta lo A<int>.

Modifica: se si desidera avere un riferimento standard per questo, fare riferimento a [temp.dep.candidate] e [temp.res] p1.