数组名在多数情况下退化为指向首元素的指针，如赋值给指针、传参、指针运算和解引用；但使用sizeof、&运算符或字符串初始化时，数组名代表整个数组，不退化。
在C++中，数组名在大多数情况下会被解释为指向数组首元素的指针，但这并不意味着数组名就是指针。理解数组名何时作为指针使用、何时不是，是掌握C++数组与指针关系的关键。
数组名自动转换为指针的场景
在表达式中，数组名通常会自动转换为指向其第一个元素的指针，这种转换称为“数组到指针的退化”。常见场景包括：
- 赋值给指针变量：int arr[5]; int* p = arr;，此时 arr 被解释为 &arr[0]
- 作为函数参数传递：void func(int* p)，调用 func(arr) 时，arr 转换为指针
- 参与指针运算：arr + 1 指向第二个元素，等价于 &arr[1]
- 用于解引用：*arr 等价于 arr[0]
数组名不退化为指针的例外情况
以下情况数组名不进行指针退化，而是表示整个数组：
- 使用 sizeof 运算符：sizeof(arr) 返回整个数组的字节数，而不是指针大小
- 使用 & 取地址运算符：&arr 得到的是指向整个数组的指针（类型为 int(*)[5]），而非指向首元素的指针
- 作为字符串字面量初始化数组：如 char str[] = "hello";，此时 str 是数组名，不退化
数组名与指针的本质区别
尽管数组名可当作指针使用，但二者有本质不同：
立即学习“C++免费学习笔记（深入）”；
- 数组名是常量表达式，不能被赋值或修改指向，如 arr = other_arr; 是非法的
- 指针是变量，可以改变其指向，如 int* p; p = arr; p++; 合法
- 数组名的类型是“数组类型”，而指针的类型是“指针类型”，这在函数参数和模板推导中表现明显
函数参数中的数组与指针等价性
在函数形参中，声明为数组的形式会被视为指针：
- void func(int arr[]) 等价于 void func(int* arr)
- 即使写成 int arr[10]，编译器仍按指针处理，不会检查数组大小
- 因此无法在函数内用 sizeof 获取传入数组的实际长度，必须额外传长度参数
基本上就这些。数组名在多数表达式中表现为指针，但不是真正的指针变量，理解其退化规则和例外情况，有助于避免常见错误，写出更安全的C++代码。
