std::inplace_vector

template<
    class T,
    std::size_t N
> struct inplace_vector;

std::inplace_vector является динамически расширяемым массивом с непрерывным встроенным хранилищем. Элементы типа T хранятся и правильно выравниваются внутри самого объекта. Вместимость внутреннего хранилища фиксирована на этапе компиляции и равна N.

Элементы хранятся непрерывно, что означает, что к элементам можно получить доступ не только через итераторы или произвольный доступ operator[], но и с использованием смещений к обычным указателям на элементы. Указатель на элемент inplace_vector может быть передан любой функции, которая ожидает указатель на элемент C-массива.

std::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 инвалидирует все итераторы;
• обмен двух inplace_vector s инвалидирует все итераторы (во время обмена итератор продолжит указывать на тот же элемент массива и может таким образом изменить своё значение).

Следующие функции-члены потенциально инвалидируют итераторы: 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. Однако объекты инициализируются при вставке в inplace_vector, в отличие от C-массивов или std::array, которые должны конструировать все элементы при создании.

inplace_vector полезен в средах, где нежелательно динамическое выделение памяти.

Пример

#include <algorithm>
#include <array>
#include <cassert>
#include <inplace_vector>
#include <optional>

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) != std::nullopt);
    assert(v1.back() == 3);
    assert(v1.size() == 4);
    assert(v1.try_push_back(13) == std::nullopt); // no place
    assert(v1.back() == 3);
    assert(v1.size() == 4);
    v1.clear();
    assert(v1.size() == 0);
    assert(v1.empty());
}

Смотрите также

Внешние ссылки