std :: vector要素は連続していることが保証されていますか？

私の質問は単純です：std :: vector要素が連続していることが保証されていますか？つまり、std :: vectorの最初の要素へのポインタをC配列として使用できますか？

私の記憶がうまく機能するなら、C ++標準はそのような保証をしませんでした。ただし、std :: vectorの要件は、要素が隣接していない場合、要件を満たすことが実質的に不可能であるようなものでした。

誰かがこれを明確にできますか？

例：

std::vector<int> values;
// ... fill up values

if( !values.empty() )
{
    int *array = &values[0];
    for( int i = 0; i < values.size(); ++i )
    {
        int v = array[i];
        // do something with 'v'
    }
}

これはC ++ 98標準本体にはありませんでしたが、後でTRの一部として追加されました。今後のC ++ 0x標準には、もちろんこれが要件として含まれます。

n2798から（C ++ 0xのドラフト）：

23.2.6クラステンプレートベクトル[ベクター]

1ベクターは、ランダムアクセス反復子をサポートするシーケンスコンテナーです。さらに、それは最後に（償却された）一定時間の挿入および消去操作をサポートします。途中で挿入と消去を行うと、線形時間がかかります。ストレージ管理は自動的に処理されますが、効率を向上させるためのヒントを与えることができます。ベクトルの要素は連続して格納されます。つまり、vがTがbool以外の型であるベクトルの場合、すべての0 <= n <vについて、同一性＆v [n] ==＆v [0] + nに従います。 。サイズ（）。

他の答えが指摘したように、ベクトルの内容は連続であることが保証されています（ブールの奇妙さを除く）。

私が追加したかったコメントは、ベクターにメモリを再割り当てさせる可能性のあるベクターの挿入または削除を行うと、保存されているすべてのポインターとイテレーターが無効になるということです。

この標準は、実際にはa vectorがメモリ内で連続的であり、配列を&a[0]必要とするC関数に渡すことができることを保証しています。

このルールの例外vector<bool>は、1ビットあたり1ビットしか使用boolしないことです。これには連続メモリはありますが、aとしては使用できませんbool*（これは、誤った最適化とミスであると広く見なされています）。

ところで、イテレータを使ってみませんか？それが彼らの目的です。

他の人がすでに言ったように、vector内部ではオブジェクトの連続した配列を使用します。そのconstメンバー関数がIIRCと呼ばれるときはいつでも、その配列へのポインターは無効として扱われるべきです。

ただし、例外があります!!

vector<bool>スペースを節約するように設計された特別な実装があるため、各ブール値は1ビットのみを使用します。基になる配列はブールの連続した配列ではなく、配列演算は上とvector<bool>同じように機能しませんvector<T>。

（私は常に新しいものを実装できるので、これがベクトルのどの特殊化にも当てはまる可能性があると思います。しかし、std::vector<bool>単純なポインタ演算が機能しない唯一の、err、標準の特殊化です。）

このスレッドを見つけたのは、連続したメモリを使用するベクトルが有利であるユースケースがあるためです。

OpenGLで頂点バッファーオブジェクトを使用する方法を学習しています。バッファロジックを含むラッパークラスを作成したので、フロートの配列といくつかの構成値を渡してバッファを作成するだけです。ユーザー入力に基づいて関数からバッファーを生成できるようにしたいので、コンパイル時に長さがわかりません。このようなことをするのが最も簡単な解決策です：

void generate(std::vector<float> v)
{
  float f = generate_next_float();
  v.push_back(f);
}

これで、ベクターの浮動小数点数を配列としてOpenGLのバッファー関連関数に渡すことができます。これにより、配列の長さを決定するためのsizeofの必要もなくなります。

これは、フロートを格納するために巨大な配列を割り当てて、十分な大きさにしたり、連続したストレージで独自の動的配列を作成したりするよりもはるかに優れています。

cplusplus.com：

ベクトルコンテナーは動的配列として実装されます。通常の配列と同様に、ベクターコンテナーの要素は連続した格納場所に格納されます。つまり、イテレーターを使用するだけでなく、要素への通常のポインターのオフセットを使用しても要素にアクセスできます。

はい、std :: vectorの要素は連続していることが保証されています。