函数调用堆栈:
栈保存了一个函数调用所需要的信息。函数调用的堆栈如下图所示:
在主函数(这里是泛指函数调动方)调用被调函时,①先将需要传递的参数压入栈中(第一个参数地址为ebp-8,接下来是ebp-12,等等),②将call后的下一句指令地址入栈(也就是函数的返回地址)。
接下来就是被调函数的栈帧:③将主函数的栈底地址入栈(为栈回退时esp指针能回到原本的位置)④将ebp指向esp所指向的栈顶。⑤为被调函数分配临时空间栈帧,⑥保存寄存器(如有必要,编译器可能要求某些寄存器在调用前后保持不变)⑦将开辟的空间都初始化为0xCCCCCCCC ,⑧执行被调函数
⑨如果有返回值,返回值根据大小考虑存放在寄存器(或临时量)中带回主函数。
被调函数结束后,栈帧的回退过程:①恢复保存过的寄存器(如有必要),②mov esp,ebp 恢复esp,回收局部变量空间,③pop old ebp,将ebp指向恢复到原来的地方(调用者函数的栈底),④ret,pop call下一句指令地址,并给CPU的PC寄存器,跳转到该位置(如过之前传递过形参,则call的下一句指令就是释放形参内存)。
【 CPU的PC寄存器:程序计数器,用来指出下一条指令在主存储器中的地址。
程序运行过程中会自动递增PC的内容,但转移指令除外。
转移指令的下一条指令地址由转移指令给出,而不是从PC寄存器获取 】
函数的返回值:
当返回值小于4字节时,用 eax寄存器。
返回值4~8字节时,用eax和edx寄存器联合返回(eax返回底4字节,edx存储返回值要高1~4字节)
返回值大于8字节时,用临时量返回。
- 首先主函数在栈上额外开辟了一块空间,将这块空间的一部分作为返回值的临时对象,这里称temp。
- 被调函数将返回的数据拷贝给temp对象,并将temp对象的地址用eax传出。
- 被调函数返回后,主函数将eax指向的temp对象的内容拷贝给接收的对象。