对于数组，为什么a[5]==5[a]？

正如Joel在Stack Overflow播客#34中指出的，在C编程语言（又名：K&R）中，提到了C:a[5]==5[a]中数组的这个属性

乔尔说这是因为指针运算，但我仍然不明白。为什么a[5]==5[a]？

当前回答

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

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

其他回答

不是答案，只是一些思考的食物。如果类具有重载的索引/下标运算符，则表达式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&);
};

当然，还有

 ("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]=*所以，两者都是相等的。

在C数组中，arr[3]和3[arr]是相同的，它们的等价指针符号是*（arr+3）到*（3+arr）。但相反，[arr]3或[3]arr不正确，会导致语法错误，因为（arr+3）*和（3+arr）*不是有效表达式。原因是解引用运算符应该放在表达式产生的地址之前，而不是地址之后。

推荐文章