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); 

는 Handle<Foo>하지 푸이다.

템플릿은 상속되지 않습니다. Handle<Foo>은 푸 (Foo)가 아닌 별개의 클래스이므로 Handle<Foo>::Handle이 없습니다.

Answer 2

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

, 당신은 read1<Foo>(f1)처럼 명시 적으로 템플릿 매개 변수를 제공하지 않고이 함수를 호출 할 수 없을 것입니다. SFINAE에서 읽으십시오.

둘째로, 컴파일러는 어떻게 을 찾아야합니까? T은 무엇입니까? 당신이 쓰는 모든 가능한 클래스의 모든 중첩 된 typedef를 테스트해야 할 것입니다. 불가능한 것 같니? 그것은. 타입은 전달되는 READ1