迭代器简介
我们除了使用下标访问 vector 对象的元素外,标准库还提供了另一种访问元素的方法:使用迭代器(iterator)。
1、容器的 iterator 类型
每种容器类型都定义了自己的迭代器类型,如vector :
vector<int>::iterator iter;
这条语句定义了一个名为iter的变量,它的数据类型是由vector<int>定义的iterator类型。每个标准库容器类型都定义了一个名为iterator的成员,这里的iterator与迭代器实际类型的含义相同。
2、begin 和 end 操作
每种容器都定义了一对命名为begin 和 end的函数,用于返回迭代器。如果容器中有元素的话,由begin返回的迭代器指向第一个元素:
vector<int>::iterator iter = ivec.begin();
由end 操作返回的迭代器指向vector的“末端元素的下一个”。通常称为超出末端迭代器(off-the-end iterator),表明它指向了一个不存在的元素。如果vector 为空,begin 返回的迭代器与end返回的迭代器相同。由end操作返回的迭代器并不指向vector中任何实际的元素,相反,它只是起一个哨兵(sentinel)的作用,表示我们已处理完vector中所有的元素。
3、vector 迭代器的自增和解引用运算
迭代器类型可使用解引用操作符(*操作符)来访问迭代器所指向的元素:
*iter = 0;
解引用操作符返回迭代器当前所指向的元素。假设iter指向vector对象ivec的第一个元素,那么*itec和ivec[0]就是指向同一个元素。
4、迭代器的其他操作
另一对可执行于迭代器的操作就是比较:用 == 或 != 操作符来比较两个迭代器,如果两个迭代器对象指向同一个元素,则它们相等,否则就不相等。
5、应用程序示例:
假设已声明了一个vector<int>型的ivec 的变量,要把它所有的元素值重置为0,可以用下标操作来完成:
//reset all the elements in ivec to 0
for (vector<int>::size_type ix = 0; ix != ivec.size(); ++ix)
ivec[ix] = 0;
上述程序用for 循环遍历ivec的元素,for循环定义了一个索引ix,每循环迭代一次ix就自增1.for循环体将ivec的每个元素赋值为0。
更典型的做法是用迭代器来编写循环:
//equivalent loop using iterators to reset all the elements in ivec to 0
6、const_iteratorfor (vector<int>::iterator iter = ivec.begin(); iter != ivec.end(); ++iter) *iter = 0; //set element to which iter refers to 0
前面的程序用vector::iterator 改变 vector 中的元素值。每种容器类型还定义了一种名为const_iterator 的类型,该类型只能用于读取容器内元素,但不能改变其值。
for (vector<int>::const_iterator iter = ivec.begin(); iter != ivec.end(); ++iter) cout<<*iter<<endl; //OK because we won't change the elementsfor (vector<int>::const_iterator iter = ivec.begin(); iter != ivec.end(); ++iter) *iter = 0; //ERROR because *iter is const 重要概念:不要把 const_iterator 对象与const 的 iterator 对象混淆起来。 声明一个const 迭代器时,必须初始化迭代器。一旦初始化后,就不能改变它的值:const_iterator 对象可以用于 const vector 或非const vector,因为不能改写元素值。const 迭代器这种类型几乎没什么用处:一旦它被初始化后,只能用它来改写其指向的元素,但不能使它指向其它元素。vector<int> nums(10); const vector<int>::iterator cit = nums.begin(); *cit = 1; //正确 因为nums 不是const 的 ++cit; //错误 因为cit是const的,所有不能改变其值
const vector<int> nines(10, 9); const vector<int>::iterator cit2 = nines.begin(); //错误,因为nines是一个const 变量而cit2是一个普通迭代器 vector<int>::const_iterator it = nines.begin(); //正确 *it = 10; //错误 因为 *it 是 const ++it; // 正确 因为 it 不是const
7、迭代器的算术操作iter + n 表示后面的第n 个元素
iter - n 表示前的的第n 个元素
iter1 - iter2 表示两个迭代器对象的距离
注意:任何改变vector长度的操作都会使已存在的迭代器失效。例如push_back 之后,就不能再信赖指向vector的迭代器的值了。