Apakah elemen std :: vector dijamin bersebelahan?

Pertanyaan saya sederhana: apakah elemen std :: vector dijamin bersebelahan? Dalam urutan kata, dapatkah saya menggunakan penunjuk ke elemen pertama dari std :: vector sebagai C-array?

Jika ingatan saya bermanfaat bagi saya, standar C ++ tidak membuat jaminan seperti itu. Namun, persyaratan std :: vector sedemikian rupa sehingga hampir tidak mungkin untuk memenuhinya jika elemen tidak bersebelahan.

Adakah yang bisa menjelaskan ini?

Contoh:

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'
    }
}

Ini terlewatkan dari standar C ++ 98 tetapi kemudian ditambahkan sebagai bagian dari TR. Standar C ++ 0x yang akan datang tentu saja akan memuat ini sebagai persyaratan.

Dari n2798 (draf C ++ 0x):

23.2.6 Vektor template kelas [vektor]

1 Vektor adalah wadah urutan yang mendukung iterator akses acak. Selain itu, ia mendukung (diamortisasi) operasi penyisipan dan penghapusan waktu konstan di akhir; masukkan dan hapus di tengah, ambil waktu linier. Manajemen penyimpanan ditangani secara otomatis, meskipun petunjuk dapat diberikan untuk meningkatkan efisiensi. Unsur-unsur vektor disimpan secara berdekatan, artinya jika v adalah vektor di mana T adalah jenis selain bool, maka ia mematuhi identitas & v [n] == & v [0] + n untuk semua 0 <= n <v .ukuran().

Seperti jawaban lain yang telah ditunjukkan, konten vektor dijamin kontinu (kecuali keanehan bool).

Komentar yang ingin saya tambahkan, adalah jika Anda melakukan penyisipan atau penghapusan pada vektor, yang dapat menyebabkan vektor mengalokasikan kembali memorinya, maka Anda akan menyebabkan semua penunjuk dan iterator yang disimpan menjadi tidak valid.

Standar sebenarnya menjamin bahwa a vectorkontinu dalam memori dan &a[0]dapat diteruskan ke Cfungsi yang mengharapkan sebuah array.

Pengecualian untuk aturan ini adalah vector<bool>yang hanya menggunakan satu bit per booldengan demikian meskipun ia memiliki memori berkelanjutan, ia tidak dapat digunakan sebagai bool*(ini secara luas dianggap sebagai pengoptimalan palsu dan kesalahan).

BTW, kenapa tidak Anda menggunakan iterator? Untuk itulah mereka.

Seperti yang telah dikatakan orang lain, secara vectorinternal menggunakan array objek yang berdekatan. Pointer ke dalam array itu harus diperlakukan sebagai tidak valid setiap kali ada fungsi anggota non-const yang disebut IIRC.

Namun, ada pengecualian !!

vector<bool>memiliki implementasi khusus yang dirancang untuk menghemat ruang, sehingga setiap bool hanya menggunakan satu bit. Array yang mendasari bukanlah array bool dan aritmatika array yang berdekatan vector<bool>tidak berfungsi seperti yang diharapkan vector<T>.

(Saya kira itu juga mungkin bahwa ini mungkin benar untuk setiap spesialisasi vektor, karena kita selalu dapat menerapkan yang baru. Namun, std::vector<bool>adalah satu-satunya, err, spesialisasi standar yang aritmatika penunjuk sederhana tidak akan berfungsi.)

Saya menemukan utas ini karena saya memiliki kasus penggunaan di mana vektor yang menggunakan memori bersebelahan adalah keuntungan.

Saya belajar bagaimana menggunakan objek buffer vertex di OpenGL. Saya membuat kelas pembungkus untuk memuat logika buffer, jadi yang perlu saya lakukan adalah melewatkan array floats dan beberapa nilai konfigurasi untuk membuat buffer. Saya ingin dapat menghasilkan buffer dari suatu fungsi berdasarkan input pengguna, sehingga panjangnya tidak diketahui pada waktu kompilasi. Melakukan sesuatu seperti ini akan menjadi solusi termudah:

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

Sekarang saya bisa melewatkan float vektor sebagai array ke fungsi terkait buffer OpenGL. Ini juga menghilangkan kebutuhan sizeof untuk menentukan panjang array.

Ini jauh lebih baik daripada mengalokasikan array besar untuk menyimpan float dan berharap saya membuatnya cukup besar, atau membuat array dinamis saya sendiri dengan penyimpanan yang berdekatan.

cplusplus.com:

Kontainer vektor diimplementasikan sebagai array dinamis; Sama seperti array biasa, container vektor memiliki elemennya yang disimpan di lokasi penyimpanan yang berdekatan, yang berarti bahwa elemennya dapat diakses tidak hanya menggunakan iterator tetapi juga menggunakan offset pada pointer biasa ke elemen.

Ya, elemen dari std :: vector dijamin bersebelahan.