数组名不是对象,数组才是对象,指针也是一种对象,因此,数组名并没有内存空间,它是一个右值。想看具体的代码么?把下面的代码汇编一下,就可以看见其区别了:
char a[10];
char *p;
p=a;
a[2]=10;
p[2]=20;
编译器编译后的汇编代码是这样的:
_main proc near
push bp
mov bp,sp
sub sp,10
push si
lea si,word ptr [bp-10] ;这个就是p=a,p被保存在某个地方,这里p被优化为保存在寄存器
mov byte ptr [bp-8],10 ;这个是a[2]=10,a是直接堆栈操作,因为它是一个地址,没有存储空间
mov byte ptr [si+2],20 ;这个是p[2]=20,p是个变量,它被保存在寄存器si里面,因此进行操作时,要先取si的值,然后+2,再进行间接寻址
xor ax,ax
jmp short @1
如果数组名是一个变量的话,那就必定得先把bp-10保存在某个地方,例如di,就会产生下面的指令:lea di, word ptr[bp-10],事实是,编译器并没有这样做,而是直接堆栈操作。
char *a[2];
那么a的值和&a的值是不是应该一样?
-----------------------------------
关于对数组名取地址的问题,由于数组名是右值,本来&a是不合法的,早期不少编译器就是指定&a是非法的,但后来C89/C99认为数组符合对象的语义,对一个对象取地址是合理的,因此,从维护对象的完整性出发,也允许&a,只不过,&a的意义,并非对一个数组名取地址,而是对一个数组对象取地址,也正因为如此,a才跟&a所代表的地址值一样,同时sizeof(a)应该跟sizeof(&a)一样,因为sizeof(&a)代表取一个数组对象的长度。
//---------------------------------------
int a[5]; a代表数组首元素的地址,&a代表了数组的首地址.地址一样.类型不一样.
举一个变相的例子:数组名同时也是该数组的首元素的地址,也就是说, flizny是一个数组,下面的式子是正确的:
flizny == &flizny[0] //数组名是该数组的首元素地址
flizny 和 &flizny[0] 都代表首元素的内存地址.
dates + 2==&date[2] /*相同的地址*/
*(dates + 2==dates[2] /*相同的值*/
定义 ar[n] 时,意思是*(ar+n),即 "寻址到内存中的ar,然后移动n个单位,再取出数值".