C++ 容器 避免存储end操作返回的迭代器

简述

在 vector 或 deque 容器中添加元素时，可能会导致某些或全部迭代器失效。假设所有迭代器失效时最安全的做法。这个建议特别适用于由 end 操作返回的迭代器。在容器的任何位置插入任何元素都会使该迭代器失效。

实例

通过下面这一实例，可反映出这个问题。

#include <iostream>
#include <vector>
using namespace std;

int main() {
	vector<int> vec(10);
	vector<int>::iterator first = vec.begin(),
		last = vec.end();

	while (first != last)	
	{
        //在 first 前插入元素 12
		first = vec.insert(first, 12);    
		++first;
	}

	getchar();
	return 0;
}

运行上面的程序，将会报出如下错误：

分析

首先，这段代码会导致死循环，但是报出的错误并不是这个原因导致的。真正的原因是，这个程序将 end 操作返回的迭代器值存储在名为 last 的局部变量中，循环体中实现了元素的添加运算，添加元素会使得存储在 last 中的迭代器失效。该迭代器既没有指向容器 vec  的元素，也不再指向 vec 的超出末端的下一位置，从而会报出错误。

修改

将程序修改为如下方式，不会报出错误（虽然还是一个死循环）：

#include <iostream>
#include <vector>
using namespace std;

int main() {
	vector<int> vec(10);
	vector<int>::iterator first = vec.begin(),
		last = vec.end();

	while (first != vec.end())	//正确
	{
		first = vec.insert(first, 12);
		++first;
	}

	getchar();
	return 0;
}

总结

不要存储 end 操作返回的迭代器。添加或删除 deque 或 vector 容器内的元素都会导致存储的迭代器失效。

扩展

对 insert() 函数进行一点说明，很多人都会把 insert() 想象成在指定位置之后插入元素。其实是在指定位置之前插入元素。 由于迭代器可能指向超出容器末端的下一位置，这是一个不存在的元素，因此 insert 函数是在其指向位置之前而非其后插入元素。