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 得这样写：
std::array
// 或用 std::array
不仅冗长，还容易出错（比如长度写错、类型不一致），也不能直接从数组名推导——因为 c_arr 作为参数传入函数时会退化为指针。
std::to_array 的基本用法
它定义在
立即学习“C++免费学习笔记（深入）”；
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>） - 对字符串字面量也友好：
std::to_array("hello")→std::array（含 '\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}); - 用于模板参数推导：
templatevoid f(std::array ); f(std::to_array(data)); - 避免拷贝大数组？注意：std::to_array 总是按值返回，适合中小规模数组；超大数组建议用视图（如 std::span）而非复制
基本上就这些。std::to_array 不复杂但容易忽略，却是 C++20 中提升数组操作安全性与可读性的一个实用小工具。
