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

Question

正如 Joel 在 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] 是距 a 5 个元素的值，与 *(a + 5)< 相同，从小学数学我们知道它们是相等的(加法是 commutative )。