[译] C 数组中为什么 a[5] == 5[a] 是对的?

声明:

水平有限,如有翻译不当,欢迎探讨、批评与指正。

帖子内容:

Dinah:

Joel 在 Stack Overflow podcast #34 中指出,在C程序设计语言(aka: K&R)中,都提到了在 C 数组的一个性质: a[5] = 5[a]

Joel 解释说那是指针运算,但是我仍旧不理解,为什么 a[5] == 5[a]


Mehrdad Afshari

因为 a[5] 相当于 *(a+5)5[a] 相当于 *(5+a) 。用小学数学我们就可以判断它们是相等的。

这是一种数组作为指针的直接表现方式(This is the direct artifact of arrays behaving as pointers)。 "a"是一个内存地址。"a[5]"是距离 a 5 个长度元素的值。元素的地址是 "a+5"。这和从内存地址开始 5 个元素的位置开始偏移 a 个地址是一样的, 地址空间是(5+a)。

John MacIntyre

我想知道是不是和 /(5/sizeof(a)) + a)一样,要是这样的话,就很好解释了。

Mehrdad Afshar

是的,我没有提到 sizeof 的原因是那样可以很简单把问题解释清楚,加上时候会变得复杂。

(I was going to mention the size. but thought I would complicate just things to get the core idea.) Johannes Schaub - litb

John,不需要使用 sizeof,系统在偏移的时候,自动按照 sizeof 的大小的进行递增的。

Mehrdad Afshari

@Dinah,站在C编译器的角度上说,你是对的。

不需要考虑 sizeof ,我提到的这些表达式也是类似的(不用考虑 sizeof)。然而编译器在生成机器码的时候,会考虑 sizeof 的。 如果 a 是一个 int 数组, a[5] 编译器将会使用 mov eax , [ebx+20] 这样的汇编代码来实现,而不是 [ebx+5]

David Thornley

因为数组的存取方式被定义成指针(的存取方式), a[i] 实现为 *(a+i) ,它们是可互换的。


笔者:

First created: 2012-07-06 09:36:49
Last updated: 2021-11-15 Mon 10:18
Power by Emacs 27.1 (Org mode 9.4.4)