(todo)数组名 有存储空间吗?

 

转与csdn

对于数组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=ap被保存在某个地方,这里p被优化为保存在寄存器 

mov byte   ptr   [bp-8],10       ;这个是a[2]=10a是直接堆栈操作,因为它是一个地址,没有存储空间 

mov byte   ptr   [si+2],20       ;这个是p[2]=20p是个变量,它被保存在寄存器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)代表取一个数组对象的长度。

原文地址:https://www.cnblogs.com/titer1/p/2368288.html