数组是数组,指针是指针,但大多数情况下数组名会 转换 为指针。常用的一个术语是它们 会衰减 为指针。
这是一个数组:
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
意味着数组本身。