テンプレート関数の引数としてC++のテンプレートtypedef

Question

read1のコンパイラはなぜ一致しませんか？ read1とread2の違いはわかりません。 Fooクラスのようなネストされたtypedefテンプレートには制限がありますか？

template<typename T> 
class Handle{}; 

class Foo{ 
public: 
    typedef Handle<Foo> Handle; 
}; 


template<typename T> 
void read1(typename T::Handle){} 

template<typename T> 
void read2(Handle<T>){} 


int main(int argc, char** argv) 
{ 
    Foo::Handle f1;  
    read1(f1); 

    Foo::Handle f2; 
    read2(f2); 
} 

G ++コンパイラの出力、（G ++ 4.4.5）

g++ -c -I. main1.cpp 
main1.cpp: In function ‘int main(int, char**)’: 
main1.cpp:37: error: no matching function for call to ‘read1(Handle<Foo>&)’ 

Answer 1

Foo::Handle f1;  
read1(f1); 

read1に渡される型はFooではなくHandle<Foo>です。

テンプレートは継承されません。 Handle<Foo>はFooではない別のクラスであるため、Handle<Foo>::Handleはありません。

Answer 2

template<typename T> 
void read1(typename T::Handle) 
{ 
} 

まず、あなたはread1<Foo>(f1)のような明示的なテンプレートパラメータを提供せずに、この関数を呼び出すことができることはありません。 SFINAEにお読みください。

第2に、コンパイラはどのようにしてを見つけるのですか？Tは何ですか？おそらく書いた可能性のあるすべてのクラスのすべてのネストされたtypedefをテストする必要があります。不可能だと思う？そうです。