STLコンテナ内の永続参照

Question

C++ STLコンテナを使用する場合、参照条件に値をアクセスする必要がある条件はありますか。 たとえば、次の関数呼び出し後に無効にされた参照はありますか？

{ 
std::vector<int> vector; 
vector.push_back (1); 
vector.push_back (2); 
vector.push_back (3); 

vector[0] = 10;  //modifies 0'th element 

int& ref = vector[0]; 
ref = 10;    //modifies 0'th element 

vector.push_back (4); 
ref = 20;    //modifies 0'th element??? 

vector.clear(); 
ref = 30;    //clearly obsurd 
} 

私はstlのほとんどの実装でこれがうまくいくことを理解していますが、私は標準宣言に必要なものに興味があります。

--edit：私は、C++用のSTXXL（http://stxxl.sourceforge.net/）ライブラリを試してみたかったが、私はコンテナによって返された参照は変更を加えずに読み込み、複数の上に永続的ではありませんでした、そのための互換性がないことに気づいたbecuase イム興味（しかし、表面的）私の既存のstlコードに。例：

{ 
std::vector<int> vector; 
vector.push_back (1); 
vector.push_back (2); 


int& refA = vector[0]; 
int& refB = vector[1]; //refA is not gaurenteed to be valid anymore 
} 

私は、これは確かにない、100％の互換性、またはSTXXLコンテナは、私が危険な/実装に依存する方法で、全体の時間をSTLコンテナを使用していた場合ことを意味している場合を知りたいと思いました。

Answer 1

は、標準では23.2.4.3/1で述べている： 新しいサイズが古い 容量よりも大きい場合

は[insert()]再割り当てが発生します。再割り当てが発生しない場合は、 イテレータと参照 を参照してから、挿入ポイントは のままです。これは、実際には、これは話が

は（約insert()、表68は、a.push_back(x)が任意のベクターa値xためa.insert(a.end(), x)と同等でなければならないことを示しています。これは、reserve()のメモリがあらかじめ十分な場合、またはpush_back()以上のアイテムがある場合、イテレータと参照が無効にならないことが保証されていることを意味します。アイテムの削除について

は、23.2.4.3/3は言う：

[erase()]消去の ポイントの後のすべての イテレータと参照を無効にします。

それぞれ表68および表67によれば、pop_back()とclear()はerase()への適切な呼び出しに相当します。

Answer 2

私は（capacity、またmax_sizeを参照してください、そしてreserve方法）の参照のみを明示的または暗示的なresize()によって無効化されることを期待しています。

Answer 3

Vectorは、現在の容量に応じて、再割り当て時に反復子と参照を無効にします。上記のコードは、場合によっては機能するかもしれませんが、push_back（4）呼び出しの後で参照が無効になる可能性があるので、これに頼るべきではありません。

Answer 4

ベクトルのためのいくつかの基本的なルール：

• 再割り当てはすべて 参照、ポインタ、ベクトルの要素のためのイテレータ が無効になります。
• 挿入ポインタ、イテレータ、 無効にすることができます。
• 要素の挿入または削除 要素を参照する参照、ポインタ、および イテレータが無効になります。
• 挿入によって再割り当てが発生すると、 はすべての参照、 イテレータ、およびポインタを無効にします。ベクターに挿入について