std :: vector (ab) otomatik depolama kullanır

Aşağıdaki snippet'i düşünün:

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

Açıktır ki, varsayılan yığın boyutu genellikle 20 MB'den küçük olduğundan, çoğu platformda çökecektir.

Şimdi aşağıdaki kodu göz önünde bulundurun:

#include <array>
#include <vector>

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

Şaşırtıcı bir şekilde de çöküyor! Geri izleme (son libstdc ++ sürümlerinden biriyle) include/bits/stl_uninitialized.h, aşağıdaki satırları görebileceğimiz dosyaya yol açar :

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

Yeniden boyutlandırma vectorkurucusu öğeleri varsayılan olarak başlatmalıdır ve bu şekilde uygulanır. Belli ki, _ValueType()yığın yığını çöküyor.

Soru, bunun uygun bir uygulama olup olmadığıdır. Evetse, aslında büyük tipte bir vektörün kullanımının oldukça sınırlı olduğu anlamına gelir, değil mi?

Herhangi bir std API'nin ne kadar otomatik depolama alanı kullandığı konusunda herhangi bir sınırlama yoktur.

Hepsi 12 terabayt yığın alanı gerektirebilir.

Ancak, bu API yalnızca gerektirir Cpp17DefaultInsertableve uygulamanız yapıcı tarafından gerekenler üzerine fazladan bir örnek oluşturur. Nesnenin önemsiz bir şekilde saklanıp kopyalanabileceğini tespit etmedikçe, uygulama yasa dışı görünüyor.

huge_type t;

Açıkçası platformların çoğunda çökecekti ...

"En" varsayımına itiraz ediyorum. Büyük nesnenin hafızası asla kullanılmadığından, derleyici onu tamamen görmezden gelebilir ve hafızayı asla tahsis edemez, bu durumda çökme olmaz.

Soru, bunun uygun bir uygulama olup olmadığıdır.

C ++ standardı yığın kullanımını sınırlamaz, hatta bir yığının varlığını bile kabul etmez. Yani, evet standarda uygundur. Ancak, bunun uygulama kalitesi sorunu olduğu düşünülebilir.

aslında büyük tipte bir vektörün kullanımının oldukça sınırlı olduğu anlamına gelir, değil mi?

Bu libstdc ++ ile böyle görünüyor. Çökme libc ++ ile üretilmedi (clang kullanarak), bu yüzden bu dilde bir sınırlama değil, sadece belirli bir uygulamada görünüyor.

Ben bir dil avukatı veya C ++ standart uzmanı değilim, ama cppreference.com diyor ki:

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

Kapsayıcıyı varsayılan olarak eklenen T örnekleriyle oluşturur. Kopya yapılmaz.

Belki "varsayılan takılı" yanlış anlıyorum, ama beklenir:

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

eşdeğer olmak

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

İkinci sürüm bir yığın kopya oluşturmamalı, doğrudan vektörün dinamik belleğinde büyük bir tür oluşturmalıdır.

Yetkili olarak gördüğünüz şeyin uyumlu olmadığını söyleyemem, ancak kaliteli bir uygulamadan kesinlikle beklediğim şey bu değil.