数组名在表达式中会自动转换为指向首元素的指针,因此可进行指针运算和解引用,如arr[2]等价于*(arr+2),但数组名并非指针变量,sizeof(arr)返回整个数组大小,&arr类型为指向数组的指针,初始化时如char s[]="hello"中s为数组名,本质仍是数组标识符。

在C++中,数组名在很多情况下可以当作指针使用,是因为数组名在大多数表达式中会“退化”为指向其首元素的指针。这并不是说数组名本身就是指针,而是它在特定上下文中被自动转换为指针类型。
数组名的“退化”机制
当数组名出现在表达式中时(除了少数例外),它会自动转换为指向第一个元素的指针。例如:
int arr[5] = {1, 2, 3, 4, 5};int* p = arr; // arr 被转换为 &arr[0]
这里的 arr 本身不是指针,但它在赋值给 p 时,其值变成了首元素的地址。这种行为让数组名在使用上看起来像指针。
支持指针操作的语法
由于数组名可被当作指针使用,因此可以进行指针运算和解引用:
立即学习“C++免费学习笔记(深入)”;
- arr[2] 等价于 *(arr + 2) —— 这是通过指针算术实现的
- arr + 1 指向第二个元素,类型为 int*
这种统一的语法设计让数组和指针在访问元素时具有一致性,提高了编程的便利性。
数组名不能完全等同于指针的例外情况
尽管数组名常被当作指针,但它不是指针变量,以下情况中数组名不会退化:
- 使用 sizeof(arr):返回整个数组的字节大小,而不是指针的大小
- 使用 &arr:得到的是指向整个数组的指针(类型为 int(*)[5]),而非指向首元素的指针
- 作为字符串字面量初始化数组时,如 char s[] = "hello";,s 是数组名,不是指针变量
基本上就这些。数组名能当作指针用,是因为语言设计中的自动转换规则,但它本质上仍是数组的标识符,不是真正的指针变量。理解这一点有助于避免在传参、sizeof 和取地址时出现误解。










