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>，而不是Foo。

模板不是继承。 Handle<Foo>是一个不属于Foo的独特类，因此没有Handle<Foo>::Handle。

Answer 2

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

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

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

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

2 个答案: