迭代器的算术操作

    除了一次移动迭代器的一个元素的增量操作符外,vector迭代器(其他标准库容器迭代器很少)也支持 其他的算术操作.这些操作称为迭代器算术操作(iterator arithmetic),包括:

iter+n    iter-n

可以对迭代器对象加上或减去一个整型值.这样做将产生一个新的迭代器,其位置在iter所指元素之前(加法)或之后(减法)n个元素的位置.加或减之后的结果必须指向iter所指vector中的某个元素,或者是vector末端的后一个元素.加上或减去的值的类型应该是vector的size_type或difference_type类型

iter1-iter2

该表达式用来计算两个迭代器对象的距离,该距离是名为difference_type的signed类型的值,这里的difference_type类型类似于size_type类型,也是由vector定义的.difference_type是signed类型,因为减法运算可能产生负数的结果.该类型可以保证足够大以存储任何两个迭代器对象间的距离.iter1与iter2两者必须都指向同一vector中的元素,或者指向vector末端之后的下一个元素.

可以用迭代器算术操作来移动迭代器直接指向某个元素,例如,下面语句直接定义于vector的中间元素:

vector<int>::iterator mid=vi.begin()+vi.size()/2; //迭代器加上一个整型值就是产生一个新的迭代器,指向其后的n个位置,假设vi.size()返回十个元素,那么上面得到的就是第六个元素.

上述代码用来初始化mid,使其指向vi中最靠近正中间的元素.这种直接计算迭代器的方法,与用迭代器逐个元素自增操作到达中间元素的方法是邓加的,但前者效率要高很多.

注意:任何改变vector长度的操作都会使已存在的迭代器失效.例如,在调用push_back之后,就不能再信赖指向vector的迭代器的值了.

习题3.22   如果采用下面的方法来计算mid会产生什么结果?

vector<int>::iterator mid=(vi.begin()+vi.end())/2;

将两个迭代器相加,没有这种运算,上面说了,迭代器的算术操作仅有将两个迭代器相减,算出两个迭代器之间的距离.上面的程序会导致编译错误