为什么数组名可以当作指针使用 数组到指针隐式转换原理

数组名在c++/c++中不是指针，但在多数情况下会自动退化为指针。1. 数组名是一个符号常量，表示数组首地址；2. 在函数参数传递、参与运算、初始化指针等场景下，数组名会隐式转换为指向首元素的指针；3. 例外情况包括使用sizeof和取地址符&时；4. 这种设计出于效率和历史原因，避免复制整个数组并保持语言轻便；5. 使用时需注意丢失大小信息的问题，建议额外传递长度参数，尤其处理多维数组时更需谨慎。理解该机制有助于编写清晰安全的代码。

数组名在很多情况下可以当作指针使用，这其实是C/C++语言设计中的一个特性。它背后有一套隐式转换机制，理解这个机制有助于写出更清晰、安全的代码。

数组名不是指针，但会“退化”成指针

很多人一开始会误以为数组名就是指针，其实并不是。数组名是一个表示数组起始地址的符号常量，而不是一个变量。但在大多数表达式中，数组名会被自动转换为指向数组第一个元素的指针。这就是所谓的“数组到指针的退化”。

比如下面这段代码：

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

这里 arr 并不是一个指针变量，但它被赋值给指针 p 的时候，编译器自动把它转成了 &arr[0]，也就是指向数组首元素的指针。

哪些地方数组名会当作指针用？

有几个常见场景下，数组名会自动退化为指针：

• 作为函数参数传递时：当你把数组传给函数，实际上只是传了一个指针。

  

  阿里云-虚拟数字人

  阿里云-虚拟数字人是什么？ ...

  2

  查看详情

  void func(int arr[]) {
      // 实际上等价于 int *arr
  }

  登录后复制

• 参与运算时：例如 arr + 1，这时候 arr 就已经变成了指针类型。

• 用于初始化指针时：如 int *p = arr;，这种写法是合法的。

不过也有一些例外情况，比如 sizeof(arr) 和 &arr，这个时候数组名不会退化成指针。

为什么这么设计？

这套机制的设计主要是出于效率和历史原因考虑：

• 避免整体复制数组：如果每次传数组都复制整个数组，效率会很低。通过退化为指针，只传地址，节省了时间和空间。
• 兼容早期C语言风格：C语言诞生时硬件资源有限，这样的设计让语言更轻便灵活。

当然这也带来了一些陷阱，比如你无法在函数内部直接判断数组长度，因为接收到的只是一个指针。

使用时要注意的几个点

• 一旦数组退化为指针，就失去了数组本身的大小信息
• sizeof(arr) 在数组作用域内能正确返回数组总大小，但如果传的是指针，结果只是指针大小
• 如果你想保留数组大小信息，最好额外传一个长度参数
• 对于多维数组，退化的规则会更复杂一些，需要注意维度处理

基本上就这些。这个机制虽然方便，但也容易让人误解，特别是刚接触C/C++的时候。理解清楚数组和指针之间的关系，才能写出更健壮的代码。

以上就是为什么数组名可以当作指针使用 数组到指针隐式转换原理的详细内容，更多请关注php中文网其它相关文章！