C++模板（函数模板与模板函数）

问题来源：

定义相同功能，但是参数类型不同的函数需要为每种类型都定义函数，代码量大大增加。
如定义两个整数之和：

int fun1(int a,int b);

定义两个浮点数之和：

float fun2(float a,float b);

定义两个double类型数之和：

double fun3(double a,double b);

如图所示：

函数模板：
定义一个通用的函数模板，而不是为每个类型都定义一个新函数。一个函数模板就是一个公式，可用来生成针对特定类型的函数版本。
模板函数：
由函数模板实现的某种类型的函数。

模板定义以关键字template开始，后跟一个函数参数列表。这是一个逗号分隔的一个或者多个模板参数的列表。
注：在模板定义中，模板参数列表不能为空
关键字：template typename class

实例化函数模板

在使用模板时，我们（隐式或者显式）指定模板实参，将其绑定到模板参数上。
编译器用推断出的模板参数来为我们实例化一个特定版本的函数。针对不用的模板参数，会实例化不同的函数，这被称为模板的实例。
比如计算两个数的和，写成模板的形式：

//函数模板
template<typename T>
T fun1(T a, T b)
{
    return a + b;
}

则调用期间代码如下：

fun1<int>(1,2)   //初始化为int fun1(int a,int b)
fun1<double>(3.3,5.5)  //初始化为double fun1(double a,double b)

模板类型参数

模板类型参数用typename 或者class 来定义；
类型参数可以用来指定返回类型或函数的参数类型。
比如上述计算两个数的和

非类型模板参数

除了定义类型参数之外，还可以在模板中定义非类型参数。一个非类型参数可以表示一个值而非一个类型。我们通过一个特定的类型名而非关键字class 或者typename来指定非类型参数。

template<typename T, int n>
T fun3(T a)
{
    return a * n;
}

调用代码：

fun3<int,4>(1)
fun3<double,4>(1.1)

注意：非类型模板参数的模板实参必须是常量表达式
在《C++primer》中第580页看到说：一个非类型参数可以是一个整型，或者是一个指向对象或者函数类型的指针或（左值）引用。