Bug with std::deque?

我正在尝试使用循环和迭代器从deque中删除元素。我正在遵循在线示例，但看到一个错误。

我使用的是g++ (GCC) 4.8.3 20140911 (Red Hat 4.8.3-9)。

代码如下:

#include <iostream>
#include <deque>
using namespace std;
// Display the contents of a queue
void disp_deque(deque<int>& deque) {
  cout << "deque contains: ";
  for (auto itr = deque.begin(); itr!=deque.end(); ++itr)
    cout << *itr << ' ';
  cout << 'n';
}
int main(int argc, char** argv) {
  deque<int> mydeque;
  // Put 10 integers in the deque.
  for (int i=1; i<=10; i++) mydeque.push_back(i);
  disp_deque(mydeque);
  auto it = mydeque.begin(); 
  while (it!=mydeque.end()) {
    cout << "Checking " << *it << ',';
    // Delete even numbered values.
    if ((*it % 2) == 0) {
      cout << "Deleting " << *it << 'n';
      mydeque.erase(it++);
      disp_deque(mydeque);
    } else ++it;
  }
}

这很简单——创建一个包含10个元素的列表，然后删除偶数的元素。

请注意以下内容(不包括绒毛):

if ((*it % 2) == 0) {
  mydeque.erase(it++);
} else it++;

建议使用迭代器进行删除，这样迭代器就不会像上面的链接中提到的那样失效。

然而，当我运行它时，我得到以下内容:

$ ./test
deque contains: 1 2 3 4 5 6 7 8 9 10 
Checking 1,Checking 2,Deleting 2
deque contains: 1 3 4 5 6 7 8 9 10 
Checking 3,Checking 4,Deleting 4
deque contains: 1 3 5 6 7 8 9 10 
Checking 5,Checking 6,Deleting 6
deque contains: 1 3 5 7 8 9 10 
Checking 7,Checking 8,Deleting 8
deque contains: 1 3 5 7 9 10 
Checking 10,Deleting 10
deque contains: 1 3 5 7 9 
Checking 10,Deleting 10
deque contains: 1 3 5 7 
Checking 0,Deleting 0
deque contains: 1 3 5 
Checking 0,Deleting 0
deque contains: 1 3 
Checking 0,Deleting 0
deque contains: 1 
Checking 0,Deleting 0
deque contains: 
Checking 0,Deleting 0
Segmentation fault (core dumped)

通读一遍，直到它删除了8，它看起来还不错。事实上，第9条完全被跳过了，从来没有检查过!我所期望的应该是这样的:

$ ./test
deque contains: 1 2 3 4 5 6 7 8 9 10 
Checking 1,Checking 2,Deleting 2
deque contains: 1 3 4 5 6 7 8 9 10 
Checking 3,Checking 4,Deleting 4
deque contains: 1 3 5 6 7 8 9 10 
Checking 5,Checking 6,Deleting 6
deque contains: 1 3 5 7 8 9 10 
Checking 7,Checking 8,Deleting 8
deque contains: 1 3 5 7 9 10 
Checking 9,Checking 10,Deleting 10
deque contains: 1 3 5 7 9 

事实上，当我把代码改成这样时，我得到的就是这个:

if ((*it % 2) == 0) {
  it=mydeque.erase(it);
} else it++;

那么，为什么一个方法有效，而另一个不行呢?有人能解释一下吗?

即使我创建一个临时迭代器来删除，我也会看到完全相同的问题输出:

  while (it!=mydeque.end()) {
    cout << "Checking " << *it << ',';
    auto tmp_it = it++;
    // Delete even numbered values.
    if ((*tmp_it % 2) == 0) {
      cout << "Deleting " << *tmp_it << 'n';
      cout << "IT before delete: " << *it << 'n';
      mydeque.erase(tmp_it);
      cout << "IT after delete: " << *it << 'n';
      disp_deque(mydeque);
    } 
  }

这里我将它的副本存储在tmp_it中，然后对其进行自增。我添加了更多的调试语句，看到了一些非常奇怪的东西:

...
deque contains: 1 3 5 6 7 8 9 10 
Checking 5,Checking 6,Deleting 6
IT before delete: 7
IT after delete: 7
deque contains: 1 3 5 7 8 9 10 
Checking 7,Checking 8,Deleting 8
IT before delete: 9
IT after delete: 10
deque contains: 1 3 5 7 9 10 
Checking 10,Deleting 10
IT before delete: 10
IT after delete: 10
...

然而，删除元素8使其指向元素10，跳过9!在之前的删除中，它指向前一个元素(例如，当6被删除时，它指向删除前后的7)。

我查找了deque的实现，在"Iterator Validity"下面看到了以下内容(强调我的):

Iterator validity擦除操作包含最后一个元素在序列中，end迭代器和迭代器、指针和引用已删除元素的引用无效。如果擦除包括第一个元素，但不包括最后一个元素引用被擦除的元素无效。如果发生在deque的其他地方，所有的迭代器，指针和引用

那么这是否意味着在我的代码中，我的迭代器是无效的，即使我在它被删除之前对它进行了后增量?即除了我删除的迭代器之外的迭代器正在失效?

如果是的话，那还好，但这似乎是一个鲜为人知的bug。这意味着在循环中删除迭代器的常见实现在使用deque时是无效的。