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 инвалидирует все итераторы;
• обмен двух 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>
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());
}

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

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