[学习小记] 从汇编角度看局部变量的分配及数组名与指针的关系

ps：个人理解，如有错误请指出，本人菜鸟一只

 

在应聘的笔试中，这个考的似乎很多，以前只知道sizeof()的结论，但是也不清楚数组名到底是怎么回事，只知道可以隐式退化成指针。于是闲着没事干看了下编译器的实现方式。

 

下面从汇编代码下观察两者的区别。

 

首先可以先理解一下函数体内的局部变量的分配。进入函数体，会将参数和局部变量都压入堆栈段，在函数体内对局部变量和参数的寻址基本都是基于ebp这个堆栈基址的寄存器，函数的入口点为main，但是其实前面会先执行调用main的函数作初始化，所以进入main函数的时候会移动ebp，使它等于前面函数体的esp，即栈顶指针来形成属于自己的堆栈寻址区，也叫堆栈帧。当然进入时候会保存调用了这个函数的那个函数的ebp，用来恢复调用者的堆栈帧，而调用者的esp即等于调用函数的ebp，这样调用完成，在堆栈段的恢复就完成了。

 

C中的变量可以有两种分配方式，在栈中和在堆中。栈中即我们常说到的局部变量，因为自动释放的特性也称之为自动变量；在堆中分配的变量由程序员自己管理，分配和释放。二者的分配速度区别较大，栈区速度很快，但是有大小限制，且进入函数体的时候需要预先计算出函数体的所需的栈内存的大小，灵活度不够，也就是说不能分配变长的数组；堆由库函数调用系统API来分配内存，速度较慢，但是灵活，可以自由分配空间。

 

任何语言都要被解释成汇编代码来执行，所以对于变量的识别，仅仅只能靠地址。

 

如下的一个小函数