《C++ Primer》 第16章 模板与泛型编程

第16章：
——泛型编程，就是以独立于任何特定类型的方式编写代码。
——使用泛型程序时，我们需要提供具体程序实例所操作的类型或值。
@学习摘录190：补充概念：多态性
——面向对象编程所依赖的多态性称为运行时多态性。
——泛型编程所依赖的多态称为编译时多态性或参数式多态性。
@学习摘录191：定义函数模板
——函数模板（function template）是一个独立于类型的函数，可作为一种方式，产生函数的特定类型的版本。
——模板定义以关键字template开始，后接模板形参表（template parameter list）。
——模板形参表是用尖括号括住的一个或多个模板形参（template parameter）的列表。
——模板形参表不能为空。
@学习摘录192：使用函数模板——实例化
——产生模板的特定类型的过程称为实例化。
——要进行实例化，编译器必须能够访问定义模板的源代码。
——使用函数模板时，编译器会推断哪个模板实参绑定到模板形参。
——一旦编译器确定了实际的模板实参，就称它为实例化（instantiate）了函数模板的一个实例。
@学习摘录193：typename与class的区别
——在函数模板形参中，关键字typename和class相同含义，可互用，只有有时候typename比class要直观。
@学习摘录194：链接时的编译时错误
——编译模板时，编译器可能会在三个阶段中标识错误：
——1. 第一阶段是编译模板定义本身时。普通的语法错误类的。
——2. 第二阶段时在编译器见到模板的使用时，检查实参与形参是否相对映。
——3. 第三阶段是在实例化时，只有在这个时候可以发现类型相关的错误。
@学习摘录195：类模板中的友元声明
——1. 普通非模板类或函数的友元声明，将友元关系授予明确指定的类或函数。
——2. 类模板或函数模板的友元声明，授予对友元所有实例的访问权。
——3. 只授予对类模板或函数模板的特定实例的访问权的友元声明。
－—如：
template<typename Type> class Bar
{
  // grants access to ordinary, nontemplate class and function
  friend class FooBar;
  friend void fcn();
};
——FooBar的成员和fcn函数可以访问Bar类任意实例的private成员和protected成员。
摘录有想195：
——假如Ａ类要在Ｂ类中使用，那么，要在Ｂ类中对Ａ进行友元声明。友元声明不是在需要使用Ａ类时才声明调用，而是在需要使用到的类中先声明。
@学习摘录196：成员模板
——任意类（模板或非模板）可以拥有本身为类模板或函数模板的成员，这种成员称为成员模板（member template），成员模板不能为虚。

第六节：模板特化

——模板特化是指一个或多个模板形参的实际类型或实际值是指定的。
@学习摘录197：模板特化转换方式
——template <> int compare <const char*> (const char* const & v1, const char* const &v2);
——当调用compare函数的时候，传给它两个字符指针，编译器将调用特化版本。
@学习摘录198：普通作用域规则适用于特化
——当编译器看到一个函数调用时，它必须知道这个版本需要特化，否则，编译器可能从模板定义实例化该函数。
――对于具有同一模板实参集的同一模板，程序不能既有显式特化又有实例化。
@学习摘录199：显式模板实参
——显式模板实参使我们能固定一个或多个模板形参的类型或值。
——显式实参使我们能够设计无需从对应实参推断模板类型的函数，也使我们能够对实参进行转换。
@学习摘录200：模板特化
——模板特化是一种特化的定义，它定义了模板的不同版本，将一个或多个形参绑定到特定类型或特定值。
——对于默认模板定义不适用的类型，特化非常有用。
@学习摘录201：泛型句柄类（generic handle class）
——保存和管理指向其他类的指针的类。
@学习摘录202：实例化(instantiation)
——用实际模板实参产生模板特定实例的编译器过程，在该实例中，用对应实参代替形参。
@学习摘录203：模板特化（template specialization）
——类模板或类模板的成员的重定义，其中指定了模板形参。