程序员的自我修养-第十章

内存

栈会保存一个函数调用所需要的维护信息（又名堆栈帧或活动记录），它包含：

活动记录由ebp和esp这两个寄存器来划分范围。

感觉上图ebp的位置有一点问题，应该指向old ebp才对，看下面的i386函数体开头

之所以活动记录是这样的，是因为函数调用本身就是这么设计的：

i386下的函数调用：
- 把所有或一部分参数压入栈中，如果有其他参数没有入栈，那么使用某些特定的寄存器传递。
- 把当前指令的下一条指令的地址压入栈中。
- 跳转到函数体执行。
i386下的函数体开头
- push ebp：把 ebp 压入栈中（称为 old ebp）。
- mov ebp, esp：ebp = esp（这时 ebp 指向栈顶，而此时栈顶就是 old ebp）。
- 【可选】sub esp, XXX：在栈上分配 XXX 字节的临时空间。
- 【可选】push XXX：如有必要，保存名为 XXX 寄存器（可重复多个）。
函数返回的标准结尾
- 【可选】pop XXX：如有必要，恢复保存过的寄存器（可重复多个）。
- mov esp, ebp：恢复 ESP 同时回收局部变量空间。
- pop ebp：从栈中恢复保存的 ebp 的值。
- ret：从栈中取得返回地址，并跳转到该位置。

编译器可能在将分配出来的栈空间初始化为0xCC，这样就可以通过判断栈变量是否为0xCC来判断用户是否初始化了。

函数调用方和被调用方都对如何调用有一致的理解。一般调用惯例包括：（这些应该都属于ABI吧）

感觉，编译技术是不是讲过

可以发现，最后返回到main函数时，直接是使用sp+8，而不是pop

存在不同的调用规范，对于类成员函数的调用

小于4字节函数，将返回值存放到eax寄存器。
5-8字节，eax存低4字节，edx存高4字节
更多，现在main函数中建立临时对象，然后向被调用的函数的参数中添加一个参数项，用来指定main函数中的那个临时对象，被调用的函数返回时，会将要返回的对象存放到参数指定的临时对象地址上，返回到main后，在将该临时对象复制到变量上。（下图的地址怪怪的，感觉不是按照从高到低的顺序呢）