函数栈结构与内存对齐

函数栈

下图是x86-64的函数栈的结构， 函数P调用函数Q的过程，Q正在执行。

这里仅对两个地方解释，其他的很容易理解，就不细说了

• 其中返回地址用来实现函数的返回。当Q要返回到P时，就要调用此地址获取返回位置。
• 参数构造区是对调用函数P传递的参数的拷贝，因为当P传递参数过多时，无法通过寄存器传递，只好在P的栈帧中保存；调用Q时，将其拷贝到参数构造区

x86-64过程只分配自己所需要的栈帧部分，许多函数甚至根本不需要栈帧。

控制转移

指令	描述
call Label	过程调用
call *Operand	过程调用
ret	从过程调用中返回

数据对齐

许多计算机系统对基本的数据类型的合法地址做出了一些限制，要求某种类型对象的地址必须是某个值K(通常是2、4或8)的倍数。一是为了读取效率，二是某些硬件设备要求。

K	类型
1	char
2	short
4	int, float
8	long, double, char*

对齐取系统要求值和当前数据类型的最小值，即min(data ,Sys)；例如：int类型的数据，假定系统要求是8，那么int在内存中的对齐要求是 4 = min(4, 8)。
数据结构struct也需要对齐，它的对齐大小取结构体中对齐要求最大的那个值。这样一来，只要结构体满足对齐，里面的数据也能满足对齐；否则，结构体不满足对齐，里面的数据如何调整也总会存在不满足的情况。