C 数组如何成为“本身的命名变量”

Question

在Peter Van Der Linden所著的《Expert C Programming： Deep C Secrets》一书的第103页上，有一张关于数组和指针之间区别的表格。

一个我不太明白的问题——直接引用：

指针：通常指向匿名数据

数组：本身就是一个命名变量

这是什么意思？由于您可以执行以下操作：

#include <stdio.h>
#include <stdlib.h>
int main(void){
  int x[] = {1, 2, 3, 4, 5, 6, 7, 8, 9};
  int *y = malloc(9*sizeof(int));
  printf("sizeof(x) == %zun", sizeof(x));
  printf("&(x[2]) = %pn", (void*)&(x[2]));
  printf("sizeof(y) == %zun", sizeof(y));
  printf("&(y[2]) = %pn", (void*)&(y[2]));
  return 0;
}

输出：

sizeof(x) == 36
&(x[2]) = 0x7fffffffe5f8
sizeof(y) == 8
&(y[2]) = 0x800e18008

我不明白y的命名变量比x少.

Answer 1

我同意，作者本可以在这里更清楚。指针本身也是一个命名变量，但如果它指向一个数组，它没有任何关于数组长度的信息。事实上，它不知道它指向一个数组。语法p[100]有效(尽管未定义(，即使p分配了单个int或其他数据类型的地址也是如此。

这就是为什么当数组作为参数传递给函数时，它是：

• 附带一个"length"参数，该参数信任调用代码正确提供它
• 以哨兵值终止(如字符串的空终止符(

要更清楚地证明这种区别，请尝试以下操作：

int arr[3] = { 1,2,3 };
int *ptr;
ptr = &arr;

我收到以下编译警告：

'=': 'int *' differs in levels of indirection from 'int (*)[3]'

但是，如果你把ptr改为指向arr的第一个元素(当arr衰减到指针时会发生什么(，那就没有问题了：

ptr = &arr[0];

Answer 2

我认为作者想说的是，数组的元素形成一个命名的"对象"(根据 C 标准的定义(，而指针的元素通常来自一个未命名的"对象"。

有关对象的定义，请参阅 C11 §3.15，有关对象存储持续时间的信息，请参见 §6.2.4。

那里有很多蹩脚的编程书籍，而C是一种古老而流行的语言，它比大多数都多。

Answer 3

我们基本上是在猜测别人的意思。但这是我最好的猜测。

  int x[] = {1, 2, 3, 4, 5, 6, 7, 8, 9};
  int *y = malloc(9*sizeof(int));

x是数组的名称。

y是指针的名称。它指向的数组没有名称。

Answer 4

实际上，您编写的是声明数组的两种方法。当然，第一个是更传统和更容易的。作者试图告诉我们的是，数组是一个命名变量，因为您需要命名变量来访问数组的所有元素。要到达下一个元素，依此类推，您需要放置索引号。因此，第一个元素的"地址"乘以索引号，您将获得所需的元素。如果我们分析它，数组[0]指向第一个元素，并且本身就是一个指针。

要正确理解指针，请考虑以下事项：

int *y = malloc(sizeof(int));
int x[] = {1,2,3};
y = &x[2]; //points to an anonymous data because pointer "y" doesn't "know" the 
           //variable "x", only it's memory address
y = &x[0]; //points to the first element of x