名前空間の関数テンプレートのオーバーロード

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用

定義がそのように並べ替えのためのものとは異なるヘッダ・ファイルから来ると考えなければならないことは選択肢ではありません。

Answer 1

理由は、コールの時点でADLだけが実行されるためです。他の関数参照は、myfun関数テンプレートの定義でのみ行われます。

そして、その定義の文脈では、のうち、A<int>を受け入れる過負荷のみが宣言されています。

編集：あなたは、このための標準の参照を持つようにしたい場合は、[temp.dep.candidate]を参照し、[temp.res] P1。