C++模板

泛型编程

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

函数模板

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

template<typename T1,typename T2…>
返回值类型 函数名（参数列表）{}

注意：typename是用来定义模板参数的关键字，也可以使用class（但不能使用struct代替class)

函数模板是一个蓝图，它本身并不是函数，是编译器使用方式产生特定具体类型函数的模具。将本该我们做的重复的事交给编译器

在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如：double类型使用函数模板时，将T确定为double类

函数实例化

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

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

编译器需要推演器实参类型，将a1推演int，d1推演double，但函数模板只有一个T，因此无法确定两个类型

解决办法：
1.用户自己强制类型转换

2.使用显示类型转化

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

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

模板参数的匹配原则

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

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

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

类模板

类模板中函数放在类外进行定义时，需要加模板参数列表

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

非类型模板参数

模板参数分类类型形参与非类型形参
类型形参即：出现在模板参数列表中，跟在class或typename之类的参数类型名称
非类型形参：用一个常量作为类（函数）模板的一个参数，在类（函数）模板中可将该参数当成常量来使用

注意：
1.浮点数，类对象以及字符串是不允许作为非类型模板参数的
2.非类型的模板参数必须在编译期就能确定结果

模板的特化

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需特殊处理。

大多数情况下，模板可以做比较，但特殊情况如（指针),并没有比较里面的内容，比较的是指针的地址。

此时需要模板的特化：需要模板类的基础上，针对特殊类型所进行特殊化的实现方式。

模板特化分为函数模板特化和类模板特化

函数模板的特化

特化步骤
1.先有一个基础的函数模板
2.关键字template后面接一对空的尖括号<>
3.函数名后跟一对尖括号，尖括号中指定需要特化的类型
4.函数形参表：必须和模板函数的基础参数完全相同，如果不同编译器可能会报一些错

但一般为了实现简单，可以直接将该函数给出

类模板特化

全特化

全特化是将模板参数列表中所有参数都确定化

偏特化

偏特化：任何针对模板参数进一步进行条件限制设计的特化版本

偏特化不仅指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本

由上可知，如果直接比较的是日期类可以得到，但如果比较的是指针，会比较的是指针的地址，而不是，指针内容，将模板特化后得到正确答案（模板特化必须要有原模版）

模板分离编译

一个程序（项目）有若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将目标文件链接起来形成单一的可执行文件的过程称为分离编译模式

模板分离



可见程序并未输出答案

C/C++ :预编译->编译->汇编->链接
编译：对程序按照语言特性进行语法分析，错误检查生成汇编代码。
（头文件不参与编译，编译器对工程中的多个源文件是分开单独编译的）。
链接：将多个obj文件合并成一个，并处理没有解决的地址问题

模板的分离编译导致模板函数并未实例化，没生成具体函数，连接时报错

解决办法：将声明和定义放到 一个文件中.h

注意：1.template< typename T>与template< class T>一般情况下是通用的，但有个特例，就是当T是一个类，而这个类又有子类（假设名为innerClass）时，应该用template< typename>;

typename T::innerClass myInnerObject;这里的 typename 告诉编译器，T::innerClass 是一个类，程序要声明一个 T::innerClass 类的对象，而不是声明 T 的静态成员，而 typename 如果换成 class 则语法错误。