なぜstd :: vector <bool>に.data（）がないのですか？

Question

std::vector<bool>の特殊化は、C++ 11 23.3.7/1で指定されているように、データメンバー（たとえば、hereおよびhereと記載）を宣言しません。

質問：なぜstd :: vectorに.data（）がないのですか？これはなぜboolのベクトルがメモリに連続して格納されていないのと同じ問題です。そうしないとどんなメリットがありますか？

boolの配列へのポインタが返されないのはなぜですか？

Answer 1

なぜstd :: vectorに.data（）がありませんか？

std::vector<bool>は1バイトに複数の値を格納するためです。

すべてのブール値に1ビットが必要な圧縮されたストレージシステムのように考えてみましょう。だから、代わりにメモリブロックごとに一つの要素（アレイ・セルごとに一つの要素）を有するので、メモリレイアウトは次のようになります。

はどのように、あなたがインデックスに値を取得するためのブロックを望んでいることだろうと仮定すると、演算子[]を使用していますか？ bool&を返すことはできません（1バイトを返します）。boolsを格納しています。したがって、bool*を割り当てることができませんでした。つまり、bool *bool_ptr =&v[0];はであり、有効なコードはではないため、コンパイルエラーが発生します。

さらに、正しい実装ではその特殊化が行われておらず、メモリの最適化（圧縮）が行われない可能性があります。したがって、data()は、実装に応じて期待される戻り値の型にコピーする必要があります（または標準では、単に許可するのではなく、最適化を強制する必要があります）。

なぜ、boolの配列へのポインタが返されないのですか？

std::vector<bool>はないので、したがってないポインタは簡単な方法で返されないことができ、boolsのアレイとして記憶されます。データを配列にコピーしてその配列を返すことで可能ですが、そうしないと設計上の選択です（そうした場合、すべてのコンテナに対してdata()として動作すると思います）。

そうしないとどのようなメリットがありますか？

メモリの最適化。

通常、1バイトに複数のビットを格納するため、メモリ使用量が8倍少なくなります。正確には、CHAR_BIT以下です。