C++类模板的匹配规则

C++类模板的匹配规则
程序运行结果：
代码如下：
#include<iostream>
using namespace std;
template<class T,class U>//带有两个模板参数的类模板声明
class CTest
{
public:
void f()
{
cout<<"主模板"<<endl;
}
};
template<class U>//强调第一个模板参数是int类型的偏特化类型
class CTest<int,U>
{
public:
void f()
{
cout<<"T等于int"<<endl;
}
};
template<class T>//强调第二个模板参数是double类型的偏特化类型
class CTest<T,double>
{
public:
void f()
{
cout<<"U等于double"<<endl;
}
};
template<class T,class U>//强调第一个模板参数是指针类型的偏特化类型class CTest<T*,U>
{
public:
void f()
{
cout<<"使用了T*"<<endl;
}
};
template<class T,class U>//强调第二个模板参数是指针类型的偏特化类型
class CTest<T,U*>
{
public:
void f()
{
cout<<"使用了U*"<<endl;
}
};
template<class T,class U>//强调两个模板参数是指针类型的偏特化类型
class CTest<T*,U*>
{
public:
void f()
{
cout<<"使用了T*和U*"<<endl;
}
};
template<class T>//强调两个模板参数类型相同的偏特化类型
class CTest<T,T>
{
public:
void f()
{
cout<<"T等于U"<<endl;
}
};
int main()
{
//类模板的匹配规则遵循“特化程度最高”的模板。

具体说，模板参数最准确匹配的拥有最高的实例化优先权
CTest<float,int>ct1;
ct1.f();//主模板
CTest<int,float>ct2;
ct2.f();//T等于int
CTest<float,double>ct3;
ct3.f();//U等于double
CTest<float,float>ct4;
ct4.f();//T等于U
CTest<float*,float>ct5;
ct5.f();//使用了T*
CTest<float,float*>ct6;
ct6.f();//使用了U*
CTest<float*,int*>ct7;
ct7.f();//使用了T*和U* }。