std :: list :: clearはstd :: list :: endイテレータを無効にしますか？

Question

は、このコードをチェックしてください：

#include "stdafx.h" 
#include <list> 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    std::list<int> mylist; 
    mylist.push_back(1); 
    std::list<int>::iterator i = mylist.end(); 
    if(i == mylist.end()) 
     printf("end is end\n"); 

    mylist.clear(); 
    if(i == mylist.end()) 
     printf("never get here because Microsoft seems to " 
       "think the iterator is no longer safe.\n"); 

    return 0; 
} 

さて、cplusplus.comによると、これは問題になることはありませんし、リリースモードでは、私は、これは結構ですと、本当にすべての問題が発生しないと思いますが、デバッグのように不可能になりますこれは私を続行させずにうわべだけ。すべてのポインタ？

Answer 1

その他の回答は、一般的に、コンテナがクリアされたときに有効なコンテナの過去と最後のイテレータには依存できないと指摘しています。しかし、リストの過去・エンドイテレータは確かに有効なままにしてください：

C++ 11の23.3.5.4/3 効果：が消去要素にのみイテレータと参照を無効にします。

過去のイテレータはどの要素も参照していないため、無効化しないでください。

Answer 2

これは実際には無効です。 イテレータは現在の状態コンテナでのみ有効です。 アイテムを追加または削除すると、イテレータは無効になります。

あなたがリンクしている記事は、あなたがしていることが有効であるとは言えません。彼らはクリア後に新しいイテレータを取得します。

リリースコードに表示されない理由は、問題を解決するデバッグが無効になっているためです。 C++ 11から

Answer 3

、表100（シーケンスコンテナ要件）：

clear() [...]過去エンドイテレータを無効にしてもよいです。

そしてstd::listもちろんシーケンスコンテナテンプレート（23.3.5.1/2）である：リスト内の2つの表に与えられる可逆容器（の容器の要件のすべてを満たす

23.2）、配列コンテナの（ほとんどのオプションのコンテナコンテナ要件（23.2.3）およびアロケータ対応コンテナ（表99）を含む）例外は演算子[]とメンバー関数であり、提供されていません。ここでは、これらのテーブルのいずれかに記載されていないリストに対する操作、または追加の意味情報がある操作についてのみ説明します。