为什么对于每个数组 a 和整数 j，a[j] 等于 j[a]？ [复制]

Question

我正在阅读“C++ 编程语言”中关于指针和数组的部分，我遇到了一些让我难过的东西。

对于a范围内的每个内置数组a和整数j，我们 有：

a[j] == *(&a[0]+j) == *(a+j) == *(j+a) == j[a]

我明白为什么*(&a[0]+j) 与a[j] 的含义相同，因为&a[0] 指向a 的第一个元素，然后它增加了j。

我还知道*(a+j) 和*(j+a) 等于a[j]，a 从数组隐式转换为指向 a 的第一个元素的指针，然后递增 j 并取消引用。

但为什么是a[j] == j[a]？ 我错过了什么？

Answer 1

因为下标运算符是可交换的。它只是由语言指定的。

你可以从指针算术表达式的等价中看出对称性，其中加法运算符也是可交换的：

a[j] == ∗(a+j)
j[a] == ∗(j+a)
∗(a+j) == ∗(j+a)

语言标准（草案）说：

[expr.sub]

...表达式 E1[E2] 与 *((E1)+(E2)) 相同（根据定义）...

[注意：尽管它的外观不对称，但下标是一种交换操作，除了排序。