STL分析-准备工作＜一＞

泛型设计之要点

模板发展起来，在c++语言发展过程中属于意外发现，因而和基本的语法比较起来，是二等公民，语法支持不那么优雅，代码形式看着让人很受伤，
C++11出来后，估计能好点，VS2010就引人了一些新特性，简化了部分模板语法。

虽然模板在c++语法层面属于二等公民，但是，从现在的趋势来看，这几年c++的主要改进点基本都集中在模板和模板相关的这块，这块也是C++和其他其他语言相抗衡的主要力量。

要分析STL，模板是基本的技术基础，关于模板的基础语法，这儿不谈了，主要谈下一些要点和难点

泛型设计之要点——模板推导顺序

模板分函数模板和类模板，类模板支持偏特化（有点像高等数学中的偏导数），这是泛型编程的绝大多技术，技巧的根源。函数模板不支持偏特化，类似类模板偏特化的那些东西其实是函数重载。

（1)函数 模板的匹配规则
非模板函数具有最高的优先权。如果不存在匹配的非模板函数的话，那么最匹配的和最特化的函数具有高优先权

1. 普通非模板函数在参数匹配时如果和模板函数匹配度一样好，优先选择普通函数，因为一等公民嘛
2. 几个主模板函数中选择匹配最好的
3. 如果2选择不出，选择“最特化”的，最特化的如果又对模板实参做了特话，这个会被选中
4. 出现二义性

模板特化不参与重载推导

template<class T>
void f(T);
template<>
void f<int*>(int*)
template<class T>
void f(T*)

答案是 第三个

(2) 类模板的匹配规则

最优化的优于次特化的，即模板参数最精确匹配的具有最高的优先权

例子：

template <class T> class vector{//…//}; // (a)   普通型
template <class T> class vector<T*>{//…//};   // (b) 对指针类型特化
template <>    class vector <void*>{//…//};   // (c) 对void*进行特化

每个类型都可以用作普通型（a）的参数，但只有指针类型才能用作（b）的参数，而只有void*才能作为(c)的参数

泛型设计之要点——模板特化

模板有两种特化，全特化和偏特化（局部特化）

模板函数只能全特化，没有偏特化（以后可能有）。
模板类是可以全特化和偏特化的。
全特化，就是模板中模板参数全被指定为确定的类型。
全特化也就是定义了一个全新的类型，全特化的类中的函数可以与模板类不一样。

偏特化，就是模板中的模板参数没有被全部确定，需要编译器在编译时进行确定。
在泛型中，利用特化类得到类新的特性，以便找到最适合这种特性的实现。而这一切都是在编译时完成。

模板的特化是非常有用的。它像一个在编译期的条件判断。当编译器在编译时找到了符合的特化实现，就会使用这个特化实现。这就叫编译器多态（或者叫静态多态）。这种东西对编写基础库是很有用的。这也就是为何c++的基础库大量使用了模板技术，而且大量使用了特化，特别是偏特化。