C++ 萃取機 Iterator Traits

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;
};