std::array

定义于头文件 `<array>`
template< class T, std::size_t N > struct array;		(自 C++11 起)

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 期间，迭代器将继续指向相同的数组元素，因此会更改其值。

[编辑] 模板参数

T	-	元素类型。必须是 MoveConstructible 和 MoveAssignable。
N	-	数组中的元素数量，或 0。

[编辑] 成员类型

成员类型定义

value_type T[编辑]

size_type std::size_t[编辑]

difference_type std::ptrdiff_t[编辑]

reference value_type&[编辑]

const_reference const value_type&[编辑]

pointer value_type*[编辑]

const_pointer const value_type*[编辑]

iterator

LegacyRandomAccessIterator 和 LegacyContiguousIterator 到 `value_type`	(直到 C++17)
LegacyRandomAccessIterator 和 LegacyContiguousIterator，它是到 `value_type` 的 LiteralType	(自 C++17 起) (直到 C++20)
LegacyRandomAccessIterator, `contiguous_iterator`, 和 ConstexprIterator 到 `value_type`	(自 C++20 起)

[编辑]

const_iterator

LegacyRandomAccessIterator 和 LegacyContiguousIterator 到 const value_type	(直到 C++17)
LegacyRandomAccessIterator 和 LegacyContiguousIterator，它是到 const value_type 的 LiteralType	(自 C++17 起) (直到 C++20)
LegacyRandomAccessIterator, `contiguous_iterator`, 和 ConstexprIterator 到 const value_type	(自 C++20 起)

[编辑]

reverse_iterator std::reverse_iterator<iterator>[编辑]

const_reverse_iterator std::reverse_iterator<const_iterator>[编辑]

[编辑] 成员函数

隐式定义的成员函数
(构造函数) (隐式声明)	根据聚合初始化的规则初始化数组（请注意，非类 `T` 的默认初始化可能会导致不确定的值） (公有成员函数)
(析构函数) (隐式声明)	销毁数组的每个元素 (公有成员函数)
operator= (隐式声明)	用另一个数组的相应元素覆盖数组的每个元素 (公有成员函数)
元素访问
at	访问带有边界检查的指定元素 (公有成员函数) [编辑]
operator[]	访问指定的元素 (公有成员函数) [编辑]
front	访问第一个元素 (公有成员函数) [编辑]
back	访问最后一个元素 (公有成员函数) [编辑]
data	直接访问底层连续存储 (公有成员函数) [编辑]
迭代器
begincbegin	返回指向开头的迭代器 (公有成员函数) [编辑]
endcend	返回指向末尾的迭代器 (公有成员函数) [编辑]
rbegincrbegin	返回指向开头的反向迭代器 (公有成员函数) [编辑]
rendcrend	返回指向末尾的反向迭代器 (公有成员函数) [编辑]
容量
empty	检查容器是否为空 (公有成员函数) [编辑]
size	返回元素数量 (公有成员函数) [编辑]
max_size	返回最大可能的元素数量 (公有成员函数) [编辑]
操作
fill	用指定值填充容器 (公有成员函数) [编辑]
swap	交换内容 (公有成员函数) [编辑]

[编辑] 非成员函数

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++11)(C++11)(C++20 中移除)(C++11)(C++20 中移除)(C++11)(C++20 中移除)(C++11)(C++20 中移除)(C++11)(C++20 中移除)(C++20)	按字典序比较两个 `array` 的值 (函数模板) [编辑]
get(std::array) (C++11)	访问 `array` 的元素 (函数模板) [编辑]
std::swap(std::array) (C++11)	特化 std::swap 算法 (函数模板) [编辑]
to_array (C++20)	从内置数组创建 `std::array` 对象 (函数模板) [编辑]

[编辑] 辅助类

std::tuple_size<std::array> (C++11)	获取 `array` 的大小 (类模板特化) [编辑]
std::tuple_element<std::array> (C++11)	获取 `array` 元素的类型 (类模板特化) [编辑]

推导指引	(自 C++17 起)

[编辑] 示例

运行此代码

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

[编辑] 参见

inplace_vector (C++26)	可调整大小、固定容量、原地连续数组 (类模板) [编辑]
vector	可调整大小的连续数组 (类模板) [编辑]
deque	双端队列 (类模板) [编辑]
make_array (库基础 TS v2)	创建 std::array 对象，其大小和可选的元素类型从参数中推导得出 (函数模板) [编辑]

编译器支持
独立和宿主
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

序列
array (C++11)
vector
vector<bool>
inplace_vector (C++26)
hive (C++26)
deque
forward_list (C++11)
list
关联
set
multiset
map
multimap
无序关联
unordered_set (C++11)
unordered_multiset (C++11)
unordered_map (C++11)
unordered_multimap (C++11)
适配器
stack
queue
priority_queue
flat_set (C++23)
flat_multiset (C++23)
flat_map (C++23)
flat_multimap (C++23)
视图
span (C++20)
mdspan (C++23)
表格
迭代器失效
成员函数表
非成员函数表

cppreference.cn

命名空间

变体

视图

操作