正如Joel在Stack Overflow播客#34中指出的，在C编程语言（又名：K&R）中，提到了C:a[5]==5[a]中数组的这个属性
乔尔说这是因为指针运算，但我仍然不明白。为什么a[5]==5[a]？
当前回答
在C数组中，arr[3]和3[arr]是相同的，它们的等价指针符号是*（arr+3）到*（3+arr）。但相反，[arr]3或[3]arr不正确，会导致语法错误，因为（arr+3）*和（3+arr）*不是有效表达式。原因是解引用运算符应该放在表达式产生的地址之前，而不是地址之后。
其他回答
按照字面意思回答问题。x==x并不总是正确的
double zero = 0.0;
double a[] = { 0,0,0,0,0, zero/zero}; // NaN
cout << (a[5] == 5[a] ? "true" : "false") << endl;
印刷品
false
因为C编译器总是将数组表示法转换为指针表示法。a[5]=*（a+5）也是5[a]=*所以，两者都是相等的。
C标准对[]运算符的定义如下：
a[b]==*（a+b）
因此，[5]将评估：
*(a + 5)
并且5[a]将评估：
*(5 + a)
a是指向数组的第一个元素的指针。a[5]是距离a更远的5个元素的值，与*（a+5）相同，从小学数学中我们知道它们是相等的（加法是可交换的）。
因为数组访问是根据指针定义的。a[i]被定义为表示*（a+i），它是可交换的。
我只是发现这种丑陋的语法可能是“有用的”，或者至少当你想处理一个索引数组，这些索引引用了同一个数组中的位置时，使用起来非常有趣。它可以替换嵌套的方括号，使代码更可读！
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)
}
当然，我很确定在实际代码中没有这样的用例，但我还是觉得很有趣：）
