std::to_array是C++20用于从完整数组类型推导并构造std::array的工具，需传入保留维度信息的数组引用（如std::as_const(c_arr)），不接受裸指针或退化数组，也不能处理运行时大小数组。
std::to_array 是 C++20 引入的类型推导工具，不是“安全转换函数”
std::to_array 的核心作用是**从初始化列表或变量推导出 std::array 类型并拷贝值**，它不接受裸指针或 C 风格数组名（退化为指针）作为参数。所谓“将 C 数组转换为 std::array”，必须先让编译器看到数组的完整类型信息（即维度和元素类型），否则无法推导。
常见错误写法：
int c_arr[5] = {1, 2, 3, 4, 5};
auto arr = std::to_array(c_arr); // ❌ 编译失败：c_arr 退化为 int*这是因为 c_arr 在此处是左值，会衰减为 int*，而 std::to_array 没有重载接受裸指针的版本。
正确用法：必须传入左值引用或显式绑定数组类型
要让 std::to_array “看见”数组长度，需通过引用传递：
- 使用
std::to_array(std::as_const(c_arr))——std::as_const保留数组类型，且避免意外修改 - 或直接用
std::to_array(c_arr)+constexpr上下文（C++20 起允许对具名数组左值调用，但仅当数组是constexpr或静态存储期时才可靠） - 最稳妥的是显式模板参数 + 引用：
std::to_array<int>(c_arr)</int>，但这丧失了推导优势
推荐写法（兼顾类型安全与简洁）：
int c_arr[5] = {1, 2, 3, 4, 5};
auto arr = std::to_array(std::as_const(c_arr)); // ✅ 推导为 std::array<int, 5>此时 std::as_const(c_arr) 的类型是 const int (&)[5]，std::to_array 有对应重载，能正确提取长度和元素类型。
为什么不用 memcpy 或 reinterpret_cast？
手动内存拷贝（如 memcpy）或强制类型转换绕过类型系统，会破坏 std::array 的构造语义和 RAII 行为：
-
std::array的元素若含非平凡构造函数（如std::string），memcpy将导致未定义行为 -
reinterpret_cast<:array>*>(c_arr)</:array>违反严格别名规则，且假设内存布局完全一致——虽通常成立，但标准不保证 -
std::to_array内部使用逐元素复制/移动，确保构造、析构、异常安全等语义完整
注意边界：不能用于运行时大小的数组
C 风格数组大小必须在编译期可知，否则 std::to_array 无法工作：
立即学习“C++免费学习笔记（深入）”；
-
int* p = new int[n]; std::to_array(p);—— ❌ 根本不编译，且p不是数组类型 -
int c_arr[] = {1,2,3};（定义在函数内）—— ✅ 可用，因为数组类型完整（int[3]） - 但若通过参数传入
void foo(int arr[])，形参已退化为指针，std::to_array无能为力
真正需要运行时长度时，应改用 std::vector；坚持用 std::array 就必须让维度进入类型系统——这是类型安全的前提，不是限制，而是保障。
