std :: multisetの要素を消去すると、無関係なイテレータが無効になりました

Question

#include<set> 
std::multiset<int>s; 
int main() { 
    s.insert(1); 
    s.insert(2); 
    s.insert(3); 
    for (auto i=s.rbegin();i!=s.rend();++i) { 
     auto j=s.lower_bound(*i<<1); 
     if (j!=s.end())s.erase(j); 
    } 
} 

このプログラムがクラッシュし、「マップ/イテレータをデクリメントできません」というエラーが表示されました。私はすべての要素が正の整数であると考えたので、*i<<1は*iより大きくなるため、jの指し示された位置はiとは異なります。そして、reference：

消去された要素への参照とイテレータは無効になります。その他の 参照とイテレータは影響を受けません。

iの指示位置以来

とjはjがiとループには影響しません消去、異なっています。だから私はなぜそれが間違っているのか混乱している。

環境：Windows10のx86の、Visual Studioの2015 Update 3の

Answer 1

イテレータが無効である理由は、あなたのループがそれを消去し、そしてそれに続くfor反復がループの増分部分にその無効化されたイテレータを使用していることです。

デバッガを使用してこれを実行すると、erase()が呼び出されると、イテレータiがイテレータjと同じ要素を指していることがわかります。あなたは今やs.erase(j)になり、iも無効になります。ループの反復処理の++iでは、無効な反復子をインクリメントする試みが行われるため、エラーが発生します。

s.insert(1); 
s.insert(2); 
s.insert(3); 
for (auto i = s.rbegin(); i != s.rend(); 
    ++i) // <-- It's this that is causing the issue 
{ 
    auto j = s.lower_bound(*i << 1); 
    if (j != s.end()) 
     s.erase(j); // <-- If `i` is pointing to this element, iteration becomes invalidated 
} 

したがって、基本的には、存在しないものに++を実行しようとしています。 Visual Studioを使用しているので（エラーが発生しています）、デバッグ時にアセンブリウィンドウに移動すると、エラーが発生したのは実際には++の操作であることがわかります。

---

は、イテレータの無効化でこれを参照してください： multiset::eraseとのリンクで、この点に注意してください。消去要素へ

参考とイテレータが無効化されます。