关于数组名和对数组名取地址

以下是基于32位系统的测试：


程序一：
main()
{
int a[3] = {1, 2, 3};
int *p1 = (int *)(&a+1);
int *p2 = (int *)(a+1);
printf("%x, %x", p1[-1], *p2); //输出为3, 2

}

程序二
main()
{
int a[3] = {1, 2, 3};
printf("%p\n%p\n", a, &a); //这里a和&a输出一样为0012FF58
printf("%d\n%d\n", sizeof(a), sizeof(&a)); //sizeof(a)输出为12，sizeof(&a)输出为4
printf("%p\n%p", &a+1, a+1); //注意&优先级高于+，&a+1输出0012FF64，a+1输出为0012FF5C
}


程序二中：a和&a打印出来的都是数组a的首地址。

数组名a虽然能够单独拿出来代表一个地址，但是和指针还是有区别的，数组名是符号地址常量，在编译时求值并存在编译器的符号表里面，其值就是个内存地址，程序并没有给其分配空间，这与指针不同，sizeof(a)得到的是整个数组的大小12。所以a与a+0有区别，a+0与&a[0]等价。

关于&a，注意这里的a是一个指针（a加了&后就自动变成了指针，这点很有趣），指向整个数组，其值是数组的首地址，&a就是指针a取地址，所以sizeof(&a)就是一个指针所占内存空间的大小（可以把int a[3]改为char a[3]试试），而&a+1的偏移量是整个数组的大小，所以，在程序一中p1[-1]输出的不是1而是3。


关于&a是否非法，本来对常量取地址是非法的，但是标准组织没有规定对数组名取地址是非法还是合法，所以因编译器而异，在VS中是合法的。