std :: vector (ab) menggunakan penyimpanan otomatis

Pertimbangkan cuplikan berikut:

#include <array>
int main() {
  using huge_type = std::array<char, 20*1024*1024>;
  huge_type t;
}

Jelas itu akan crash pada sebagian besar platform, karena ukuran tumpukan standar biasanya kurang dari 20MB.

Sekarang pertimbangkan kode berikut:

#include <array>
#include <vector>

int main() {
  using huge_type = std::array<char, 20*1024*1024>;
  std::vector<huge_type> v(1);
}

Anehnya itu juga crash! Traceback (dengan salah satu versi libstdc ++ terbaru) mengarah ke include/bits/stl_uninitialized.hfile, di mana kita dapat melihat baris berikut:

typedef typename iterator_traits<_ForwardIterator>::value_type _ValueType;
std::fill(__first, __last, _ValueType());

Mengubah ukuran vectorkonstruktor harus secara default menginisialisasi elemen, dan ini adalah bagaimana itu diterapkan. Jelas, _ValueType()sementara crash stack.

Pertanyaannya adalah apakah itu implementasi yang sesuai. Jika ya, itu sebenarnya berarti penggunaan vektor tipe besar sangat terbatas, bukan?

Tidak ada batasan berapa banyak penyimpanan otomatis yang digunakan API std.

Mereka semua bisa membutuhkan ruang penyimpanan 12 terabyte.

Namun, API itu hanya membutuhkan Cpp17DefaultInsertable, dan implementasi Anda menciptakan contoh tambahan atas apa yang dibutuhkan oleh konstruktor. Kecuali jika terjaga keamanannya mendeteksi objek itu sepele dan dapat disalin, implementasi itu terlihat ilegal.

huge_type t;

Jelas itu akan crash pada sebagian besar platform ...

Saya membantah anggapan "sebagian besar". Karena memori dari objek besar tidak pernah digunakan, kompiler dapat sepenuhnya mengabaikannya dan tidak pernah mengalokasikan memori dalam hal ini tidak akan ada crash.

Pertanyaannya adalah apakah itu implementasi yang sesuai.

Standar C ++ tidak membatasi penggunaan stack, atau bahkan mengakui keberadaan stack. Jadi, ya itu sesuai dengan standar. Tetapi orang dapat menganggap ini sebagai kualitas masalah implementasi.

itu sebenarnya berarti bahwa penggunaan vektor tipe besar sangat terbatas, bukan?

Itu tampaknya menjadi kasus dengan libstdc ++. Kecelakaan itu tidak direproduksi dengan libc ++ (menggunakan dentang), jadi sepertinya ini bukan batasan dalam bahasa, melainkan hanya dalam implementasi tertentu.

Saya bukan pengacara bahasa atau pakar standar C ++, tetapi cppreference.com mengatakan:

explicit vector( size_type count, const Allocator& alloc = Allocator() );

Buat wadah dengan jumlah instance T. yang dimasukkan tidak ada salinan.

Mungkin saya salah paham "dimasukkan secara default," tetapi saya berharap:

std::vector<huge_type> v(1);

menjadi setara dengan

std::vector<huge_type> v;
v.emplace_back();

Versi terakhir seharusnya tidak membuat salinan tumpukan tetapi membangun besar_type langsung di memori dinamis vektor.

Saya tidak dapat secara otoritatif mengatakan bahwa apa yang Anda lihat tidak sesuai, tetapi tentu saja bukan itu yang saya harapkan dari implementasi yang berkualitas.