auto推导数组名为指针是因为c++标准规定数组名在多数表达式中自动退化为指向首元素的指针，auto仅忠实推导该退化后的类型；唯一不退化的场景是取地址，但auto仍推导为数组指针类型。
auto推导数组名时为什么会退化成指针
因为C++标准规定：**数组名在绝大多数表达式中会自动“退化”为指向首元素的指针**，auto只是忠实地推导了这个退化后的类型，而不是保留原始数组类型。
这不是auto的bug或特殊行为，而是它严格遵循初始化表达式的值类别和隐式转换规则——而数组名作为右值参与初始化时，本身就不是数组类型了。
-
inta[3] = {1,2,3};中，a是数组类型int[3]；但一旦用它初始化变量（如auto b = a;），a就退化为int* - 同理，函数参数写
void f(int arr[5])，实际等价于void f(int* arr)，也是退化行为 - 唯一不退化的场景是取地址：
decltype(&a)得到的是int(*)[3]，但auto p = &a;仍会推导为该指针类型，而非“数组的引用”
怎么让auto保留数组类型
直接做不到。你不能用 auto x = arr; 得到 int[3] 类型的变量，因为数组不可拷贝，且初始化表达式已退化。
但你可以用引用绕过退化，从而“绑定”原数组：
-
auto& ref = arr;→ref的类型是int(&)[3]（数组引用） -
const auto& cref = arr;→ 同样是引用，且更安全（防止误改） - 注意：
auto&& rref = arr;在此场景下也推导为左值引用，效果同auto&
别试图用 std::array 来“修复”这个问题——它本就是设计来替代C风格数组的，auto arr2 = std::array{1,2,3}; 推导结果就是 std::array<int></int>，没有退化。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
为什么 decltype(arr) 和 auto 推导结果不同
因为 decltype 看的是**表达式本身的形式**，而 auto 看的是**表达式求值后的类型（含退化）**。
-
decltype(arr)→int[3]（原生数组类型） -
decltype((arr))→int(&)[3]（加括号变成左值表达式，得到引用） -
auto x = arr;→int*（arr退化后参与初始化）
这说明：想精确控制类型，decltype 比 auto 更底层、更“诚实”，但它不能用于变量声明（除非配合 using 或 typedef）。
实际踩坑：传数组进函数时 auto 的误导性
写 void f(auto arr) 是错的——这根本不是函数模板，C++不支持这种写法；而写 template<typename t> void f(T arr)</typename> 时，若传入C数组，T 会被推导为 int*，不是 int[3]。
- 正确做法：用引用模板参数
template<size_t n> void f(int (&arr)[N])</size_t> - 或改用
std::span<const int></const>（C++20）或std::array，它们能完整携带尺寸信息 - 如果硬要用
auto做形参（C++20起的 abbreviated function template），也得配合引用：void f(auto& arr)，再靠std::extent_v或std::size取长度
最易被忽略的一点：数组退化是语言级规则，auto 只是照单全收；想绕开它，必须主动引入引用或现代容器——指望 auto “聪明地恢复数组类型”，是方向性误解。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
