Windows x64 MASM调用约定下求和函数引发程序崩溃问题排查

以下是导致你描述的「求和结果正确但printf后程序崩溃」现象的核心原因及对应解决方法：

1. 非易失性寄存器未保存恢复 #

Windows x64调用约定明确要求：非易失性寄存器（RBX、RBP、RDI、RSI、R12-R15）若被函数修改，必须提前压栈保存，返回前恢复。如果你的simpleSum函数修改了这类寄存器却未做保存，会篡改调用者（main函数）依赖的寄存器值，导致后续代码（如printf执行后的栈清理、变量访问）出错，表现为结果正确但程序后续崩溃。

错误示例： #

simpleSum proc
    mov ebx, ecx   ; EBX是非易失性寄存器，未保存就修改
    add ebx, edx
    mov eax, ebx
    ret
simpleSum endp

修正示例： #

simpleSum proc
    push rbx       ; 保存非易失性寄存器
    mov ebx, ecx
    add ebx, edx
    mov eax, ebx
    pop rbx        ; 恢复寄存器
    ret
simpleSum endp

2. 栈平衡错误 #

函数返回时未正确恢复RSP寄存器，会导致调用者的栈对齐被破坏，进而引发后续函数（如printf）执行出错。常见场景包括：

• 函数内执行sub rsp, N分配栈空间，但未对应执行add rsp, N恢复；
• 使用LEAVE指令但栈帧建立错误（如缺少push rbp或mov rbp, rsp的配对操作）。

错误示例： #

simpleSum proc
    sub rsp, 32    ; 错误预留影子空间（调用者已负责预留）
    mov eax, ecx
    add eax, edx
    ; 遗漏 add rsp, 32 恢复栈
    ret
simpleSum endp

修正示例（无需调用其他函数时，无需预留影子空间）： #

simpleSum proc
    mov eax, ecx
    add eax, edx
    ret
simpleSum endp

带栈帧的正确写法： #

simpleSum proc
    push rbp
    mov rbp, rsp
    ; 若需局部变量，分配的栈空间需为16字节倍数（如sub rsp, 16）
    mov eax, ecx
    add eax, edx
    leave          ; 等价于 mov rsp, rbp + pop rbp，自动恢复栈
    ret
simpleSum endp

3. 调用约定声明错误 #

Windows x64下仅有一种调用约定，C编译器默认自动遵循。若你在C代码中错误指定了x86风格的调用约定（如__stdcall），编译器会生成不符合x64规范的调用代码，比如期望被调用者清理栈（ret N），但simpleSum使用普通ret，导致返回后栈残留未清理空间，破坏后续栈对齐。

错误声明： #

int __stdcall simpleSum(int a, int b);  // x64下无需指定__stdcall

正确声明： #

int simpleSum(int a, int b);  // 默认遵循Windows x64调用约定

4. 非法栈访问 #

若simpleSum函数向不属于自身栈帧的区域写入数据（如返回地址[rsp+8]、调用者的局部变量[rbp+16]等），会破坏调用者的栈结构，导致程序执行到后续步骤时崩溃。这种情况可能因栈数据巧合偶尔正常，但大概率会触发崩溃。

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