侯捷STL 10. 技术基础：操作符重载 and 模板泛化, 全特化, 偏特化

1. 操作符重载

• 这里是对迭代器操作符重载，使它具备指针的性质

2. 模板

• 当要写一个复数类的时候，如果没有利用模板，那么定义的时候就要确定好实部和虚部的数据类型

• 定义了两个stone
• 当调用 min() 时，就会进行实参推导，即对 T 进行推导，得到 T 是 stone，调用 stone : : operator<()

3. 类模板和函数模板的区别

• 类模板的使用需要用尖括号，指出要声明的类型
• 函数模板不需要指出
• 因为函数模板可以推导，而类模板有些时候类内有成员，而不用赋初值，就会导致无法推导
• 所以类模板一定要指明数据类型

4. 特化

• 泛化，可以使函数或者类接受任何指定的T
• 但是某些特殊的 T 可能有更好的解决方案，比如当 T 为 int 的时候，有别的更好的做法，就可以使用特化

4.1. 全特化

• 以下是三个全特化例子

4.1.1. :

• 第一段代码是泛化，第二第三段是特化
• 语法为：template<> struct struct_name<typename>

4.1.2. :

• 这里的 __STL_TEMPLATE_NULL 指的就是 template<> 是 typedef 起的别名

4.1.3. :

4.2. 偏特化

4.3. 第一种偏特化

• 偏特化就是只特化一部分的 Typename
• 语法就是把不偏特化的留在前面 template<typename T1> calss class_name <T2, T1>
• 如这里：template<class Alloc> class vector<bool, Alloc>
• 要特化哪个type，就把前面的typename T抽出来

4.4. 第二种偏特化

• 这里可以看到，它还是未确定的数据类型，但是制定了他要是指针类型，这也算是偏特化