【C++】《C++ 17 入门经典》读书笔记 20 ---- 函数模板

函数模板本身不是函数定义，而是定义一系列函数的蓝图或处方。函数模板是参数化的定义，函数实例由一个或多个参数值来创建。

编译器使用函数模板时，在必要时去生成函数定义。从函数模板中生成的函数定义称为模板的一个实例或模板的实例化。

示例：

template<typename T> T larger(T a, T b);

函数模板的开头是关键字 template， 表示这是一个模板。其后是一对尖括号，里面包含一个或多个模板参数的列表。在本例中只有一个参数 T。T 通常用作参数名，因为大多数参数都是类型，但参数可以使用任何名称：my_type 和 Comparable 这样的名称都是有效的。

typename 是一个关键字， 它表示  T 是类型。因此，将 T 称为模板类型参数。这里也可以是 class 关键字，但我们喜欢使用 typename， 因为类型实参可以是基本类型，而不仅仅是类类型。

定义中是其他内容类似于普通的函数，但其中有参数 T。编译器会创建模板的实例，用指定的类型替换定义中的 T。在初始化时赋值给类型参数  T 的类型称为模板类型实参。

可以把模板放在源文件中，就像处理普通函数定义一样。也可以为函数模板指定原型。

在使用从模板中生成的实例之前，模板的原型或定义必须包含在源文件中。

template <typename T>
T larger (T a, T b)
{
    return a > b ? a : b;
}

---