auto推导数组默认退化为指针；需用auto&或auto&&保留完整数组类型；std::array是更安全的替代方案；模板中须用int(&arr)[n]形式接收定长数组。
auto 推导数组类型时默认退化为指针
直接用 auto 声明数组变量，C++ 不会保留数组类型，而是退化成指向首元素的指针——这是最常踩的坑。比如：
int arr[5] = {1,2,3,4,5};
auto a = arr; // a 的类型是 int*
此时 a 已丢失长度信息，sizeof(a) 返回指针大小（通常是 8），不是数组总字节数。
用 auto& 或 auto&& 保留数组引用类型
要真正推导出数组类型（含长度），必须显式绑定引用。常见写法有：
-
auto& ref = arr;→ 类型是int (&)[5] -
auto&& cref = arr;→ 同样推导为int (&)[5]（适用于 const 或临时量场景）
这样就能正常使用 sizeof(ref) / sizeof(ref[0]) 算长度，也能传给接受 int (&)[5] 的函数。
std::array 是更安全的替代方案
原生数组类型推导麻烦、不能拷贝、边界不安全。日常开发中，优先考虑：
std::array<int> arr = {1,2,3,4,5};
auto a = arr; // a 类型是 std::array<int>，完整保留类型和大小</int></int>
它支持拷贝、迭代器、size() 方法，且 auto 推导行为直观可靠。只有在需要兼容 C 接口或极致栈布局控制时，才硬上原生数组。
模板参数推导中数组类型怎么传
如果写模板函数想接收任意长度的数组，不能靠 auto 参数（C++17 起 lambda 支持 auto 参数，但普通函数不行），得用模板形参：
template <size_t n>
void foo(int (&arr)[N]) {
// arr 类型是 int(&)[N]，N 可在函数内使用
}</size_t>
调用 foo(arr) 时，N 会被自动推导为 5。这里不能写 auto arr，否则类型信息全丢。
数组类型推导的复杂点不在语法多难，而在于「默认退化」这个隐式行为太容易被忽略；一旦误以为 auto 会保长度，后续所有基于大小的操作都会出错。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
