std:: array

std::array 是一种封装固定大小数组的容器。

此容器是一个聚合类型，其语义与持有 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()
{
    // 构造使用聚合初始化
    std::array<int, 3> a1{{1, 2, 3}}; // C++11 中在 CWG 1270 修订前需要双花括号
                                      //（修订后的 C++11 及 C++14 之后无需）
    std::array<int, 3> a2 = {1, 2, 3}; // 在 = 后永远不需要双花括号
    // 支持容器操作
    std::sort(a1.begin(), a1.end());
    std::ranges::reverse_copy(a2, std::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
    // 支持范围 for 循环
    std::array<std::string, 2> a3{"E", "\u018E"};
    for (const auto& s : a3)
        std::cout << s << ' ';
    std::cout << '\n';
    // 数组创建的推导指南（C++17 起）
    [[maybe_unused]] std::array a4{3.0, 1.0, 4.0}; // std::array<double, 3>
    // 未指定元素的行为与内置数组相同
    [[maybe_unused]] std::array<int, 2> a5; // 无列表初始化，a5[0] 和 a5[1]
                                            // 为默认初始化
    [[maybe_unused]] std::array<int, 2> a6{}; // 列表初始化，两个元素均为值
                                              // 初始化，a6[0] = a6[1] = 0
    [[maybe_unused]] std::array<int, 2> a7{1}; // 列表初始化，未指定元素为值
                                               // 初始化，a7[0] = 1, a7[1] = 0
}

3 2 1
E Ǝ

另请参阅