Iterator Traits

萃取出 Iterator 的性质：迭代器种类、迭代器所指数据类型、迭代器距离类型、迭代器所指数据引用、迭代器所指数据指针。根据不同的迭代器种类可以采取不同的算法策略。但是用iter::interator_categotry、iter::value_type、iter::pointer... 就可以访问到迭代器的性质，为什么还需要萃取器？

因为算法的参数可能是C指针（指针是一种特化的迭代器），而不是一个迭代器对象。

// 如果迭代器传入萃取机，没匹配到任何偏特化模板，则会匹配这个泛华的版本。
template <class I>
struct iterator_traits {
	typedef typename I::iterator_category;
  	typedef typename I::value_type;
  	typedef typename I::difference_type;
  	typedef typename I: :pointer;
  	typedef typename I::reference;
};
// 如果指针传入萃取机，会匹配到这个偏特化模板。
template <class T>
struct iterator_traits<T*> {
	typedef random_access_iterator_tag iterator category;
  	typedef T value type;
  	typedef ptrdiff_t difference type;
  	typedef T* pointer;
	typedef T& reference;
};
// 如果常指针传入萃取机，会匹配到这个偏特化模板。
template <class T>
struct iterator_traits<const T*> {
	typedef random_access_iterator_tag iterator category;
  	typedef T value type;
  	typedef ptrdiff_t difference type;
  	typedef const T* pointer;
	typedef const T& reference;
};