当然，还有

 ("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，则可以使用不同的汇编级优化，开发人员再次必须使其显式，因为编译器无法识别它

不是答案，只是一些思考的食物。如果类具有重载的索引/下标运算符，则表达式0[x]将不起作用：

class Sub
{
public:
    int operator [](size_t nIndex)
    {
        return 0;
    }   
};

int main()
{
    Sub s;
    s[0];
    0[s]; // ERROR 
}

由于我们无法访问int类，因此无法执行此操作：

class int
{
   int operator[](const Sub&);
};

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

我记得编译器设计原理，假设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位置返回我的对象。

按照字面意思回答问题。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[b]==*（a+b）

因此，[5]将评估：

*(a + 5)

并且5[a]将评估：

*(5 + a)

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

嗯，这是一个只有语言支持才能实现的功能。

编译器将a[i]解释为*（a+i），表达式5[a]的计算结果为*（5+a）。由于加法是可交换的，结果证明两者相等。因此，表达式的计算结果为true。