C++数组名为何等同指针？隐式转换规则详解

在C++中，数组名本质上是常量指针，在多数表达式中可被当作指针使用。1. 数组名不是真正的指针变量，而是指向首元素的常量地址，不可赋值；2. 常见隐式转换场景包括函数传参、算术运算及访问元素；3. 与指针不同的是，数组名代表固定内存空间，其大小通过 sizeof 可得完整数组长度，而指针仅得地址大小；4. 函数传参时数组会退化为指针，因此需额外传递长度或改用 std::array/vector 来保留大小信息。

在C++中，数组名确实经常被理解为指针，但这种说法并不完全准确。数组名本质上是一个指向数组第一个元素的指针常量，它在大多数表达式中会自动转换为该指针。理解这一点，有助于避免一些常见的误解和错误。

1. 数组名不是指针变量，但可以当指针用

很多人刚接触C++时会误以为“数组名就是指针”，其实不然。数组名是数组对象的名字，它代表的是整个数组空间。但在大多数表达式中（比如赋值、运算、函数调用），数组名会被隐式转换成指向首元素的指针。

例如：

int arr[5] = {1, 2, 3, 4, 5};
int* p = arr; // arr 被隐式转换为 &arr[0]

这里 arr 并不是一个指针变量，但它在这个表达式中表现得像一个指向 int 的指针。

注意：你不能对数组名进行赋值，比如 arr = p; 是不允许的，因为数组名是常量地址。

2. 常见的隐式转换场景

数组名会在以下几种常见情况下发生指针转换：

• 作为函数参数传递时

void func(int arr[]) {
    // 实际上这里的 arr 是 int*
}

• 用于算术运算时

arr + 1; // arr 转换为指针后加1，指向下一个元素

• 用于取地址之外的操作

cout << arr[2]; // arr 被当作指针访问第三个元素

⚠️ 特例：当数组名作为 sizeof 或 &（取地址）操作符的操作数时，不会发生指针转换。
比如：sizeof(arr) 返回的是整个数组的大小，而不是指针的大小。

3. 数组名和指针的区别要搞清楚

虽然数组名在很多地方可以当成指针来用，但它们之间有本质区别：

• 数组名表示一块连续的内存空间，而指针只是一个变量，保存的是地址。
• 数组名的大小固定，无法改变指向；而指针可以指向不同的内存区域。
• sizeof(arr) 得到的是整个数组的大小，而 sizeof(p) 得到的是指针本身的大小（通常是4或8字节）。

举个例子：

int arr[10];
int* p = arr;

cout << sizeof(arr);  // 输出 40（假设int是4字节）
cout << sizeof(p);   // 输出 8（64位系统下）

所以，别看到数组名能当指针用，就以为它真的就是指针。

4. 传参时的数组退化问题

当你把数组作为参数传给函数时，它会退化成一个指针。也就是说，函数内部无法知道数组的实际长度：

void print(int arr[5]) {
    cout << sizeof(arr); // 输出的是指针大小，不是数组大小
}

因此，如果你需要在函数里处理数组长度，必须额外传一个参数：

void process(int* arr, int size) {
    for (int i = 0; i < size; ++i)
        cout << arr[i] << " ";
}

这也是为什么现代C++推荐使用 std::array 或 std::vector 来代替原生数组的原因之一。

基本上就这些。理解数组名在表达式中的行为，特别是它如何隐式转换为指针，能帮助你写出更清晰、更安全的代码。