std::array

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

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

Этот контейнер — агрегатный тип с теми же семантиками, что и структура, содержащая массив C-стиля T[N] в качестве единственного нестатического члена данных. В отличие от массива C-стиля, он не распадается до T* автоматически. Как агрегатный тип, он может быть инициализирован с помощью агрегатной инициализации, при этом количество инициализаторов, преобразуемых в T, не должно превышать N: 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 элементов одного типа.

Недействительность итераторов

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

Шаблонные параметры

Типы членов

Члены-функции

Нечленные функции

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

Пример

#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 Ǝ

См. также