模板

模板是C++中泛型编程的基础。一个模板就是一个创建类或函数的蓝图或者说公式。

模板定义以关键字template开始，后跟一个模板参数列表（template parameter list），这是一个逗号分隔的一个或多个模板参数（template parameter）的列表。

在模板定义中，模板参数列表不能为空。
模板参数表示在类或函数定义中用到的类型或值。当使用模板时，我们（隐式地或显示地）指定模板实参（template argument），将其绑定到模板参数上。

实例化函数模板
当我们调用一个函数模板时，编译器（通常）用函数实参来为我们推断模板实参。
编译器用推断出的模板参数来为我们实例化（instantiate）一个特定版本的函数。

模板类型参数
类型参数可以用来指定返回类型或函数的参数类型，以及在函数体内用于变量声明或类型转换。

模板非类型参数
除了定义类型参数，还可以在模板中定义非类型参数（nontype parameter）。一个非类型参数表示一个值而非一个类型。我们通过一个特定的类型名而非关键字class或typename来指定非类型参数。
当一个模板被实例化时，非类型参数被一个用户提供的或编译器推断出的值所代替。这些值必须是常量表达式，从而允许编译器在编译时实例化模板。

绑定到非类型整型参数的实参必须是一个常量表达式。绑定到指针或引用非类型参数的实参必须具有静态的生存期。我们不能用一个普通（非static）局部变量或动态对象作为指针或引用模板非类型参数的实参。

在模板定义内，模板非类型参数是一个常量值。

模板非类型参数的模板实参必须是常量表达式。

模板编译
当编译器遇到一个模板定义时，它并不生成代码。只有当我们实例化出模板的一个特定版本时，编译器才会生成代码。当我们使用（而不是定义）模板时，编译器才生成代码。
通常，当我们调用一个函数时，编译器只需要掌握函数的声明。类似的，当我们使用一个类类型的对象时，类定义必须是可用的，但成员函数的定义不必已经出现。因此，我们将类定义和函数声明放在头文件中，而普通函数和类的成员函数的定义放在源文件中。
模板则不同：为了生成一个实例化版本，编译器需要掌握函数模板或类模板成员函数的定义。因此，与非模板代码不同，模板的头文件通常既包括声明也包括定义。

函数模板和类模板成员函数的定义通常放在头文件中。

模板和头文件
模板包含两种名字：
1。那些不依赖于模板参数的名字
2。那些依赖于模板参数的名字
当使用模板时，所有不依赖于模板参数的名字都必须是可见的，这是由模板的提供者来保证的。而且，模板的提供者必须保证，当模板被实例化时，模板的定义，包括类模板的成员的定义，也必须是可见的。
用来实例化模板的所有函数、类型以及类型关联的运算符的声明都必须是可见的，这是由模板的用户来保证的。

保证传递给模板的实参支持模板所要求的操作，以及这些操作在模板中能正确工作，是调用者的责任。