关于Dinah的sizeof问题，似乎没有人提到过一件事：

只能向指针添加整数，不能将两个指针相加。这样，当将指针添加到整数或将整数添加到指针时，编译器总是知道需要考虑哪个位的大小。

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

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

很好的问题/答案。

我只想指出，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] == *(5 + a)

因此，a[5]==5[a]是正确的。

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