type traits小总结

主要是阅读了侯捷老师的《stl源码剖析》的迭代器部分的内容，进行的一点总结：

1. type traits是什么？
   字面翻译，就是类型特点，顾名思义，就是某个类本身的特质。在下图中，迭代器是容器和算法之间的桥梁，而算法在调用使用数据的过程中，也需要知道这个数据或者说容器本身的性质。
   
2. 迭代器中的type traits有哪些？

template <class I>
struct iterator_traits {
 	typedef typename I::iterator_category iterator_category; //迭代器类别（按照移动特性划分）
 	typedef typename I::value_type value_type;
 	typedef typename I::difference_type difference_type;
 	typedef typename I::pointer pointer;
 	typedef typename I::reference reference;
 	//关于迭代器类别，一共有五种:InputIterator, OutputIterator, ForwardIterator, 
 	BidirectionalIterator, RandomAccessIterator
 	//关于value_type，就是迭代器中元素的类别，如vector<int>，那么value_type就是int
 	//关于difference_type，是迭代器中两个迭代器之间的距离,
 	//关于pointer和reference，就分别是指针和引用
}

以上只是支持了迭代器，而实际上考虑具体应用，还应该满足指针和指向常量对象的指针，即需要偏特化

//迭代器版本
template<class T>
struct iterator_traits {
	typedef typename T::value_type value_type;
}
//支持指针
template <class T>
struct iterator_traits<T*> {
	typedef T value_type;
}
//支持指向常量的指针
template <class T>
struct iterator_traits<const T*> {
	typedef T value_type; //这里去掉const，因为实际意义不大
}

3. 设计type traits
   有一个技巧：就是这里需要首先去除const和volatile关键字