C标准对[]运算符的定义如下：

a[b]==*（a+b）

因此，[5]将评估：

*(a + 5)

并且5[a]将评估：

*(5 + a)

a是指向数组的第一个元素的指针。a[5]是距离a更远的5个元素的值，与*（a+5）相同，从小学数学中我们知道它们是相等的（加法是可交换的）。

按照字面意思回答问题。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指针和数组并不相同，尽管在这种情况下，差异并不是本质的。

考虑以下声明：

int a[10];
int* p = a;

在a.out中，符号a位于数组开始的地址，符号p位于存储指针的地址，指针在该内存位置的值是数组的开始。

C基于BCPL。BCPL将存储器直接暴露为一系列可寻址字。一元运算符！X（也称为LV）为您提供了地址位置X的内容。为了方便起见，还有一个二进制运算符X！Y等于！（X+Y），它为您提供了位置X处数组的第Y个字的内容，或者等效地，位置Y处数组的X个字。

在C，X！Y变成了X[Y]，但是！的原始BCPL语义！（X+Y）表示通过，这解释了为什么算子是可交换的。

因为C编译器总是将数组表示法转换为指针表示法。a[5]=*（a+5）也是5[a]=*所以，两者都是相等的。

我知道问题得到了答案，但我忍不住分享了这个解释。

我记得编译器设计原理，假设a是一个int数组，int的大小为2字节，&a的基址为1000。

[5]将如何工作->

Base Address of your Array a + (5*size of(data type for array a))
i.e. 1000 + (5*2) = 1010

So,

类似地，当c码被分解为3地址码时，5[a]将变为->

Base Address of your Array a + (size of(data type for array a)*5)
i.e. 1000 + (2*5) = 1010 

所以基本上这两个语句都指向内存中的相同位置，因此a[5]=5[a]。

这一解释也是数组中负索引在C中工作的原因。

即，如果我访问[-5]，它会给我

Base Address of your Array a + (-5 * size of(data type for array a))
i.e. 1000 + (-5*2) = 990

它将在990位置返回我的对象。