数组名进行类型强制转换的问题

Question

int main(void)
{
int a[4] = {1, 2, 3, 4};
int *ptr1=(int *)(&a+1);
int *ptr2=(int *)((int)a+1);
printf("%x, %x/n", ptr1[-1], *ptr2);
return 0;
}

为什么ptr2指向a[0]的第二个字节？
个人理解是数组名a是指向a[0]的指针，强制转换为int型变量，再加1，就相当于将原来所存放a[0]的地址当作一个int型数，再进行加1的算术运算，再强制转换为int型指针。请问是这样理解的吗？

Answer 1

思路正确。在32机上可以实现预期。