C++之类模板深入学习的总结

一、类模板的深入学习：

1、类模板可以定义任意多个不同的类型参数（这一点和模板函数一样）

template ＜ typename T1， typenaem T2 ＞
class Test
｛
public：
   void add（T1 a， T2 b）；
｝
／／定义类对象时
Test

2、类模板可以被特化

指定类模板的特定实现

部分类参数必须显示指定

根据类型参数分开实现类模板

特化前：

template ＜ typename T1， typename T2 ＞
class Test
｛
 
｝；

特化后：

template ＜ typename T ＞
class Test ＜ T ， T ＞
｛
｝；

3、类模板的特化类型：

部分特化：用特定的规则约束类型参数

完全特化：完全显示指定类型参数

完全特化前：

template

完全特化后：

template ＜ ＞
class Test ＜ int， int＞
｛
｝；

代码实践：

＃include

输出结果：

root＠txp－virtual－machine：／home／txp＃ ．／a．out
void add（T1 a， T2 b）
3．5
void add（T a， T b）
10
class Test  ＜ T ， T ＞
void add（void＊ a， void＊ b）
error to add void＊ parm
void add（T1＊ a， T2＊ b）
1．1

4、类模板特化注意事项：

（1）特化只是模板的分开实现

本质上是同一个类模板

（2）特化类模板的使用方式是统一的

必须显示指定每一个类型参数

5、类模板特化与重定义有区别吗？函数模板可以特化吗？

（1）重定义和特化的不同：

重定义：

－－一个类模板和一个新类（或者两个类模板）

－－使用的时候需要考虑如何选择的问题

特化：

－－以统一的方式类使用类模板的特化类

－－编译器自动优先选择特化类

（2）函数模板只支持参数完全特化

函数模板特化前：

template ＜ typename T ＞
bool Equal（T a， T b）
｛
  return a＝＝b；
｝

函数模板完全特化后：

template ＜ ＞
bool Euqal

代码实践：

＃include

输出结果：

root＠txp－virtual－machine：／home／txp＃ ．／a．out
bool Equal（T a， T b）
1
bool Equal

注解：当需要重载函数模板时，优先考虑使用模板特化；当模板特化无法满足需求，再使用函数重载

二、总结：

类模板可以定义任意多个不同的类型参数

类模板可以被部分特化和完全特化

特化的本质是模板的分开实现

函数模板只支持完全特化

工程中使用模板特化代替类（函数）重定义

好了，今天的分享就到这里，如果文章中有错误或者不理解的地方，可以交流互动，一起进步。我是txp，下期见！

审核编辑：符乾江