x86-64下C++函数参数rbp偏移20字节的原因探究

结合你给出的代码和GCC 12.2的-O0编译行为，拆解num存在[rbp-20]的核心逻辑：

核心前提 #

首先明确两个关键背景：

• x86-64栈对齐要求：平台规定执行函数内指令时，栈指针rsp必须保持16字节对齐（call指令压入返回地址后会暂时打破对齐，函数开头需通过调整栈空间恢复）。
• -O0编译的行为：关闭优化后，GCC会为所有寄存器参数分配栈上的"备份槽位"（方便调试），同时严格遵循调用约定的栈空间要求（比如Windows x64的32字节shadow space）。

具体栈帧布局与偏移逻辑 #

以square函数为例，编译后的栈帧（从rbp向下，即低地址方向）布局如下：

rbp:       保存的旧rbp值（8字节）
rbp-4:     局部变量foo（int，4字节）
rbp-8 ~ rbp-5: 4字节填充（保证整体栈对齐）
rbp-20 ~ rbp-17: 参数num的栈备份（int，4字节）
rbp-24 ~ rbp-21: 参数num2的栈备份（int，4字节）
rbp-32 ~ rbp-25: 8字节填充（配合shadow space与对齐要求）

偏移值-20的确定遵循以下规则：

1. Shadow Space的灵活利用：Windows x64要求函数分配32字节shadow space用于前4个参数的寄存器备份，但GCC不会严格从shadow space的起始位置（rbp-32）开始放置参数，而是选择shadow space内靠后的区域，为局部变量预留靠近栈顶（rsp）的空间。
2. 局部变量优先靠近栈顶：局部变量会被分配在离rsp最近的位置（如rbp-4），新增局部变量时也会优先占用这个区域的空闲空间，只要不触及参数备份槽位的范围，num的偏移就不会改变（这就是你观察到的"新增局部变量时偏移在达到-36前保持-20"的原因）。
3. 强制对齐的填充：为满足16字节栈对齐要求，GCC会在局部变量、参数槽位之间插入填充字节，最终栈帧的总大小会是16字节的倍数（这里是32字节），参数偏移会被调整到符合对齐规则的位置。

验证汇编示例 #

对应你给出的代码，GCC 12.2 -O0编译出的square函数汇编片段如下：

square:
        push    rbp
        mov     rbp, rsp
        sub     rsp, 32          ; 分配32字节栈帧（满足16对齐+shadow space）
        mov     DWORD PTR [rbp-20], ecx  ; num从RCX寄存器spill到rbp-20
        mov     DWORD PTR [rbp-24], edx  ; num2从RDX寄存器spill到rbp-24
        mov     DWORD PTR [rbp-4], 37    ; 局部变量foo存在rbp-4
        mov     eax, DWORD PTR [rbp-20]
        imul    eax, DWORD PTR [rbp-20]
        leave
        ret

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