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

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

Answer 2

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

首先，如果不提供像read1<Foo>(f1) 这样的显式模板参数，您将永远无法调用此函数。阅读SFINAE。

其次，编译器应该如何找出T是什么？它必须测试您可能编写的所有可能类的所有嵌套类型定义。听起来不可能？是的。