标准库为每一种标准容器定义了一种迭代器类型。迭代器类型提供了比下标操作更通用的方法:所有的标准库容器都定义了相应的迭代器类型,而只有少数的迭代器支持下标操作。因为迭代器对所有的容器都适用,现在的C++更倾向于使用迭代器而不是下标操作访问容器中的元素,即使支持下标操作的vector类型也是这样。
1、容器的iterator类型
每种容器都定义了自己的迭代器类型,如:
vector::iterator iter;
这条语句定义了一个名为iter的变量,它的数据类型是由vector定义的iterator类型。每个标准库容器类型都定义了一个名为iterator的成员,这里的iterator与迭代器实际类型的含义相同。
2、begin和end操作
每种容器都定义了一对命名为begin和end的函数,用于返回迭代器。如果迭代器中有元素的话,由begin返回迭代器指向的第一个元素。如:
vector::iterator iter =ivec.begin();
假设vector不为空,初始化后,iter即指该元素为ivec[0]
由end操作返回的迭代器指向vector的“末端元素的下一个”。通常称为超出末端迭代器,表明它指向了一个不存在的元素。如果vector为空,begin返回的迭代器与end返回的迭代器相同。
注意:有end操作返回的迭代器并不指向vector中任何实际的元素,相反,它只是起一个哨兵作用,表示我们已经处理完vector中所有的元素。
3、vector迭代器的自增和解引用运算
迭代器类型定义了一些操作来获取迭代器所指向的元素,并允许程序员将迭代器从一个元素移动到另一个元素。
迭代器类型可以使用解引用操作符(*操作符)来访问迭代器所指向的元素,如:
*iter= 0;
迭代器使用自增操作符向前移动迭代器指向容器中下一个元素。
注意:由于end操作返回的迭代器不指向任何的元素,因此不能对它进行解引用或自增操作。另外迭代器执行的操作就是比较:用==或!=操作符来比较两个迭代器,如果两个迭代器对象指向同一个元素,则他们相等,否则就不相等。
4、迭代器使用的程序例子。
(1)用下标操作来完成
for(vector::size_type ix = 0; ix != ivec.size();++ix)
ivec[ix] = 0;
(2) 用迭代器来完成
for(vector::iteratoriter = ivec.begin(); iter != ivec.end(); ++iter)
*iter =0;
5、const_iterator
每种容器类型定义了一种名为const_iterator的类型,该类型用于读取容器内元素,但不能改变其值。当我们对普通iterator类型解引用时,得到对某个元素的非const引用,而如果我们对const_iterator 类型解引用时,则可以得到一个指向const对象的引用,如同任何常量一样,该对象不能进行重写。如:
for(vector::iteratoriter = ivec.begin(); iter != ivec.end(); ++iter)
*iter =0; //error指向的是const对象的引用
使用const_iterator类型时,我们可以得到一个迭代器,它自身的值可以改变,但是不能用来改变其所指向的元素的值。可以对迭代器进行自增以及使用解引用操作符来读取值,但是不能对该元素赋值。
注意:不要把const_iteractor对象与const的iterator对象混淆起来。声明一个const迭代器时,必须初始化迭代器。一旦被初始化后,就不能改变它的值,如:
vectornums(10);
constvector::iterator cit = nums.begin();
*cit =1;
++cit;//error不能改变
const迭代器这中类型几乎没有什么用处:一旦它被初始化后,只能用它来改变其指向的值,但是不能呢个让它指向任何其它的元素。