一.traits（萃取机）
==traits分为俩种：==
1.iterator_traits负责萃取迭代器的性质（迭代器的特性->相应性别）。
- 迭代器相应的型别分为五种：value type,difference type,pointer,reference,iterator_catagaly。
1.value type--------------迭代器所指对象的型别。
2.difference type-------表示俩个迭代器之间的距离，因此可以表示容器的最大容量。对于连续的空间来说，头尾之间的距离就是其中的 最大容量，例如STL当中的count()，其传回值就必须使用这种迭代器。
3.reference type-------从迭代器所指之物的内容是否允许改变，所指对象内容不允许改变为 constant iterator. 例如const int p(常量指针)，允许所指对象内容改变的为mutable iterator.例如 int p(普通指针)。
4.pointer type------------迭代器所指内容或者地址都可以。
5.iterator_catagaly-----根据移动特性将迭代器分为五种。
* Input Iterator-------------只读，不能改变 （operator++）
* Output Iterator-----------只写 (operator++)
* Forward Iterator---------读写 (operator++)
* Bidirectional Iterator----双向移动 (operator++,operator–)
* Random Access Iterator-随机 (operator++,–,+n,-n,p1-p2,p1<p2 ）
继承关系
- std::iterator的保证。为了符合规范，任何迭代器都应该提供五个内嵌相应型别，否则无法与其他STL组件顺利搭配。因此STL提供了一个iterator class如下,如果每个新设计 的迭代器都继承它，那么就可以保证符合STL所需规范：
template<class Category,class T,class Distance = ptrdifff_t,class Pointer = *T,class Reference = T&>
struct iterator{
typedef Category iterator_category;
typedef T value type;
typedef Distance difference_type;
typedef Pointer pointer;
typedef Reference referencec;
}- iterator_traits总结： 它的作用就是在无法确定类型性别的时候，通过它可以来获得参数的类型型别，例如：在函数重载过程中，为了更加高效快速的确定使用哪个版本的重载，这时可以用traits来萃取出它的类型型别，来确定使用哪一个重载函数。
2.__type_traits负责萃取型别的特性。
型别的特性有：trivial ctor, copy ctor,assignment,dtor以及non-trivial ctor, copy ctor,assignment,dtor,如果答案是不重要的，那我们在对型别进行构造，析构，拷贝，赋值等操作时就可以采用最有效的措施（例如不需要调用constructor,destructor)，而是采用内存直接处理操作如 malloc(),nencpy()等。
举个例子：uninitalized_fill_n
template <class ForwardIterator, class Size, class T>
inline ForwardIterator uninitialized_ fill_ n (ForwardIterator first,Size n, const T& х) {
return uninitialized_ fill_ n(first,n, x, value_ type(first)) ;
}- 该函数以x为蓝本，自迭代器first 开始构造n个元素。为求取最大效率， 首先以value_ type() (3.6 节)萃取出迭代器first 的value type,再利用 type traits 判断该型别是否为POD型别:
template <class ForwardIterator, class Size, class T, class T1>
inline ForwardIterator uninitializeđ fill n (ForwardIterator first,Size n, const T&x, T1*)
{
typedef typename _ type_ traits<Tl>::is_ POD_ _type is_ POD;
return _uninitialized_ fill_ n_ aux(first, n, x, is_ _POD()) ;
}- 如果不是POD型别，就会执行下面措施
template <class ForwardIterator, class Size, class T>
ForwardIterator
__uninitialized_ fill_ n (ForwardIterator first,Size n, const T& х,__false_type){
ForwardIterator cur = first;
for (; n> 0;--n, ++cur)
construct(&*cur, x);
return cur;
}- 如果是POD型别，就会执行下面措施
template<class ForwardIterator, class Size, class T>
inline ForwardIterator
__uninitialized_fi11 n_ aux (ForwardIterator first, Size n,const T& X,一true_ type)
{
return fill_ n(first, n, x); //交由高阶函数执行， 如下所示
}- 以下是定义fill_n()
OutputIterator £111 n(OutputIterator first, Size n, const T& value) {
for( ; n> 0; --n, ++first)
*first = value;
return first;
}
