泛型编程、函数模板、类模板

1.泛型编程

编写与类型无关的通用代码作为模板。接下来将介绍函数模板和类模板两种

2.函数模板

2.1是什么

函数模板代表的是一个函数的家族，该函数模板与类型无关，在使用时被参数化，根据实参产生的特定的模板函数
模板函数是函数模板的一次实例化

2.2函数模板格式

template < typename T1, typename T2, … typename Tn>
返回值类型 函数名(参数列表){}
typename是用来定义模板参数的关键字，也可以使用class代替(不能使用struct)

2.3函数模板的原理

在编译阶段，对于函数模板的使用，编译器需要根据传入的实参类型来推演生成对应的函数以供调用。
比如，对于上面的Add函数，当用int类型使用模板时，编译器通过对实参类型的推演，将T定位int型，然后生成一份专门处理int类型的代码

2.4函数模板实例化

用不同的类型参数使用函数模板时，称为函数模板的实例化。函数模板的实例化分为：隐式实例化和显示实例化

1.隐式实例化：让编译器根据实参推演模板参数的实际类型

2.显式实例化：在函数名的<>中指定模板参数的实际类型

2.5模板参数的匹配原则

1.一个非模板函数可以和一个同名的函数同时存在，而且该函数的模板还可以被实例化为这个非模板函数

2.对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生一个实例
如果模板可以产生一个具有更好匹配的函数，那么将选择模板

3.函数模板不允许自动类型转换，但普通函数可以进行自动类型转换

3.类模板

3.1类模板的定义格式

template < class T1,class T2,…CLASS Tn >
class 类模板名
{
//类内成员定义
}；

3.2类模板用法