第59课.类模板的深度剖析
1.多参数类模板
类模板可以定义多个不同的类型参数
template < typename T1, typename T2 >
class Test
{
public:
void add(T1 a, T2 b);
};
Test<int, float> t;
2.类模板特化（即实现模板中的特殊情况）
a.类模板特化：指定类模板的特定实现
b.部分类型参数必须显示指定
c.根据类型参数分开实现类模板
类模板的特化类型
a.部分特化：用特定的规则约束类型参数
b.完全特化：完全显示指定类型参数（即明确的指出参数类型）
注：完全特化时，不需要泛指类型的声明
即：
template < > // 即可
eg：
#include <iostream>
#include <string>
using namespace std;
template < typename T1, typename T2>
class Test
{
public:
void add(T1 a, T2 b)
{
cout << "void add(T1 a, T2 b)" << endl;
cout << a + b << endl;
}
};
template <typename T1, typename T2>
class Test < T1*, T2* > // 部分特化
{
public:
void add(T1* a, T2* b)
{
cout << "void add(T1* a, T2* b)" << endl;
cout << *a + *b << endl;
}
};
template < typename T >
class Test <T, T> // 部分特化
{
public:
void add(T a, T b)
{
cout << "void add(T a, T b)" << endl;
cout << a + b << endl;
}
void print()
{
cout << "class Test < T, T >" << endl;
}
};
template <> // 完全特化时就不需要泛指类型到声明了
class Test <void*, void*> // 完全特化
{
public:
void add(void* a, void* b)
{
cout << "void add(void* a, void* b)" << endl;
cout << "Error to add void* param..." << endl;
}
};
int main()
{
Test<int, float> t1;
Test<long, long> t2;
Test<void*, void*> t3;
t1.add(1, 2.5);
t2.add(5, 5);
t2.print();
t3.add(NULL, NULL);
Test<int*, double*> t4;
int i = 1;
double b = 0.1;
t4.add(&i, &b);
return 0;
}
3.注意事项
a.特化只是类模板的分开实现（本质上是同一个类模板）
b.特化类模板的使用方式是统一的，必须显示指定每一个类型参数
4.类模板特化与重定义有区别吗？函数模板可以特化吗？
答案：
a.重定义和特化的不同
重定义
1).重定义的本质上是两个或多个类之间的关系
2).使用的时候需要考虑如何选择问题，到底使用哪个类中的函数
特化
1).本质上是同一个类模板（模板加特化分开实现而已）
2).使用时编译器自动选择特化类
