C++模板类型定义作为模板函数参数

C++ template typedef as template function argument

本文关键字：函数 参数 定义 类型 C++      更新时间：2023-10-16

为什么编译器找不到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>&)’

Foo::Handle f1;    
read1(f1);

传递给 read1 的类型是 Handle<Foo> ，而不是 Foo。

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

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

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

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

相关文章：