x86-64 Windows栈帧结构及阴影空间相关技术问题咨询

1. 你对栈帧结构的理解是否正确？ #

大体是对的，但有几个细节需要补充：

• 阴影空间是调用者（main）在调用call fun前分配的32字节区域，用于被调用者（fun）按需保存前4个寄存器参数（RCX、RDX、R8、R9），每个参数对应8字节的HOME位置。
• 你画的栈结构里，old rbp是fun执行push rbp后压入的main的rbp值，只有当fun主动建立栈帧（执行push rbp; mov rbp,rsp）时，rbp才会指向这个old rbp。如果fun是叶子函数且省略了栈帧建立操作，rbp会保持main的rbp值，不会指向fun的栈帧起始位置。
• 栈是向下增长的，所以高地址在上、低地址在下，你的地址顺序标注是正确的。

2. 若fun为非叶子函数，其栈帧结构会是怎样的？ #

非叶子函数需要遵循Microsoft x64 ABI的完整栈帧规则，结构从高地址到低地址大致如下：

• main分配的32字节阴影空间（R9 HOME、R8 HOME、RDX HOME、RCX HOME）
• main调用fun时压入的返回地址
• fun执行push rbp后压入的old rbp（即main的rbp值）
• fun需要保存的非易失寄存器（比如RBX、R12-R15，这些寄存器的值在函数返回时必须保持不变，所以要压栈保存）
• fun的局部变量（根据需求分配空间）
• fun为调用子函数分配的32字节阴影空间（遵循ABI要求，调用者必须为被调用者准备阴影空间）
• （如果fun调用了其他函数，还会压入该子函数的返回地址，子函数的栈帧结构会重复上述逻辑）

另外需要注意：Microsoft x64 ABI要求call指令执行前，rsp必须是16字节对齐的，所以fun在分配栈空间时，需要确保最终的rsp满足对齐要求（如果局部变量+阴影空间的大小不是16的倍数，要额外分配对齐空间）。

3. 访问局部变量时应使用[rsp+offset]还是[rbp-offset]？ #

两种方式都可以，取决于函数是否建立栈帧以及性能/调试需求：

• [rbp-offset]方式：
  当函数建立了栈帧（执行push rbp; mov rbp,rsp）后，rbp的值是固定的，不会随后续的push/pop操作变化，访问局部变量时的offset是固定值，调试时更直观（rbp作为栈帧基址，能清晰区分栈帧边界），适合需要稳定访问局部变量的场景。
• [rsp+offset]方式：
  如果是叶子函数，可以省略栈帧建立的两条指令，直接用rsp访问局部变量，能节省指令、提升效率。但要注意：如果函数中有push/pop操作，rsp的值会变化，访问局部变量的offset也需要同步调整，容易出错，所以一般只在简单的叶子函数中使用。

内容的提问来源于stack exchange，提问作者Arcshahi