数组是数组，指针是指针，但大多数情况下数组名会 转换 为指针。常用的一个术语是它们 会衰减 为指针。

这是一个数组：

int a[7];

a 包含七个整数的空间，您可以通过赋值将值放入其中一个整数中，如下所示：

a[3] = 9;

这是一个指针：

int *p;

p 不包含任何整数空间，但它可以指向整数空间。例如，我们可以将其设置为指向数组中的某个位置 a ，例如第一个位置：

p = &a[0];

令人困惑的是，你也可以这样写：

p = a;

这 不会 将数组的内容复制 a 到指针中 p （无论这意味着什么）。相反，数组名称 a 将转换为指向其第一个元素的指针。因此该赋值与上一个赋值相同。

现在你可以 p 以类似的方式使用数组：

p[3] = 17;

之所以有效，是因为 C 中的数组解引用运算符 [ ] 是根据指针定义的。 x[y] 意思是：从指针 开始 x ，将 y 元素向前移动指针指向的内容，然后取其中的内容。使用指针算术语法， x[y] 也可以写成 *(x+y) .

为了使它能够与普通数组（例如我们的）一起使用， a 中的 a 名称 a[3] 转换为指针（指向 中的第一个元素 a ）。然后我们向前移动 3 个元素，并获取其中的任何元素。换句话说：获取数组中位置 3 处的元素。（这是数组中的第四个元素，因为第一个元素的编号为 0。）

因此，总而言之，C 程序中的数组名称（在大多数情况下）会转换为指针。一个例外是当我们 sizeof 在数组上使用运算符时。如果 a 在此上下文中转换为指针， sizeof a 则会给出指针的大小而不是实际数组的大小，这将是毫无用处的，因此在这种情况下 a 意味着数组本身。