C++模板初步介绍

泛型编程

比如要实现一个通用的交换函数

可以使用函数重载，但是函数重载有如下缺点：

1.重载的函数仅仅是类型不同，代码复用率较低，有新类型出现时，需要编写新的代码

2.代码可维护性低，一个出错可能所有的重载都会出错

所以在C++中，存在这样一个模具，通过给这个模具中填充不同的材料（类型），来获得不同材料的铸件（即生成具体类型的代码）。

泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。

模板：分为 函数模板 和 类模板

函数模板

-函数模板概念

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

-函数模板格式

template<typename T1, typename T2, ... , typename Tn>

返回值类型 函数名(参数列表){ }

注：

typename是用来定义模板参数的关键字，也可以用class（但不能用struct）

-函数模板原理

函数模板本身是一个蓝图，不是函数，是编译器用来产生特定函数的模具。所以模板将本来该由程序员做的事情交给了编译器。

在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应的函数，以供调用。

-函数模板实例化

用不同的类型参数使用函数模板时，称为函数模板的实例化。

函数模板的实例化有两种类型：显示实例化 和 隐式实例化。

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

templete<class T>
T Add(const T& left, const T& right)
{
    return left+right;
}

int main()
{
    int a=10;
    double b=10.0;
    
    Add(a, b);

    return 0;
}

上述代码中的Add(a, b)是错误的，因为在模板中，编译器不会 进行类型转换，这个时候有两种解决方式：

-用户自己来强制转换，比如Add(a, (int)b)

-使用显示实例化，也就是作者接下来要介绍的一种方式

2.显示实例化

（即在函数名的后面的<>中指定函数模板的实际类型）

比如Add<int>(a, b)

如果类型不匹配，编译器会尝试隐式类型转化，如果无法转化编译器将会报错

-函数模板参数匹配规则

1.一个非模板函数，还有一个函数模板，两者若重名，则可以同时存在。而且该函数模板还可以被实例化为这个非模板函数。

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

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

类模板

-类模板定义格式

templete<class T1, class T2, ..., class Tn>
class 类模板名
{
    //类内成员定义
}

注：

模板类中的函数放在类外进行定义时，需要加模板参数列表（templete<typename T, ...>） 

-类模板实例化

类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名后面跟<>，然后将实例化的类型放在<>即可，类模板类型不是真正的类，而实例化的结果才是真正的类