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