STL(5)之Partial Specialization(模板的偏特化)

1.为什么要出现？

按照默认认定，一个模板给出了一个单一的定义，可以用于用户可以想到的任何模板参数！但是对于写模板的人而言，这种方式并不灵活，特别是遇到模板参数为指针时，若想实现与类型的参量不一样的实例化，就变得不太可能了！也有时，想禁止此种相同的实例化变得不太可能！故而出现了，Partial Specialization!

同时，在使用void*指针时，可以最大限度的共享代码，减少代码的膨胀！

2.它是什么？其实，就是用户定义的偏特化。用template<>来说明这是一个偏特化，针对任何模板类型的参数做出更进一步的条件限制所设计出来的一种偏特化版本！说白了，就是模板进行实例化时的一些重载优先选择机制，选择那些最恰当的偏特化模板进行实例化！

3.Partial Specialization的意义：我们为泛化设计中提供一个特化的版本（也就是将泛化版本中的某些模板参数赋予明确的指定，以影响模板的实例化类型）；

 4.其在STL中的一个应用：Traits编程技法；核心点就是，不论是类实例化模板，还是指针抑或指向常量的指针进行实例化模板，模板的交出的类型都是合乎程序需要的！！！故而Traits又被侯杰先生称之为“特性萃取机”（不论是类型，还是指针，都可以交出正确的元素类型）！

5.没有偏特化，就没有了所谓的Traits的广泛使用，没有了Traits,STL也未必会成为C++的瑰宝,没有STL的NB，C++也未必会成为语言王者！正是因为小小的偏特化，成就了迭代器的丰功伟绩，使得算法与数据结构进行了分离！