std:: inplace_vector

inplace_vector は、連続したインラインストレージを持つ動的にサイズ変更可能な配列です。型 T の要素はオブジェクト内部に格納され、適切にアライメントされます。内部ストレージの容量はコンパイル時に固定され、 N と等しくなります。

要素は連続して格納されており、これは要素がイテレータやランダムアクセス operator [ ] を通じてだけでなく、通常のポインタへのオフセットを使用してもアクセスできることを意味します。 inplace_vector の要素へのポインタは、C配列の要素へのポインタを期待する任意の関数に渡すことができます。

inplace_vector は、 Container 、 ReversibleContainer 、 ContiguousContainer 、および SequenceContainer をモデル化し、 オプションのシーケンスコンテナ要件 のほとんどを含みます。ただし、 push_front 、 emplace_front 、 pop_front 、および prepend_range メンバ関数は提供されていません。

任意の正の N に対して、 std::inplace_vector<T, N>::iterator および std::inplace_vector<T, N>::const_iterator は ConstexprIterator 要件を満たします。

特殊化 std :: inplace_vector < T, 0 > は TriviallyCopyable であり、空です。 std:: is_trivially_default_constructible_v < std :: inplace_vector < T, 0 >> も true です。

std :: inplace_vector < T, N > のメンバー関数で、容量 N を超える挿入を引き起こすものは、 std::bad_alloc をスローします。

inplace_vector における一般的な操作の複雑度は以下の通りです：

• operator[] または at() による要素へのランダムアクセス – 定数時間: 𝓞(1) .
• 末尾への要素の挿入または削除 – 定数時間: 𝓞(1) .
• 末尾への複数要素の挿入または削除 – 挿入/削除する要素数に対して線形時間: 𝓞(n) .
• 先頭または中間への要素の挿入または削除 – 挿入/削除する要素数とベクターの末尾までの距離に対して線形時間: 𝓞(n) .

イテレータの無効化

std::inplace_vector のイテレータ無効化保証は std::vector とは異なります：

• inplace_vector を移動すると、すべてのイテレータが無効化されます；
• 2つの inplace_vector を交換すると、すべてのイテレータが無効化されます（交換中、イテレータは同じ配列要素を指し続けるため、その値が変更される可能性があります）。

以下のメンバ関数はイテレータを無効化する可能性があります: operator= , assign , assign_range , clear , emplace , erase , insert , insert_range , pop_back , resize , および swap 。

以下のメンバー関数は end イテレータのみを無効化する可能性があります： append_range 、 emplace_back 、 push_back 、 try_append_range 、 try_emplace_back 、 try_push_back 、 unchecked_emplace_back 、および unchecked_push_back 。

テンプレートパラメータ

メンバー型

メンバー関数

非メンバー関数

注記

inplace_vector 内の要素数は、要素が std::array と同様にオブジェクト内に格納されるため、固定容量まで動的に変化する可能性があります。ただし、C配列や std::array がインスタンス化時にすべての要素を構築する必要があるのとは異なり、オブジェクトは inplace_vector に挿入されるときに初期化されます。

inplace_vector は、動的メモリ割り当てが望ましくない環境で有用です。

例

#include <algorithm>
#include <array>
#include <cassert>
#include <inplace_vector>
int main()
{
    std::inplace_vector<int, 4> v1{0, 1, 2};
    assert(v1.max_size() == 4);
    assert(v1.capacity() == 4);
    assert(v1.size() == 3);
    assert(std::ranges::equal(v1, std::array{0, 1, 2}));
    assert(v1[0] == 0);
    assert(v1.at(0) == 0);
    assert(v1.front() == 0);
    assert(*v1.begin() == 0);
    assert(v1.back() == 2);
    v1.push_back(3);
    assert(v1.back() == 3);
    assert(std::ranges::equal(v1, std::array{0, 1, 2, 3}));
    v1.resize(3);
    assert(std::ranges::equal(v1, std::array{0, 1, 2}));
    assert(v1.try_push_back(3) != nullptr);
    assert(v1.back() == 3);
    assert(v1.size() == 4);
    assert(v1.try_push_back(13) == nullptr); // 空きがない
    assert(v1.back() == 3);
    assert(v1.size() == 4);
    v1.clear();
    assert(v1.size() == 0);
    assert(v1.empty());
}

関連項目

外部リンク