C++ 第五弹模板
目录
1. 泛型编程
2. 模板：参数类型化
3. 模板分类
4. 在模板参数类表中：class 和 typename
5.模板参数列表：template
6. 模板的特化：对模板进行特殊化的处理
7. 分离编译
1. 泛型编程
2. 模板：参数类型化
3. 模板分类
3.1函数模板
1.概念
3.实例化
用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。
3.2类模板
3.2.1定义格式
template
class 类模板名
{
// 类内成员定义
}; 类模板中函数放在类外进行定义时，需要加模板参数列表
3.2.2实例化
类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类
当模板被调用时才会被编译，那么就会存在这样一种情况——相同地实例化可能出现在多个文件对象中。当两个或多个独立编译地源文件适用了相同地模板，并提供了相同地模板参数时，每个文件中就都会有该模板的一个实例。为了解决这种问题，我们可以控制显示实例化，用关键字extern显示的实例化声明
模板和重载
模板也是可以被重载的，只要没有二义性。像在C++库中，存在着大量的模板重载技术，或者是可变模板参数中，也存在着模板的重载。
1.对于一个调用，其候选函数是所有可行的实例化
2.可行函数按类型转换来排序。当然，可用于函数模板调用和的类型转换是非常有限的。
3.和普通函数一样，如果恰又一个函数比任何其他函数都更好的匹配，则选择此函数。
4.如果多个函数提供了同样好的匹配
1）优先选择非模板函数
2）没有非模板函数我选择更加特例化的模板
3）否则有二意性
4. 在模板参数类表中：class 和 typename
typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)
5.模板参数列表：template
5.1类型模板参数
T就是类型参数
5.2非类型模板参数
N 注意：不能是浮点类型、字符串、以及对象
整形，指针或者左值引用都是一个非类型模板参数。
当参数是一个函数模板实例的地址时，程序上下文必须满足：对于每个模板参数，能唯一确定其类型的值。
如果一个函数参数是一个指向模板类型参数的右值引用，则他可以被绑定到一个左值。
如果实参是一个左值，则推断出的模板实参类型将是一个左值引用，且函数将被参数将被实例化为一个普通左值引用参数。
6. 模板的特化：对模板进行特殊化的处理
6.1函数模板的特化
不太推荐，直接将该类型对应的函数直接给出
6.2类模板的特化
6.2.1全特化
特例化就是一个特殊的实例化——模板的实例化，所以，特例化仅仅是模板的一个实例化，不会影响函数匹配,并且，模板特例化一定要保证模板的之前的声明或者定义。如果不这样做——编译器不会报错，但是会有一些令人匪夷所思的地方。模板会由编译器实例化，而不是调用自己特例化版本——这种错误往往很难查找。所以，记住一个规则：特例化一个模板，一定要保证其在原模板的定义域中。
7. 分离编译
7.1什么是分离编译？
7.2模板不支持
7.3建议
某些函数需要将其一个或多个实参连同类型不变的传递给其他函数。这个过程就叫转发。
很形象，一个函数把数据原封不动的传递给另一个函数，就是转发。