c - 对于数组，为什么会出现 a[5] == 5[a]？

Question

正如乔尔在 Stack Overflow podcast #34 中指出的那样, 在 C Programming Language (又名:K & R)，C 中提到了数组的这个属性:a[5] == 5[a]
Joel 说这是因为指针算术，但我还是不明白。 为什么a[5] == 5[a] ?

Answer 1

C 标准定义了 []运算符如下:
a[b] == *(a + b)
因此 a[5]将评估为:

*(a + 5)

和 5[a]将评估为:

*(5 + a)

a是指向数组第一个元素的指针。 a[5]是 5 的值元素 远离 a ，与 *(a + 5) 相同，从小学数学我们知道它们是相等的(加法是 commutative )。