第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

include

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).使用时编译器自动选择特化类

b.函数模板只能完全特化，不支持部分特化