C++数组与指针中数组名作为指针使用规则

数组名在多数情况下退化为指向首元素的指针，如赋值给指针、传参、指针运算和解引用；但使用sizeof、&运算符或字符串初始化时，数组名代表整个数组，不退化。

在C++中，数组名在大多数情况下会被解释为指向数组首元素的指针，但这并不意味着数组名就是指针。理解数组名何时作为指针使用、何时不是，是掌握C++数组与指针关系的关键。

数组名自动转换为指针的场景

在表达式中，数组名通常会自动转换为指向其第一个元素的指针，这种转换称为“数组到指针的退化”。常见场景包括：

• 赋值给指针变量：int arr[5]; int* p = arr;，此时 arr 被解释为 &arr[0]
• 作为函数参数传递：void func(int* p)，调用 func(arr) 时，arr 转换为指针
• 参与指针运算：arr + 1 指向第二个元素，等价于 &arr[1]
• 用于解引用：*arr 等价于 arr[0]

数组名不退化为指针的例外情况

以下情况数组名不进行指针退化，而是表示整个数组：

• 使用 sizeof 运算符：sizeof(arr) 返回整个数组的字节数，而不是指针大小
• 使用 & 取地址运算符：&arr 得到的是指向整个数组的指针（类型为 int(*)[5]），而非指向首元素的指针
• 作为字符串字面量初始化数组：如 char str[] = "hello";，此时 str 是数组名，不退化

数组名与指针的本质区别

尽管数组名可当作指针使用，但二者有本质不同：

Devv

Devv是一个专为程序员打造的新一代AI搜索引擎

140

查看详情

立即学习“C++免费学习笔记（深入）”；

• 数组名是常量表达式，不能被赋值或修改指向，如 arr = other_arr; 是非法的
• 指针是变量，可以改变其指向，如 int* p; p = arr; p++; 合法
• 数组名的类型是“数组类型”，而指针的类型是“指针类型”，这在函数参数和模板推导中表现明显

函数参数中的数组与指针等价性

在函数形参中，声明为数组的形式会被视为指针：

• void func(int arr[]) 等价于 void func(int* arr)
• 即使写成 int arr[10]，编译器仍按指针处理，不会检查数组大小
• 因此无法在函数内用 sizeof 获取传入数组的实际长度，必须额外传长度参数

基本上就这些。数组名在多数表达式中表现为指针，但不是真正的指针变量，理解其退化规则和例外情况，有助于避免常见错误，写出更安全的C++代码。

以上就是C++数组与指针中数组名作为指针使用规则的详细内容，更多请关注php中文网其它相关文章！