traits技巧

traits意思为特性， traits技巧就是根据迭代器的类型萃取出迭代器相关的类型。 

为了实现这个目标， 迭代器需要定义一些类型名称value_type, difference_type, pointer, reference, iterator_category, 然后通过偏特化， 也可以对原生指针有很好的支持. 如果某个迭代器没有遵行stl的类型定义约定，那么这个迭代器就不能兼容于整个stl这个大家庭. 下面是一个类型定义:

 template <class _Category, class _Tp, class _Distance = ptrdiff_t,
          class _Pointer = _Tp*, class _Reference = _Tp&>
struct iterator {
  typedef _Category  iterator_category;
  typedef _Tp        value_type;
  typedef _Distance  difference_type;
  typedef _Pointer   pointer;
  typedef _Reference reference;
};

为了避免写得迭代器忘记满足要求，可以将自己的迭代器从这个iterator中继承.例如：

template<class _Tp>

struct ListIter : public std::iterator<std::forward_iterator_tag, _Tp>

{ ... }