关于指针a与&a所代表的内存空间

遇见一道题：

int a[3] = {1, 2, 3};
int *p = (int*)(&a+1);

printf("%d, %d", *(a+1), *(p-1));

以为*p-1应该输出为1，但跑过程序才发现输出为3

然后就debug了一下，经过若干调试，发现规律如下：

a作为数组的指针，其值为该数组内存的起始地址，而在debug中，&a的值与a相同。但若对a与&a进行加减法运算时，则发现，a+1与&a+1对1的理解不同。

a+1将a看作是一个指针，而指针的大小在32位系统中为4字节（32位），所以结果为a的值加上4；

&a+1将a所指向的地址空间看作一个整体，而此处a指向一个12字节的内存空间（sizeof(a) == 12），所以结果为a的值加上12；

所以，暂且得出结论为：a为一个指针，其指向的是a的类型所代表的内存空间大小；而&a则指向以a的值为起始地址的整个内存块（大小为sizeof(a)的值）。

但不敢确定，望各位大神指正！