std::array

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

std::array — это контейнер, инкапсулирующий массивы фиксированного размера.

Этот контейнер является агрегатным типом с той же семантикой, что и структура, содержащая массив в стиле C T[N] в качестве единственного нестатического члена данных. В отличие от массива в стиле C, он не преобразуется автоматически в T*. Будучи агрегатным типом, он может быть инициализирован с помощью агрегатной инициализации не более чем N инициализаторами, преобразуемыми в T: std::array<int, 3> a = {1, 2, 3};.

Эта структура сочетает производительность и доступность массива в стиле C с преимуществами стандартного контейнера, такими как знание собственного размера, поддержка присваивания, итераторы произвольного доступа и т. д.

std::array удовлетворяет требованиям Container и ReversibleContainer, за исключением того, что массив, созданный по умолчанию, не пуст, а сложность операции обмена линейна; удовлетворяет требованиям ContiguousContainer,(начиная с C++17) и частично удовлетворяет требованиям SequenceContainer.

Предусмотрен особый случай для массива нулевой длины (N == 0). В этом случае array.begin() == array.end(), имеющее некоторое уникальное значение. Поведение при вызове front() или back() для массива нулевого размера не определено.

Массив также можно использовать как кортеж из N элементов одного типа.

Инвалидация итераторов

Как правило, итераторы массива никогда не инвалидируются в течение всего времени жизни массива. Однако следует учитывать, что во время операции swap итератор продолжит указывать на тот же элемент массива, и поэтому его значение изменится.

Параметры шаблона

Типы-члены

Функции-члены

Функции, не являющиеся членами

Вспомогательные классы

Пример

#include <algorithm>
#include <array>
#include <iostream>
#include <iterator>
#include <string>

int main()
{
    // Construction uses aggregate initialization
    std::array<int, 3> a1{{1, 2, 3}}; // Double-braces required in C++11 prior to
                                      // the CWG 1270 revision (not needed in C++11
                                      // after the revision and in C++14 and beyond)

    std::array<int, 3> a2 = {1, 2, 3}; // Double braces never required after =

    // Container operations are supported
    std::sort(a1.begin(), a1.end());
    std::ranges::reverse_copy(a2, std::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';

    // Ranged for loop is supported
    std::array<std::string, 2> a3{"E", "\u018E"};
    for (const auto& s : a3)
        std::cout << s << ' ';
    std::cout << '\n';

    // Deduction guide for array creation (since C++17)
    [[maybe_unused]] std::array a4{3.0, 1.0, 4.0}; // std::array<double, 3>

    // Behavior of unspecified elements is the same as with built-in arrays
    [[maybe_unused]] std::array<int, 2> a5; // No list init, a5[0] and a5[1]
                                            // are default initialized
    [[maybe_unused]] std::array<int, 2> a6{}; // List init, both elements are value
                                              // initialized, a6[0] = a6[1] = 0
    [[maybe_unused]] std::array<int, 2> a7{1}; // List init, unspecified element is value
                                               // initialized, a7[0] = 1, a7[1] = 0
}

3 2 1
E Ǝ

См. также