C++ dequeイテレータのスマートはどのくらいですか

Question

には、0〜99の100個の値が含まれています。 the following考える：

ベクトルは、dequeのが 連続した記憶場所にあるすべての要素を格納することが保証されていないとは異なり

： によって両端キュー内の要素にアクセスするには、別の要素へのポインタを相殺するには、未定義の動作が発生します。

以下の行が有効ではありません表示されます。

int invalidResult = *(d.begin() + 81); // might give me 81, but NOT GUARANTEED, right? 

私の質問はこれです：イテレータがこのの世話をするのでしょうか？ 1点で

std::deque<int>::iterator it = d.begin(); 
int isThisValid = *(it + 81); // 81 every time? or does it result in undefined behavior? 

、私はイテレータは基礎となるストレージのいずれかの不連続を扱うだろうと思っていたが、今私はよく分かりません。明らかに、あなたがit++を81回使用した場合、*itはあなたに81を与えるでしょう。

誰かが確実に言うことができますか？

私はC++ 11を使用していません。

Answer 1

それは、以下の行を表示され、有効ではありません。逆に

int invalidResult = *(d.begin() + 81); // might give me 81, but NOT GUARANTEED, right? 

。ステートメントは完全に有効で、動作は保証されています（d.size() >= 82と仮定します）。これは、std::deque::beginがポインタではなくイテレータを返すため、引用符付きのルールは適用されないためです。

std::deque<int>::iterator it = d.begin(); 
int isThisValid = *(it + 81); // 81 every time? or does it result in undefined behavior? 

これはあなたの代わりに、一時的なイテレータの名前の変数を、使用したことを除いて、ほとんど同等の前のコードにあります。その振る舞いはまったく同じです。ここで

---

はあなたがいないかもしれないものの例です。

int* pointer = &d.front(); 
pointer[offset] = 42; // oops 

Answer 2

this reference herestd::dequeによると、確かにあなたの例に従って動作しますRandomAccessIteratorを提供します。

std::deque<int>::iterator it = d.begin(); 
int isThisValid = *(it + 81); // will be fine assuming the deque is that large