第16章 模板与泛型编程

面向对象编程所依赖的多态性称为运行时多态性，泛型编程所依赖的多态性称为编译时多态性或参数式多态性。

模板形参可以是表示类型的类型形参，也可以是表示常量表达式的非类型形参。

与调用函数模板形成相比，使用类模板时，必须为模板形参显式指定实参。

模板形参由关键字class或typename后接说明符构成，这两个关键字具有相同的含义。

类型形参的实参的受限转换：
const转换：接受const引用或const指针的函数可以分别用非const对象的引用或指针来调用。如果函数接受非引用类型，形参类型和实参都忽略const。
数组或函数指针的转换：如果模板形参不是引用类型，则对数组或函数类型的实参应该用常规指针转换。当形参为引用时，数组不能转换为指针。

分别编译模型中，export关键字能够指明给定的定义可能会需要在其他文件中产生实例化。

调用类模板成员函数比调用类似函数模板更灵活。

当授予对给定模板的所有实例的访问权的时候，在作用域中不需要存在该类模板或函数模板的声明。
想要限制对特定实例化的友元关系时，必须在可以用于友元声明之前声明类或函数。

当在类模板作用域外部定义成员模板的时候，必须包含两个模板形参表。

模板特化：该定义中一个或多个模板形参的实际类型或实际值是指定的。
特化形式如下：
关键字template后面接一对空的尖括号（<>）；
再接模板名和一对尖括号，尖括号中指定这个特化定义的模板形参；
函数形参表；
函数体；

对具有同一模板实参集的同一模板，程序不能既有显式特化又有实例化。

部分特化：类模板的一个版本，其中指定了某些但非全部的模板形参。