为什么数组变量等于它的地址？ [复制]

Question

我是 C 编程新手，有一个问题困扰着我。 我们来看下面这段代码：

int main()
{
   int arr[3]={1,2,3};
   printf("%d\n", arr);
   printf("%d", &arr);
}

如果我运行此代码，它会为 arr 和 &arr 提供相同的结果。但为什么 arr=&arr？ 我已经看到了很多关于这个主题的答案，但我都不清楚。简而言之，人们同意数组变量保存数组第一个元素的地址，例如，arr 保存 arr[0] 的地址，比如 arr= 4340。那么变量 arr 必须存储在内存中的某个位置，并且&arr 是存储值 4340 的内存单元的地址。如果 &arr = arr 则结果是 4340 存储在地址 4340。但是地址 4340 的值是数组的第一个元素的值，所以它应该是1？？？ 在这一点上我很困惑，非常感谢一些帮助。

Answer 1

您在这里的困惑与数组和指针的等效性有关。也就是说，数组不是指针，而是在某些情况下，数组衰减变成指针。

数组不保存第一个元素的地址，而是一组连续的基本类型元素。数组本身的地址恰好是第一个元素的地址。

指针和数组之间有显着差异的一个地方是sizeof 运算符可以分辨出差异。假设 int 是 4 个字节，一个指针是 8 个字节，sizeof(arr) 会给你 12，而sizeof(&arr) 会给你 8。

当您将arr 传递给函数时，它会衰减为指向第一个元素的指针。所以打印arr 和&arr 会得到相同的值。

话虽如此，您应该始终使用%p 而不是%d 来打印指针，因为这会导致未定义的行为。

Answer 2

您的程序的行为是未定义。您不能使用%d 作为数组类型的格式说明符或数组类型的地址。您可以通过 arr[0] 来获取该数组中第一个元素的值。

偶尔arr 会衰减 指向int* 类型的指针，例如当它被传递给函数时。事实上，arr 等于 &arr，因为它们是 printf 的参数，格式说明符更正为 %p，这也是由于指针衰减。