C++ deque：当迭代器失效时

Question

如果我错了，请纠正我。 谢谢！

insert和erase将重新定位元素，但在插入/擦除发生位置之前的元素不会重新定位，因此它们的迭代器仍然有效。

push_back和pop_back不会使任何迭代器失效。

push_front和pop_front使所有迭代器无效。

swap不会重新定位元素，但我认为它应该使迭代器无效。

Answer 1

push_back()和push_front()是根据insert()定义的。 同样， pop_back()和pop_front()是根据erase()定义的。

以下是 C++03 标准关于insert() (23.2.1.3/1) 的迭代器失效的说明：

在双端队列中间插入会使所有迭代器和对双端队列元素的引用无效。 在双端队列的任一端插入会使双端队列的所有迭代器无效，但对双端队列元素引用的有效性没有影响。

所以push_front()和push_back()将迭代器失效，但对元素的引用本身仍然有效。

对于任一端的erase() （23.2.1.3/4）：

双端队列中间的擦除会使所有迭代器和对双端队列元素的引用无效。 双端队列两端的擦除只会使迭代器和对被擦除元素的引用无效。

因此， pop_front()和pop_back()只会使对相关末尾元素的迭代器/引用无效。

据说这是关于任何标准容器的swap() （23.1/10“容器要求”）：

没有 swap() 函数使任何引用、指针或迭代器无效，这些引用、指针或迭代器引用了被交换的容器的元素。

C++11 添加了以下关于deque上的end()迭代器对这些操作的行为的说明。 基本上，应将end()的迭代器在swap()或擦除deque的最后一个元素后视为无效：

擦除双端队列最后一个元素的擦除操作只会使尾后迭代器和所有迭代器以及对被擦除元素的引用无效。

在交换之前引用一个容器中的元素的每个迭代器都将在交换之后引用另一个容器中的相同元素。 未指定交换前值为 a.end() 的迭代器在交换后是否具有值 b.end() 。

我认为即使您还没有使用 C++11 编译器，也可以像这些规则一样进行编码。