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 满足容器和可逆容器的要求，除了默认构造的数组不是空的，交换的复杂度是线性的，满足连续容器的要求，(自 C++17 起) 并部分满足序列容器的要求。

对于零长度数组 (N == 0) 有一个特殊情况。在这种情况下，array.begin() == array.end()，它是一个唯一的特定值。在零大小数组上调用 front() 或 back() 的效果是未定义的。

数组也可以用作 N 个相同类型元素的元组。

[编辑] 迭代器失效

作为一项规则，数组的迭代器在数组的整个生命周期中永远不会失效。但是，应该注意，在交换期间，迭代器将继续指向同一个数组元素，因此它的值会改变。

[编辑] 模板参数

T	-	元素类型必须是可移动构造和可移动赋值。
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

传统随机访问迭代器和传统连续迭代器到 `value_type`	(直到 C++17)
传统随机访问迭代器和传统连续迭代器是 `value_type` 的字面量类型	(自 C++17 起) (直到 C++20)
传统随机访问迭代器、`contiguous_iterator` 和 constexpr 迭代器到 `value_type`	(自 C++20 起)

[编辑]

const_iterator

LegacyRandomAccessIterator 和 LegacyContiguousIterator 到 const value_type	(直到 C++17)
LegacyRandomAccessIterator 和 LegacyContiguousIterator 是一个 LiteralType 到 const value_type	(自 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++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

序列
array (C++11)
vector
vector<bool>
inplace_vector (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.com

命名空间

变体

视图

操作