SYSU程设c++（第十四周）函数模板、类模板

函数模板

        在函数前加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这种，形式上类似于普通函数的形参。它在模板内部相当于常量

        实例化时，非类型模板形参对应的实参必须时常量表达式

         例如