C++数组名类型及指针常量特性

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] 类型的数组，在表达式中会退化为指针），但不能被赋值，即你不能写：

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++底层机制很有帮助。