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

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

• 程序一：

void 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
}

• 程序二

void 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中是合法的。