数组退化指C++中数组在函数传参等场景下自动转为指向首元素的指针，失去大小信息；如函数参数中int arr[]实际为int*，sizeof返回指针大小而非数组总大小；常见于函数传参、指针赋值和表达式使用；可通过引用传递int (&arr)[10]避免退化，保留类型信息。
在C++中，数组退化为指针（Array Decay）指的是：当数组作为参数传递给函数或用于某些表达式时，它会自动转换为指向其首元素的指针。这意味着数组失去了其“数组类型”中包含的大小信息，仅保留指向数据的指针。
数组退化发生的具体场景
数组退化最常见于以下几种情况：
- 函数参数传递：当数组作为参数传入函数时，实际接收的是指向首元素的指针。
- 赋值或初始化指针：将数组名赋值给指针变量时，数组名自动转为指针。
- 作为表达式操作数：在大多数表达式中，数组名会被转换为指针。
注意：数组退化不是类型转换，而是一种语言规则，发生在编译阶段。
具体示例说明
考虑以下代码：
立即学习“C++免费学习笔记（深入）”；
void func(int arr[]) {
// 这里的 arr 实际上是 int*，不是数组
cout << sizeof(arr) << endl; // 输出指针大小（如 8 字节），不是整个数组大小
}
int main() {
int data[10];
cout << sizeof(data) << endl; // 输出 40（假设 int 为 4 字节）
func(data); // 数组退化为 int*
return 0;
}
在 main 中，data 是一个大小为 10 的 int 数组，sizeof(data) 返回 40。但在 func 函数中，arr 已经是指针，sizeof(arr) 返回的是指针大小，不再是数组总大小。
退化带来的影响与注意事项
数组退化虽然方便，但也带来一些限制：
- 无法在函数内部通过 sizeof 获取数组长度，必须额外传入大小参数。
- 退化后的指针不携带维度信息，对多维数组的处理需特别注意声明方式。
- 使用 std::array 或引用传递数组可避免退化问题。
例如，防止退化的写法：
void func_ref(int (&arr)[10]) { // 按引用传递，保留数组类型
cout << sizeof(arr) << endl; // 正确输出 40
}
基本上就这些。数组退化是C++中一个基础但容易忽略的机制，理解它有助于写出更安全、清晰的代码。不复杂但容易忽略。
