)
前言std::array是 C11 引入的固定长度数组容器定义在array中。它把 C 风格数组包成一个聚合类型长度在编译期确定、元素连续存储、不进行堆分配同时补上了 C 数组缺失的东西——能拷贝、能比较、知道自己的大小、不会隐式退化成指针、可以用标准算法和范围 for。所谓「神器用法」指的正是这些在泛型代码和constexpr场景里特别好用的性质而不是某个冷门偏方。常见的误解有三个。第一把std::array当成「可以动态变长的数组」——它的长度是模板参数编译期固定运行期不能增删元素需要变长请用std::vector。第二以为它和 C 数组完全一样于是写出void f(int* p)然后传std::array进去——它不会隐式转换必须取.data()或把函数改成模板。第三以为std::arraychar, N天然是字符串——它不会自动在末尾补\0当 C 字符串用会越界读。本文按「初始化 → 接口 → 与 C 数组的差异 → 现代用法」整理代码以 C17 为基准std::to_array、std::span等 C20 特性会明确标注。文中不声称任何代码经过编译或运行涉及行为的地方按标准语义描述。一、声明、初始化与基本性质std::arrayT, N的两个模板参数分别是元素类型和元素个数。N必须是非负的编译期常量N 0也是合法的。它是聚合类型aggregate没有用户提供的构造函数因此用花括号初始化// 适用于 C17#include array#include cstddefstruct Point { int x; int y; };void init_examples() {std::arrayint, 3 a{1, 2, 3}; // 聚合初始化std::arrayint, 3 b {4, 5, 6}; // 等号形式同样可以std::arrayint, 3 c{}; // 全部值初始化为 0std::arrayint, 3 d{}; // 同上std::arrayPoint, 2 e{{{1, 2}, {3, 4}}};std::arrayint, 0 empty{}; // 合法没有元素(void)a; (void)b; (void)c; (void)d; (void)e; (void)empty;}C11 时代有些编译器要求写双花括号{{1, 2, 3}}因为外层是聚合、内层是数组成员现代编译器普遍支持省略内层花括号的写法但两种写法都是合法的。c{}与c不初始化有本质区别前者把所有元素值初始化为 0后者作为局部变量时元素处于未初始化状态读取是未定义行为undefined behavior, UB。std::array保证元素连续存储data()返回指向首元素的指针N 0时data()可能返回空指针begin() end()此时调用front()/back()不满足前置条件是 UB。它的对象通常与同样长度的 C 数组占用相同空间且不会进行堆分配——局部std::array在栈上作为成员时随对象布局。二、接口速查std::array的成员函数不多大部分是常数时间且多数在 C17 起可以在常量表达式中使用。接口作用备注size()/max_size()元素个数对std::array二者相等返回编译期常量empty()是否为空等价于size() 0operator[]无检查下标访问越界是 UBat()有检查下标访问越界抛std::out_of_rangefront()/back()首/尾元素空数组调用是 UBdata()首元素指针可传给 C 接口fill(v)全部赋值为v对N 0无操作swap(other)交换两个同类型数组逐元素交换begin()/end()迭代器支持范围 for 与标准算法std::getI(a)编译期下标访问I必须是常量表达式比较运算符、!、等按字典序逐元素比较非成员方面std::get、std::swap、std::tuple_size、std::tuple_element都有针对std::array的特化这也是结构化绑定能作用在它身上的原因。三、它比 C 数组好在哪C 数组最让人头疼的是「退化」decay传给函数时丢失长度信息变成裸指针不能整体赋值不能用比较sizeof在函数内拿不到真实大小。std::array逐条补上了这些缺口。// 适用于 C17#include algorithm#include array#include cstddef#include iostreamtemplate std::size_t Nvoid print(const std::arrayint, N a) {for (int v : a) {std::cout v ;}std::cout \n;}int main() {std::arrayint, 5 a{5, 3, 1, 4, 2};std::sort(a.begin(), a.end()); // 标准算法直接可用print(a); // 长度由模板参数携带std::cout a.at(0) a.front() a.back() \n;auto [x, y, z, w, v] a; // C17 结构化绑定std::cout x y z w v \n;std::arrayint, 5 b a; // 可以整体拷贝std::cout std::boolalpha (a b) \n; // 可以整体比较return 0;}按标准语义std::sort后a是1 2 3 4 5at(0)、front()都是 1back()是 5结构化绑定的五个名字依次绑定到五个元素拷贝与比较都逐元素进行。注意结构化绑定的名字个数必须与N完全一致写少了或写多了都会编译失败。与 C 数组还有一个容易忽略的差别std::array作为函数参数按值传递时会整体拷贝而 C 数组会退化成指针只传地址。这既是优点语义清晰、不会意外共享也是坑大数组按值传参会产生可观开销所以通常写成const std::arrayT, N。特性C 数组std::arrayT, N长度信息传参时丢失由类型携带整体赋值不允许允许整体比较比较的是地址逐元素比较越界检查无at()可检查标准算法需显式传长度begin()/end()直接可用动态分配无无长度可变否否作为函数参数退化为指针按值拷贝或按引用传递四、现代 C 中的高阶用法类模板实参推导CTADC17。有了 CTAD可以省掉显式模板参数// 适用于 C17#include arrayvoid ctad() {std::array a{1, 2, 3}; // 推导为 std::arrayint, 3std::array b{1.0, 2.0}; // 推导为 std::arraydouble, 2std::arraychar, 4 c{a, b}; // 显式长度剩余元素为 \0(void)a; (void)b; (void)c;}CTAD 要求所有元素能推导出同一个类型std::array{1, 2.0}会因类型不一致而失败花括号初始化不允许窄化且推导要求一致。constexpr数组。std::array的很多操作在 C17 起可用于常量表达式适合做编译期查表// 适用于 C17#include array#include cstddefconstexpr std::arrayint, 5 squares{0, 1, 4, 9, 16};static_assert(squares.size() 5, size mismatch);static_assert(squares[3] 9, value mismatch);constexpr int sum(const std::arrayint, 5 a) {int total 0;for (int v : a) {total v;}return total;}static_assert(sum(squares) 30, sum mismatch);static_assert在编译期求值写错会直接编译失败不会留到运行期。这类表适合放常量映射、CRC 表、小型配置前提是长度固定且数据量不大。std::to_arrayC20。它把 C 数组或花括号列表转成std::array补上了「从初始化列表推导长度」的缺口。注意直接传花括号列表时通常需要显式给出元素类型// 需要 C20#include array#include string_viewconstexpr auto names std::to_arraystd::string_view({alpha, beta, gamma});static_assert(names.size() 3);constexpr int raw[] {10, 20, 30};constexpr auto copied std::to_array(raw); // 从 C 数组推导static_assert(copied.size() 3);std::to_array会按值复制元素对constexpr场景源数组必须是常量表达式。各编译器对 C20 库特性的支持时间不同使用前请确认工具链。作为泛型接口的边界。固定长度适合模板template std::size_t N void f(const std::arrayT, N)。但这样每个N都会实例化一份代码。如果函数逻辑与长度无关、又想同时接受std::array、std::vector和 C 数组C20 的std::span是更合适的参数类型在 C17 里可以用「指针 长度」或一对迭代器。std::array与std::span都能表达「连续的一段元素」区别是前者拥有存储、长度是类型的一部分后者只是一个视图。多维数组。用嵌套即可std::arraystd::arrayint, 3, 4表示 4 行 3 列。初始化时注意花括号层级{{{1,2,3},{4,5,6},{7,8,9},{10,11,12}}}是最不容易出错的写法。嵌套的std::array仍然是连续存储但行与行之间没有额外填充元素类型对齐决定。常见坑点❌ 把std::arrayint, 3传给参数为int*的函数期待它像 C 数组一样退化。✅std::array不隐式转换为指针传.data()或把函数改成接受const std::arrayT, N的模板。❌ 以为std::array的长度可以在运行期改变写出a.push_back(x)。✅ 长度是模板参数固定不变需要动态增长请改用std::vector。❌ 用std::arraychar, 5存放hello然后当 C 字符串传给需要\0结尾的函数。✅ 五个字符加结尾空字符需要 6 个位置明确留出\0或直接用std::string。❌ 对std::arrayT, 0调用front()、back()或解引用begin()。✅ 空数组的这些操作不满足前置条件是 UB先判断empty()或size() ! 0。❌ 用sizeof(a)当作元素个数尤其在模板里。✅sizeof返回字节数元素个数用a.size()它是编译期常量。❌ 大数组按值传参或在范围 for 里写for (auto v : big_array)造成逐元素拷贝。✅ 传参用const遍历用const auto内置类型可酌情按值。❌ 用a[i]访问可能越界的下标期待它像at()一样抛异常。✅operator[]不检查越界是 UB需要检查时用at()并处理std::out_of_range。❌ 在 C17 工程里写std::to_array或依赖std::array a{1,2,3}的 CTAD 却用 C14 编译。✅ 二者分别需要 C20 和 C17跨标准构建时显式写全模板参数最稳妥。总结用法写法版本/注意固定长度数组std::arrayint, 5 a{}C11编译期长度a.size()、std::tuple_size常量表达式安全访问a.at(i)越界抛异常编译期下标std::get2(a)下标必须是常量结构化绑定auto [x, y, z] a;C17名字个数等于 N类型推导std::array a{1, 2, 3};C17 CTAD常量表达式表constexpr std::arraystatic_assertC17 起接口更完整从 C 数组转换std::to_array(raw)C20泛型只读视图std::spanconst TC20std::array的定位很清晰长度编译期固定、存储内联、接口标准库化。它在「大小已知且不需要动态增长」的场景里几乎总是比裸 C 数组更好的选择而一旦需要运行期长度或动态扩容就该换std::vector。把at()与operator[]的边界、空数组的前置条件、CTAD 与to_array的标准版本记清楚这些「神器用法」才用得踏实。
前言std::array是 C11 引入的固定长度数组容器定义在array中。它把 C 风格数组包成一个聚合类型长度在编译期确定、元素连续存储、不进行堆分配同时补上了 C 数组缺失的东西——能拷贝、能比较、知道自己的大小、不会隐式退化成指针、可以用标准算法和范围 for。所谓「神器用法」指的正是这些在泛型代码和constexpr场景里特别好用的性质而不是某个冷门偏方。常见的误解有三个。第一把std::array当成「可以动态变长的数组」——它的长度是模板参数编译期固定运行期不能增删元素需要变长请用std::vector。第二以为它和 C 数组完全一样于是写出void f(int* p)然后传std::array进去——它不会隐式转换必须取.data()或把函数改成模板。第三以为std::arraychar, N天然是字符串——它不会自动在末尾补\0当 C 字符串用会越界读。本文按「初始化 → 接口 → 与 C 数组的差异 → 现代用法」整理代码以 C17 为基准std::to_array、std::span等 C20 特性会明确标注。文中不声称任何代码经过编译或运行涉及行为的地方按标准语义描述。一、声明、初始化与基本性质std::arrayT, N的两个模板参数分别是元素类型和元素个数。N必须是非负的编译期常量N 0也是合法的。它是聚合类型aggregate没有用户提供的构造函数因此用花括号初始化// 适用于 C17#include array#include cstddefstruct Point { int x; int y; };void init_examples() {std::arrayint, 3 a{1, 2, 3}; // 聚合初始化std::arrayint, 3 b {4, 5, 6}; // 等号形式同样可以std::arrayint, 3 c{}; // 全部值初始化为 0std::arrayint, 3 d{}; // 同上std::arrayPoint, 2 e{{{1, 2}, {3, 4}}};std::arrayint, 0 empty{}; // 合法没有元素(void)a; (void)b; (void)c; (void)d; (void)e; (void)empty;}C11 时代有些编译器要求写双花括号{{1, 2, 3}}因为外层是聚合、内层是数组成员现代编译器普遍支持省略内层花括号的写法但两种写法都是合法的。c{}与c不初始化有本质区别前者把所有元素值初始化为 0后者作为局部变量时元素处于未初始化状态读取是未定义行为undefined behavior, UB。std::array保证元素连续存储data()返回指向首元素的指针N 0时data()可能返回空指针begin() end()此时调用front()/back()不满足前置条件是 UB。它的对象通常与同样长度的 C 数组占用相同空间且不会进行堆分配——局部std::array在栈上作为成员时随对象布局。二、接口速查std::array的成员函数不多大部分是常数时间且多数在 C17 起可以在常量表达式中使用。接口作用备注size()/max_size()元素个数对std::array二者相等返回编译期常量empty()是否为空等价于size() 0operator[]无检查下标访问越界是 UBat()有检查下标访问越界抛std::out_of_rangefront()/back()首/尾元素空数组调用是 UBdata()首元素指针可传给 C 接口fill(v)全部赋值为v对N 0无操作swap(other)交换两个同类型数组逐元素交换begin()/end()迭代器支持范围 for 与标准算法std::getI(a)编译期下标访问I必须是常量表达式比较运算符、!、等按字典序逐元素比较非成员方面std::get、std::swap、std::tuple_size、std::tuple_element都有针对std::array的特化这也是结构化绑定能作用在它身上的原因。三、它比 C 数组好在哪C 数组最让人头疼的是「退化」decay传给函数时丢失长度信息变成裸指针不能整体赋值不能用比较sizeof在函数内拿不到真实大小。std::array逐条补上了这些缺口。// 适用于 C17#include algorithm#include array#include cstddef#include iostreamtemplate std::size_t Nvoid print(const std::arrayint, N a) {for (int v : a) {std::cout v ;}std::cout \n;}int main() {std::arrayint, 5 a{5, 3, 1, 4, 2};std::sort(a.begin(), a.end()); // 标准算法直接可用print(a); // 长度由模板参数携带std::cout a.at(0) a.front() a.back() \n;auto [x, y, z, w, v] a; // C17 结构化绑定std::cout x y z w v \n;std::arrayint, 5 b a; // 可以整体拷贝std::cout std::boolalpha (a b) \n; // 可以整体比较return 0;}按标准语义std::sort后a是1 2 3 4 5at(0)、front()都是 1back()是 5结构化绑定的五个名字依次绑定到五个元素拷贝与比较都逐元素进行。注意结构化绑定的名字个数必须与N完全一致写少了或写多了都会编译失败。与 C 数组还有一个容易忽略的差别std::array作为函数参数按值传递时会整体拷贝而 C 数组会退化成指针只传地址。这既是优点语义清晰、不会意外共享也是坑大数组按值传参会产生可观开销所以通常写成const std::arrayT, N。特性C 数组std::arrayT, N长度信息传参时丢失由类型携带整体赋值不允许允许整体比较比较的是地址逐元素比较越界检查无at()可检查标准算法需显式传长度begin()/end()直接可用动态分配无无长度可变否否作为函数参数退化为指针按值拷贝或按引用传递四、现代 C 中的高阶用法类模板实参推导CTADC17。有了 CTAD可以省掉显式模板参数// 适用于 C17#include arrayvoid ctad() {std::array a{1, 2, 3}; // 推导为 std::arrayint, 3std::array b{1.0, 2.0}; // 推导为 std::arraydouble, 2std::arraychar, 4 c{a, b}; // 显式长度剩余元素为 \0(void)a; (void)b; (void)c;}CTAD 要求所有元素能推导出同一个类型std::array{1, 2.0}会因类型不一致而失败花括号初始化不允许窄化且推导要求一致。constexpr数组。std::array的很多操作在 C17 起可用于常量表达式适合做编译期查表// 适用于 C17#include array#include cstddefconstexpr std::arrayint, 5 squares{0, 1, 4, 9, 16};static_assert(squares.size() 5, size mismatch);static_assert(squares[3] 9, value mismatch);constexpr int sum(const std::arrayint, 5 a) {int total 0;for (int v : a) {total v;}return total;}static_assert(sum(squares) 30, sum mismatch);static_assert在编译期求值写错会直接编译失败不会留到运行期。这类表适合放常量映射、CRC 表、小型配置前提是长度固定且数据量不大。std::to_arrayC20。它把 C 数组或花括号列表转成std::array补上了「从初始化列表推导长度」的缺口。注意直接传花括号列表时通常需要显式给出元素类型// 需要 C20#include array#include string_viewconstexpr auto names std::to_arraystd::string_view({alpha, beta, gamma});static_assert(names.size() 3);constexpr int raw[] {10, 20, 30};constexpr auto copied std::to_array(raw); // 从 C 数组推导static_assert(copied.size() 3);std::to_array会按值复制元素对constexpr场景源数组必须是常量表达式。各编译器对 C20 库特性的支持时间不同使用前请确认工具链。作为泛型接口的边界。固定长度适合模板template std::size_t N void f(const std::arrayT, N)。但这样每个N都会实例化一份代码。如果函数逻辑与长度无关、又想同时接受std::array、std::vector和 C 数组C20 的std::span是更合适的参数类型在 C17 里可以用「指针 长度」或一对迭代器。std::array与std::span都能表达「连续的一段元素」区别是前者拥有存储、长度是类型的一部分后者只是一个视图。多维数组。用嵌套即可std::arraystd::arrayint, 3, 4表示 4 行 3 列。初始化时注意花括号层级{{{1,2,3},{4,5,6},{7,8,9},{10,11,12}}}是最不容易出错的写法。嵌套的std::array仍然是连续存储但行与行之间没有额外填充元素类型对齐决定。常见坑点❌ 把std::arrayint, 3传给参数为int*的函数期待它像 C 数组一样退化。✅std::array不隐式转换为指针传.data()或把函数改成接受const std::arrayT, N的模板。❌ 以为std::array的长度可以在运行期改变写出a.push_back(x)。✅ 长度是模板参数固定不变需要动态增长请改用std::vector。❌ 用std::arraychar, 5存放hello然后当 C 字符串传给需要\0结尾的函数。✅ 五个字符加结尾空字符需要 6 个位置明确留出\0或直接用std::string。❌ 对std::arrayT, 0调用front()、back()或解引用begin()。✅ 空数组的这些操作不满足前置条件是 UB先判断empty()或size() ! 0。❌ 用sizeof(a)当作元素个数尤其在模板里。✅sizeof返回字节数元素个数用a.size()它是编译期常量。❌ 大数组按值传参或在范围 for 里写for (auto v : big_array)造成逐元素拷贝。✅ 传参用const遍历用const auto内置类型可酌情按值。❌ 用a[i]访问可能越界的下标期待它像at()一样抛异常。✅operator[]不检查越界是 UB需要检查时用at()并处理std::out_of_range。❌ 在 C17 工程里写std::to_array或依赖std::array a{1,2,3}的 CTAD 却用 C14 编译。✅ 二者分别需要 C20 和 C17跨标准构建时显式写全模板参数最稳妥。总结用法写法版本/注意固定长度数组std::arrayint, 5 a{}C11编译期长度a.size()、std::tuple_size常量表达式安全访问a.at(i)越界抛异常编译期下标std::get2(a)下标必须是常量结构化绑定auto [x, y, z] a;C17名字个数等于 N类型推导std::array a{1, 2, 3};C17 CTAD常量表达式表constexpr std::arraystatic_assertC17 起接口更完整从 C 数组转换std::to_array(raw)C20泛型只读视图std::spanconst TC20std::array的定位很清晰长度编译期固定、存储内联、接口标准库化。它在「大小已知且不需要动态增长」的场景里几乎总是比裸 C 数组更好的选择而一旦需要运行期长度或动态扩容就该换std::vector。把at()与operator[]的边界、空数组的前置条件、CTAD 与to_array的标准版本记清楚这些「神器用法」才用得踏实。
平方复杂度无法被常规优化消除｜TaoToken 统一 Key 通道实测)
