STL源码分析--萃取编程（traits）技术的实现

1.为什么要出现？

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

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

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

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

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

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

1.Traits编程技法说白了是利用上篇所用到的偏特化概念来实现的！

2.一个很好地使用就是在迭代器之中；

3.为什么需要？前提是并不是所有的模板类型都是class type,有的是原生指针，有的却是指向为常类型的指针const T *

但是这个时候，是无法运用typedef T value_type，来萃取出元素正确的类型的；

4.不论面对的是原生指针int* 还是const int *,都是可以通过traits取出正确的value_type;

5.正是traits这一层的间接层，才使得算法与数据结构分离了！使得迭代器成为一种粘合剂，STL方能共同合作！

6.故而，iterator_traits必须针对传入的类型为指针pointer以及pointer to const时，设计特化版本！

引子

STL中使用到萃取(traits)编程技术,

迭代器中萃取技术

STL简述

STL(Standard Template Library)是C++泛型编程(template技术)的集大成者, 迭代器在STL中发挥重要的作用. 在STL中有3个重要的概念:

1. 容器, 包括顺序容器(vector, list)和关联容器(map, set)
2. 算法, 各种操作容器的函数模版(count, count_if)
3. 迭代器, 作为算法和容器的桥梁, 让算法独立于容器发展

迭代器的重要作用就是让容器和算法解耦合, 或者说让数据和操作解耦合, 算法利用迭代器作为输入, 从而摆脱对容器具体数据的访问. 容器生成的迭代器用于遍历容器中的每个元素, 同时避免暴露容器的内部数据结构和实现细节.

这里通过一个算法的例子来展示迭代器的使用:

template <cla