c++中数组名本质是指针常量，其指向首元素地址且不可更改。定义如int arr[5]时arr等价于&arr[0]，类型为int但不可赋值，例如不能执行arr = anotherarray。数组名作为指针常量有三个特征：1. 不能被重新赋值；2. 可当作指针使用，如(arr + i)等价arr[i]；3. 不占用存储空间。传递数组名给函数时会退化为普通指针并丢失长度信息，如sizeof(arr)返回指针大小而非数组大小。若需保留长度信息，可用引用传递固定大小数组，如void process(int (&arr)[5])。数组名与普通指针区别体现在：1. sizeof(arr)返回数组整体大小而非指针大小；2. &arr得到的是数组指针类型而非指针的指针。理解数组名作为常量标签有助于掌握c++底层机制。
在C++中，数组名本质上是一个指向数组第一个元素的指针常量。也就是说，当你定义一个数组时，数组名会被编译器视为该数组首元素的地址，并且这个地址是不可更改的。
比如：
int arr[5] = {1, 2, 3, 4, 5};此时 arr 就等价于 &arr[0]，它的类型是 int*（准确来说是 int[5] 类型的数组，在表达式中会退化为指针），但不能被赋值，即你不能写：
立即学习“C++免费学习笔记（深入）”；
arr = anotherArray; // 错误！arr 是指针常量，不能改变其地址
数组名作为指针常量的表现
由于数组名是指针常量，它有以下几个显著特征：
- 不能被重新赋值：数组名指向的是数组的起始地址，这个地址一旦确定就不能再变。
-
可以当作指针使用：可以用数组名加偏移访问数组中的元素，比如
*(arr + i)等价于arr[i]。 - 不占用存储空间：数组名不是变量，而是一个符号地址，不会像普通指针那样占用内存空间。
举个例子：
cout << arr; // 输出数组首地址 cout << arr + 1; // 输出第二个元素的地址
这说明 arr 的行为和指针是一样的。
在函数参数中传递数组名的特性
当你把数组名作为参数传给函数时，它会自动退化为一个普通的指针，不再具有“常量”属性，也丢失了数组长度信息。
例如：
void print(int arr[]) {
cout << sizeof(arr); // 输出的是指针大小，通常是4或8字节，而不是整个数组的大小
}在这个函数内部，arr 已经变成一个普通的 int* 指针，不再是原来的数组名。因此你无法通过 arr 获取数组的长度，也无法防止越界访问。
所以如果你希望保留数组长度信息，或者想让函数处理固定大小的数组，可以这样写：
void process(int (&arr)[5]) { /* 必须传入大小为5的数组 */ }如何区分数组名和普通指针
虽然数组名在很多情况下表现得像指针，但它和真正的指针是有区别的：
-
sizeof(arr)：如果是数组名，返回的是整个数组的大小；如果是普通指针，返回的是指针本身的大小。 -
&arr：取数组名的地址，得到的是整个数组的指针类型（如int(*)[5]）；而取普通指针的地址，得到的是指针的指针（如int**）。
举个例子：
int arr[5]; int *p = arr; cout << sizeof(arr) << endl; // 输出 5 * sizeof(int) cout << sizeof(p) << endl; // 输出指针大小，如8字节
基本上就这些。数组名虽然看起来像变量，其实更像是一个带有地址信息的常量标签，理解这一点对掌握C++底层机制很有帮助。
