多参数类模板类模板可以定义任意多个不同的类型参数template < typename T1, typename T2 >class Test{public: void add(T1 a, T2 b);};==>Test<int float> t;类模板可以被特化指定类模板的特定实现部分类型参数必须显示指定根据类型参数分开实现类模板类模板的特化类型部分特化 - 用特定规则约束类型参数完全特化 - 完全显示指定类型参数template < typename T1, typename T2 >class Test{};部分特化 ==>template < typename T >class Test <T, T>{};完全特化 ==>template< >class Test <int , int >{}编程实验： 类模板的特化#include <iostream>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 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 < 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 < >class Test < void, void > // T1 == void* , T2 == void* 时{public: void add(void* a, void* b) { cout << “void add(void* a, void* b)” << endl; cout << “Error to add* 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 a = 1; double b = 0.1; t4.add(&a, &b); return 0;}输出：void add(T1 a, T2 b)3.5void add(T a, T b)10class Test < T, T >void add(void* a, void* b)Error to add* param…void add(T1* a, T2* b)1.1类模板特化注意事项特化只是模板的分开实现本质上是同一模板特化类模板的使用方式是统一的必须显示指定每一个类型参数问题：类模板特化与重定义有区别吗？函数模板可以特化吗？特化的深度分析重定义和特化不同重定义一个类模板和一个新类（或者两个类模板）使用的时候需要考虑如何选择的问题特化以统一的方式使用类模板和特化类编译器优先选择特化类 函数模板只支持类型参数的完全特化template < typename T > // 函数模板定义bool Equal(T a, T b){ return a == b;}template< > // 函数模板完全特化bool Equal<void*>(void* a, void* b){ return a == b;}编程实验： 特化的深入理解#include <iostream>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 < >class Test < void, void* > // T1 == void* , T2 == void* 时{public: void add(void* a, void* b) { cout << “void add(void* a, void* b)” << endl; cout << “Error to add* param…” << endl; }};/class Test_Void{public: void add(void a, void* b) { cout << “void add(void* a, void* b)” << endl; cout << “Error to add* param…” << endl; }};template<typename T>bool Equal(T a, T b){ cout << “bool Equal(T a, T b)” << endl; return a == b;}template< >bool Equal<double>(double a, double b){ const double delta = 0.00000000001; double r = a - b; cout << “bool Equal<double>(double a, double b)” << endl; return (-delta < r) && (r < delta);}bool Equal(double a, double b){ const double delta = 0.00000000001; double r = a - b; cout << “bool Equal(double a, double b)” << endl; return (-delta < r) && (r < delta);}int main(){ cout << Equal(1, 1) << endl; cout << Equal(0.1, 0.1) << endl; cout << Equal<>(0.1, 0.1) << endl; return 0;}输出：bool Equal(T a, T b)1bool Equal(double a, double b)1bool Equal<double>(double a, double b)1工程中的建议当需要重载函数模板时，优先考虑使用模板特化；当模板特化无法满足需求，再使用函数重载！小结类模板可以定义任意多个不同的类型参数类模板可以被部分特化和完全特化特化的本质是模板的分开实现函数模板只支持完全特化工程中使用模板特化代替类（函数）重定义以上内容参考狄泰软件学院系列课程，请大家保护原创！