数组的名称就是首元素的首地址，也就是第一个字节的地址。那么为什么在int类型的数组中，a=&aa【0】呢？a是一个字节，a【0】是四个字节的嘛
a=&aa[0]的话，a指向数组首元素。我们知道数组名是一个指向数组首元素的指针，所以这时a和aa的值(指针的值是地址)一样。你可以printf验证一下。
这时你既可以用aa[n]访问数组，也可以用a[n]访问。不同的是数组名aa是常量指针，不可更改，而a你可以之后让他再指向其他int变量。
指针变量不管是指向什么类型，他的大小都是固定的(按照CPU地址总线的数量，32跟总线就是32位)，所以sizeof(指针)在64位机器上占8(64/8)个字节。
所以a[0]是int型，4字节
a是常量指针，8字节
a[n]即a+n，表示把a指向的地址再往后偏移n个单位(单位是类型的长度，本例中是int，即4)，即a+n或者a[n]是在a指向的地址的基础上偏移4n个字节。