std::to_array是C++20引入的函数模板，用于安全、自动推导类型和大小地将C风格数组转换为std::array，避免手动展开和指针退化问题，仅接受编译期已知边界的内置数组，不支持指针或运行时大小。

std::to_array 是 C++20 引入的一个便捷函数模板，用于**将 C 风格数组（即内置数组）安全、自动推导类型和大小地转换为 std::array**。它解决了手动构造 std::array 时需重复写类型和长度的繁琐问题，同时避免了隐式退化为指针的风险。

为什么需要 std::to_array？

在 C++17 及之前，把一个 C 数组转成 std::array 得这样写：

int c_arr[] = {1, 2, 3};
std::array arr = {c_arr[0], c_arr[1], c_arr[2]}; // 手动展开，易错
// 或用 std::array arr = std::array{c_arr[0], c_arr[1], c_arr[2]};

不仅冗长，还容易出错（比如长度写错、类型不一致），也不能直接从数组名推导——因为 c_arr 作为参数传入函数时会退化为指针。

std::to_array 的基本用法

它定义在 <array></array> 头文件中，语法简洁：

立即学习“C++免费学习笔记（深入）”；

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

#include

int data[] = {10, 20, 30, 40};
auto arr = std::to_array(data); // 推导为 std::array

编译器自动获取数组的元素类型和长度，返回一个值语义的 std::array 对象。

• 支持任意元素类型（基础类型、类类型、甚至 const 限定类型）
• 支持多维 C 数组（如 int m[2][3] → std::array<:array>, 2></:array>）
• 对字符串字面量也友好：std::to_array("hello") → std::array<char></char>（含 '\0'）

安全性和限制

std::to_array 是**编译期安全**的：

• 只接受真正的 C 数组（具有已知边界的内置数组），不接受指针。传入指针会编译失败，杜绝了“误传首地址”的隐患
• 不允许空数组（C 中不允许 int a[0]，所以无此问题）
• 不支持运行时大小（毕竟 C 数组大小必须是编译时常量）
• 若数组含非常量表达式（如 VLA —— 尽管标准 C++ 不允许），同样无法通过编译

例如下面代码会报错：

int* ptr = new int[5];
// auto bad = std::to_array(ptr); // ❌ 编译错误：无法匹配重载

实际使用小技巧

• 配合结构化绑定更清晰：auto [x, y, z] = std::to_array({1, 2, 3});
• 用于模板参数推导：template<typename t size_t n> void f(std::array<t n>); f(std::to_array(data));</t></typename>
• 避免拷贝大数组？注意：std::to_array 总是按值返回，适合中小规模数组；超大数组建议用视图（如 std::span）而非复制

基本上就这些。std::to_array 不复杂但容易忽略，却是 C++20 中提升数组操作安全性与可读性的一个实用小工具。