正如Joel在Stack Overflow播客#34中指出的，在C编程语言（又名：K&R）中，提到了C:a[5]==5[a]中数组的这个属性
乔尔说这是因为指针运算，但我仍然不明白。为什么a[5]==5[a]？
当前回答
因为避免混淆嵌套非常有用。
你愿意读这个吗
array[array[head].next].prev
或者：
head[array].next[array].prev
顺便说一下，C++对于函数调用具有类似的交换性质。您可以使用成员函数来编写x.f（）.g（），而不是像在C中那样编写g（f（x））。用查找表替换f和g，您可以编写g[f[x]]（函数样式）或（x[f]）[g]（oop样式）。后者非常适合包含索引的结构：x[xs].y[ys].z[zs]。使用更常见的符号zs[ys[xs[x].y].z]。
其他回答
当然，还有
("ABCD"[2] == 2["ABCD"]) && (2["ABCD"] == 'C') && ("ABCD"[2] == 'C')
其主要原因是，在70年代设计C时，计算机没有太多内存（64KB是很多），因此C编译器没有做太多语法检查。因此，“X[Y]”相当盲目地翻译为“*（X+Y）”
这也解释了“+=”和“++”语法。“A=B+C”形式的所有对象都具有相同的编译形式。但是，如果B是与A相同的对象，则可以进行汇编级优化。但是编译器不够明亮，无法识别它，所以开发人员不得不（A+=C）。类似地，如果C为1，则可以使用不同的汇编级优化，开发人员再次必须使其显式，因为编译器无法识别它
因为数组访问是根据指针定义的。a[i]被定义为表示*（a+i），它是可交换的。
对于C中的指针，我们有
a[5] == *(a + 5)
而且
5[a] == *(5 + a)
因此，a[5]==5[a]是正确的。
因为C编译器总是将数组表示法转换为指针表示法。a[5]=*（a+5）也是5[a]=*所以，两者都是相等的。
我只是发现这种丑陋的语法可能是“有用的”，或者至少当你想处理一个索引数组，这些索引引用了同一个数组中的位置时，使用起来非常有趣。它可以替换嵌套的方括号，使代码更可读！
int a[] = { 2 , 3 , 3 , 2 , 4 };
int s = sizeof a / sizeof *a; // s == 5
for(int i = 0 ; i < s ; ++i) {
cout << a[a[a[i]]] << endl;
// ... is equivalent to ...
cout << i[a][a][a] << endl; // but I prefer this one, it's easier to increase the level of indirection (without loop)
}
当然，我很确定在实际代码中没有这样的用例，但我还是觉得很有趣：）
