为什么这段涉及数组和指针的代码会像它一样运行？

Question

int a[5] = { 1, 3, 5, 7, 9 };
int *p = (int *)(&a + 1);
printf("%d, %d", *(a + 1), *(p - 1));

null

Answer 1

答案可能是“1）3,9”或“2）错误”（或者更具体地说是未定义的行为），这取决于您如何阅读C标准。

首先，让我们来看看这个：

&a + 1

&运算符获取数组a的地址，为我们提供int(*)[5]类型的表达式，即指向大小为5的int数组的指针。在此基础上添加1将指针视为指向int[5]数组的第一个元素，结果指针指向之后的一个。

(int *)(&a + 1)

然而，C标准并不清楚是否允许这种转换以及随后对结果的操作。假设指针正确对齐，它确实允许从一种对象类型转换到另一种对象类型并返回。虽然对齐不应该是一个问题，但使用这个指针是不确定的。

所以这个指针被分配给p:

int *p = (int *)(&a + 1)

然后使用如下：

*(p - 1)