迭代器相应的型别

最常用的迭代器相应的型别有五种：

value_type,difference_type,pointer,reference,iterator_category。

①value_type：

迭代器所指对象的型别。

②difference_type：

用来表示两个迭代器之间的距离，可以用来表示一个容器的最大容量（连续空间的容器，头尾的距离就是容量）。

任何时候我们需要迭代器I的difference_type⇒typename iterator_traits<I>::difference_type.

③reference:

在C++中，如果函数要返回左值，都是以by reference的方式进行的。

当p是个迭代器，如果value_type 是T，那么*p的型别不是T，而应该是T&

这里的*p的型别就是所谓的reference type。

④pointer：

和reference有密切的关联，传回一个左值，令它代表p所指之物是可能的，传回一个左值，令它代表p所指之物的地址也是可能的，也就是说，我们可以传回一个pointer，指向迭代器所指之物。

Item& operator*() const { return *ptr;}    Item&⇒reference type

Item* operator->() const { return ptr;}     Item* ⇒pointer type

⑤iterator_category:

迭代器分为五类：

InputIterator ：这种迭代器所指的对象，不允许外界改变，只读。

OutputIterator：只写。

ForwardIterator ：允许“写入型”算法在此种迭代器所形成的区间上进行读写操作

BidirectionalIterator ：可双向移动。某些算法需要逆向走访某个迭代器区间，可以使用BidirectionalIterator 。

RandomAccessIterator ：前四种迭代器之提供一部分指针算术能力（前三种支持operator++,第四种加上operator--），当前的迭代器涵盖所有指针算术能力，包括p+n,p-n,p[n],p1-p2,p1<p2.