第3章 标准库类型(4)

3.4 迭代器简介

迭代器是一种检查容器内元素并遍历元素的数据结构。

标准库为每一种标准容器(包括vector)定义了一种迭代器类型。所有的标准库容器都定义了相应的迭代器类型，而只有少数的容器支持下标操作。因为迭代器对所有的容器都适用，现代C++程序更倾向于迭代器而不是下标操作访问容器元素，即使对支持下标操作的vector类型也是这样。

1. 容器的iterator类型

每种容器类型都定义了自己的迭代器类型，如vector。

	vector<string>::iterator iter;

2. begin和end操作

每种容器都定义了一对命名为begin和end的函数，用于返回迭代器。如果容器中有元素的话，由begin返回的迭代器指向第一个元素。

	vector<string>::iterator iter = vec.begin();

由end操作返回的迭代器指向vector的”末端元素的下一个“。通常称为超出末端迭代器，表明它指向了一个不存在的元素。如果vector为空，begin返回的迭代器与end返回的迭代器相同。

由end操作返回的迭代器并不指向vector中任何实际的元素，相反，它只是起一个哨兵(sentinel)的作用，表示我们已处理完vector中所有元素。

3. vector迭代器的自增和解引用元素

迭代器类型可使用解引用操作符(*操作符)来访问迭代器所指向的元素。

	vector<string>::iterator iter = vec.begin();
	cout << *iter << endl;

迭代器使用自增操作符向前移动迭代器指向容器中下一个元素。

由于end操作返回的迭代器不指向任何元素，因此不能对它进行解引用或自增操作。

4. 迭代器的其他操作

另一个可执行于迭代器的操作就是比较：用==或!=操作符来比较两个迭代器，如果两个迭代器对象指向同一个元素，则它们相等，否则不相等。

5. 迭代器应用的程序示例

	for(vector<string>::iterator i = vec.begin(); i != vec.end(); i++)
	{
		cout << *i << endl;
	}

6. const_iterator

每种容器类型还定义了一种名为const_iterator的类型，该类型只能用于读取容器内元素，但不能改变其值。

	for(vector<string>::const_iterator i = vec.begin(); i != vec.end(); i++)
	{
		cout << *i << endl;
	}

使用const_iterator类型时，我们可以得到一个迭代器，它自身的值可以改变，但不能用来改变其所指向的元素的值。可以对迭代器进行自增以及使用解引用操作符来读取值，但不能对该元素赋值。

不要把const_iterator对象与const的iterator对象混淆起来。声明一个const迭代器时，必须初始化迭代器。一旦初始化后，就不能改变它的值。

const_iterator对象用于const vector或非const vector，因为不能改写元素的值。

const迭代器这种类型几乎没什么用处：一旦它被初始化后，只能用它来改写其指向的元素，但不能使它指向任何其他元素。

	const vector<string>::iterator i = vec.begin(); 
	*i = "1000";
	cout << *i << endl;

迭代器的算术操作

vector迭代器也支持其他的算术操作。这些操作被称为迭代器算术操作。

• iter+n           iter-n 可以对迭代器对象加上或减去一个整型值。这样做将产生一个新的迭代器，其位置在iter所指向元素之前(加)或之后(减)n个元素的位置。加上或减去值的类型应该是vector的size_type或difference_type类型。
• iter1-iter2 该表达式用来计算两个迭代器对象的距离，该距离名为difference_type的signed类型的值，这里的difference_type类型类似于size_type类型，也是由vector定义的。difference_type是signed类型，因为减法运算可能产生负数的结果。

可以用迭代器算术操作来移动迭代器直接指向某个元素。

	vector<string>::iterator i = vec.begin(); 
	vector<string>::iterator mid = i + vec.size()/2;
	cout << *mid << endl;