C++基础16---函数模板、类模板

1 定义

函数模板不是一个实在的函数，编译器不能为其生成可执行代码。定义函数模板后只是一个对函数功能框架的描述，当它具体执行时，将根据传递的实际参数决定其功能。
c++中，模板分为函数模板和类模板两种。
函数模板用于生成函数。
类模板则是用于生成类。

2 函数模板

2.1 函数模板的通用写法

template <typename 类型参数1, typename类型参数2, ...>
返回值类型  模板名(形参表)
{
    函数体
}

其中的 typename 关键字也可以用 class 关键字替换，例如：

template <class 类型参数1, class 类型参数2, ...>

2.2 函数模板实例

#include <iostream>
using namespace std;

template<typename T>
T add(T a, T b)
{
    return a + b;
}

int main(){
    int res1 = add(5, 6); // 5, 6系统默认为int型，编译器能自动推断出函数模板形参T的类型为int型
    cout << res1 << endl; // 11
    double res2 = add(5.1, 6.2); // 5.1, 6.2系统默认为double型，编译器能自动推断出函数模板形参T的类型为double型
    cout << res2 << endl; // 11.3
//    int res3 = add(5.5, 6); 错误，两个实参类型不同无法推断函数模板的参数类型
}

T 是类型参数，代表类型。编译器由模板自动生成函数时，会用具体的类型名对模板中所有的类型参数进行替换，其他部分则原封不动地保留。同一个类型参数只能替换为同一种类型。编译器在编译到调用函数模板的语句时，会根据实参的类型判断该如何替换模板中的类型参数。

例如上面程序，当编译器执行到 int res1 = add(5, 6);时，发现实参5，6为int类型，因而用int类型替换add模板中的T类型参数，自动生成以下 add函数：

int add(int a, int b)
{
    return a + b;
}

同理，编译器在编译到double res2 = add(5.1, 6.2);时会用 double 替换 add 模板中的 T，自动生成以下 add函数：

double add(double a, double b)
{
    return a + b;
}

（1）模板的定义不会导致编译器生成代码，只有我们在调用这个函数模板时，使编译器为我们实例化一个特定版本的函数之后，编译器才会生成代码。
（2）编译器由模板自动生成函数的过程叫模板的实例化。由模板实例化而得到的函数称为模板函数。
（3）在某些编译器中，模板只有在被实例化时，编译器才会检查其语法正确性。如果程序中写了一个模板却没有用到，那么编译器不会报告这个模板中的语法错误。

2.3 多个不同类型参数的函数模板

#include <iostream>
using namespace std;

template<typename T1, typename T2>
T1 add(T1 a, T2 b)
{
    return a + b;
}

int main(){
    double res1 = add(5.5, 6); //根据5.5，6推断出T1为double型，T2为int型
    cout << res1 << endl; //11.5
    double res2 = add(6, 5.5); //根据6，5.5推断出T1为int型，T2为double型, 由于返回值为T1，即int型，因而返回结果为int型
    cout << res2 << endl; // 11
}

2.4 非类型参数的函数模板

（1）非类型参数的函数模板指的是在template<>中的参数为非类型参数，即日常使用的类型（int，double）。
（2）由于实例化函数模板是在编译的时候进行的，因而非类型参数的值在编译时就必须确定（只能为常量或常量表达式，不可为变量）。

#include <iostream>
using namespace std;

template<int a, int b>  //尖括号中为非类型模板参数
int add()
{
    return a + b;
}

int main(){
    int res1 = add<5, 6>(); //在尖括号中提供额外的信息，显示指定模板参数
    cout << res1 << endl; //11.5
    int a = 5;
//    int res2 = add<a, 6>(); 错误，非类型模板参数的值必须在编译时就已经确定，因为实例化函数模板是在编译的时候确定的
}

（3）当可以自行推断时，可以不在<>中给定非类型参数的具体值。

#include <iostream>
#include <string.h>
using namespace std;

template<unsigned l1, unsigned l2> //非类型模板参数
int strCompare(const char(&p1)[l1], const char(&p2)[l2])
{
    return strcmp(p1, p2);  //比较str1与str2，str1==str2返回0, str1 > str2返回正数，str1 < str2返回负数
}

int main(){
    int res1 = strCompare("test", "test2"); //根据字符串长度自动推断出l1与l2的值，可不指定<>
    cout << res1 << endl; //-50
    int res2 = strCompare<6, 5>("test1", "test"); //给定<>中的l1与l2的值，注意必须与字符串实际长度一致
    cout << res2 << endl; //49
}

2.5 类型参数与非类型参数混合使用的函数模板

类型参数与非类型参数混合使用的函数模板在使用时，<>中需注明类型参数的具体类型，以及非类型参数的常量值。当<>中类型参数的具体类型与实参类型不一致时，以<>中类型参数的具体类型为准。

#include <iostream>
using namespace std;

template<typename T, int a, int b>
int add(T c)
{
    return a + b + c;
}

int main(){
    int res1 = add<int, 5, 6>(4); // int与4类型一致
    cout << res1 << endl;  //15
    int res2 = add<int, 5, 6>(2.1); //系统以<>中的类型为准，将2.1转换为int型 2
    cout << res2 << endl; // 13

}