17370845950

数组名不是指针，而是具有数组类型的不可修改左值；它在表达式中常隐式转换为指针，但sizeof、赋值、自增等操作暴露本质差异。

在C++中，数组名在大多数情况下会自动退化为指向其首元素的指针，但这不意味着数组名就是指针——它是一个不可修改的左值，类型是“数组类型”，而指针是独立变量，类型是“指针类型”。理解这个区别，是避免越界、传参错误和sizeof误用的关键。

数组名不是指针，但常被当作指针使用

定义 int arr[5] = {1,2,3,4,5}; 后，arr 本身不是指针变量，没有独立的存储空间存放地址；它的类型是 int[5]。但在表达式中（如 arr + 1、*arr、传给函数时），它会隐式转换为类型为 int* 的右值，指向首元素。

• 合法：int* p = arr;（隐式转换发生）
• 非法：arr = p;（数组名不可赋值，非可修改左值）
• 非法：arr++;（同上，不能自增）

sizeof 行为彻底暴露本质差异

sizeof(arr) 返回整个数组占用字节数（如 5 * sizeof(int)），而 sizeof(p)（其中 p 是 int*）返回指针本身大小（通常为 4 或 8 字节）。这是最直观验证“数组名 ≠ 指针变量”的方式。

• 若函数参数写成 void f(int arr[])，实际等价于 void f(int* arr)，编译器已丢弃长度信息 → sizeof(arr) 在函数内永远是指针大小
• 要保留长度，需用引用： void f(int (&arr)[5])，此时 sizeof(arr) 才是 20（假设 int 为 4 字节）

数组名的类型决定了它能绑定谁

数组名的完整类型包含元素类型和大小，因此只能初始化或绑定到匹配的数组引用或指针类型，不能随意混用。

• 可以：int (&ref)[5] = arr;（绑定到同类型数组引用）
• 可以：int* p = arr;（隐式转为指针）
• 不可以：int* &refp = arr;（试图让指针引用绑定到数组名——类型不匹配）
• 不可以：int (*p2)[4] = &arr;（&arr 类型是 int(*)[5]，不是 int(*)[4]）

字符串字面量进一步强化概念

char s[] = "hello"; 定义的是字符数组，s 类型是 char[6]；而 char* p = "hello"; 中，"hello" 是存储在只读区的字符串字面量，类型是 const char[6]，p 是指向它的指针。前者可修改（s[0] = 'H'），后者若尝试修改（p[0] = 'H'）将导致未定义行为。

• 关键点：sizeof("hello") 是 6（含 '\0'），sizeof(p) 是指针大小
• 数组名在这里仍是“地址常量”，但背后有

  

  完整的对象布局；指针只是记录地址的变量