对于数组b[],b是数组的地址,但b不算变量,有没有一个地方存放b?而且b是不
是存放的就是自己所在的地址。
-------------------------------------------------------------
数组名不是对象,数组才是对象,指针也是一种对象,因此,数组名并没有内存空间,它是一个右值。想看具体的代码么?把下面的代码汇编一下,就可以看见其区别了:
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)代表取一个数组对象的长度。