函数模板
在函数前加template<typename T1,typename T2,typename T3....>，T1,T2,T3叫模板形参
函数形参中的类型必须涵盖所有模板形参，不然报错
此时dv1,dv2只要相同类型就可以Swap (dv1, dv2);
但如果dv1,dv2不同类型就需要显示转换 Swap <double> (dv1, dv2);，或者模板形参搞T1,T2
因为函数模板不会隐式转换实参。
函数模板特化
要针对某些特殊类型进行特殊处理，就用函数模板的特化
即在正常的函数模板后面，写一个空的template<>，然后写要特化的函数代码。如果类型匹配上了就会调用特化代码。
函数模板的重载：
• 定义名字相同而函数形参表不同的函数模板
• 或者定义与函数模板同名的非模板函数(正常函数)，在其函数体中完成不同的行为
函数调用的静态绑定规则（重载协议）：
（按顺序1，2，3优先级匹配）正常函数->模板->隐式转换正常函数
1. 如果正常函数的形参类型完全匹配（不隐式转换），则优先调用该正常函数。
2. 如果从函数模板实例化一个函数实例能匹配，则调用该函数模板的实例函数。
ps：首先匹配函数模板的特化，再匹配函数模板的主体
3. 对调用的实参进行隐式转换后与正常函数再次匹配，若能匹配上则调用，否则编译错误
类模板
功能：为类声明一种模板，使得类中的某些数据成员、某些成员函数的参数、某些成员函数的返回值，可以是任意类型（包括基本类型和用户自定义类型）
注意：类模板是一个通用模型，不能用于创建对象，只有经过实例化后才能得到具体类用于创建对象。
实现：
即在模板类外补全成员函数实现时，也要在成员函数前加template<模板形参表>，且函数名前缀是类模板名<模板形参列表>::
类模板的实例化
对Stack类模板进行实例化
形式：类模板名 < 模板实参表 > 对象名
模板实参通常是一个实际类型，如int，double，一个类模板可以实例化为多个不同的具体类
非类型模板形参
指的是int N这种，形式上类似于普通函数的形参。它在模板内部相当于常量
实例化时，非类型模板形参对应的实参必须时常量表达式
例如
