C语言数组的dirty corner

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

数组名做右值时自动转换成指向首元素的指针，所以 a[2]和 p[2]本质上是一样的，都是通过指针间接寻址访问元素。E1[E2]这种写法和(*((E1)+(E2)))是等价的，*(p+2)也可以写成 p[2]，p就像数组名一样，其实数组名也没有什么特殊的， a[2]之所以能取数组的第 2 个元素，是因为它等价于*(a+2)，都是通过指针间接寻址访问元素。

由于(*((E1)+(E2)))显然可以写成(*((E2)+(E1)))，所以 E1[E2]也可以写成 E2[E1]，这意味着 2[a]、 2[p]这种写法也是对的，但一般不这么写。

另外，由于 a 做右值使用时和&a[0]是一个意思，所以 int *p = &a[0];通常不这么写，而是写成更简洁的形式 int *p = a;

C 语言允许数组下标是负数，如果让p指向a[1]，那么表达式 pa[-1]是合法的，它和 a[0]表示同一个元素。

指针相减表示两个指针之间相差的元素个数，同样只有指向同一个数组中元素的指针之间相减才有意义，C 语言也规定两个指针不能相加

在取数组元素时用数组名和用指针的语法一样，但如果把数组名做左值使用，和指针就有区别了。例如 p++是合法的，但 a++就不合法，p = a + 1 是合法的，但 a = p + 1 就不合法。数组名做右值时转换成指向首元素的指针，但做左值仍然表示整个数组的存储空间，而不是首元素的存储空间，数组名做左值还有一点特殊之处，不支持++、赋值这些运算符，但支持取地址运算符&，所以&a 是合法的。