C++ 模板 typedef 作为模板函数参数

Question

为什么编译器找不到 read1 的匹配项？我看不出 read1 和 read2 之间的区别；嵌套的 typedef 模板是否有限制，例如 Foo 类中的模板？

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 的类型是 Handle<Foo> ，不是福。

模板不是继承。 Handle<Foo>是一个不同的类，不是 Foo，所以没有 Handle<Foo>::Handle .