std :: vector（ab）は自動ストレージを使用します

次のスニペットを考えてみましょう：

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

通常、デフォルトのスタックサイズは通常20MB未満であるため、ほとんどのプラットフォームでクラッシュします。

次のコードを考えてみましょう：

#include <array>
#include <vector>

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

意外にもクラッシュします！トレースバック（最近のlibstdc ++バージョンの1つを使用）はinclude/bits/stl_uninitialized.hファイルにつながり、ここに次の行が表示されます。

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

サイズ変更vectorコンストラクターは、要素をデフォルトで初期化する必要があります。これが実装方法です。明らかに、_ValueType()一時的にスタックがクラッシュします。

問題は、それが適合実装であるかどうかです。はいの場合、それは実際には巨大な型のベクトルの使用がかなり制限されていることを意味しますね？

std APIが使用する自動ストレージの量に制限はありません。

それらはすべて12テラバイトのスタックスペースを必要とする可能性があります。

ただし、そのAPIはのみを必要Cpp17DefaultInsertableとし、実装はコンストラクターが必要とするものを超える追加のインスタンスを作成します。オブジェクトの検出の背後にゲートが設定されていない限り、取るに足りない方法でコピーやコピーが可能であれば、その実装は違法に見えます。

huge_type t;

明らかに、ほとんどのプラットフォームでクラッシュします...

私は「ほとんど」の仮定に異議を唱えます。巨大なオブジェクトのメモリは使用されないため、コンパイラはそれを完全に無視してメモリを割り当てることはできません。この場合、クラッシュは発生しません。

問題は、それが適合実装であるかどうかです。

C ++標準は、スタックの使用を制限したり、スタックの存在を認めたりすることもありません。だから、はい、それは標準に準拠しています。しかし、これは実装の品質の問題であると考えることができます。

それは実際には、巨大な型のベクトルの使用がかなり制限されていることを意味しますね。

libstdc ++の場合はそうです。クラッシュはlibc ++では（clangを使用して）再現されなかったため、これは言語の制限ではなく、特定の実装に限定されているようです。

私は言語弁護士でもC ++標準の専門家でもありませんが、cppreference.comは次のように述べています。

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

Tのcount-default-insertedインスタンスでコンテナを構築します。コピーは作成されません。

おそらく「デフォルト挿入」を誤解しているかもしれませんが、私は期待します：

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

に等しい

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

後者のバージョンでは、スタックコピーを作成するのではなく、ベクトルの動的メモリに直接huge_typeを作成します。

あなたが見ているものは非準拠であると私は正式には言えませんが、確かに私が質の高い実装から期待するものではありません。