堆栈平衡指的是在调用子程序时，保证子程序执行前后 esp（栈顶指针寄存器）和 ebp（存取堆栈指针）的数据保持一致，把栈恢复到调用前的状态，以保证程序后续能够持续正确运行。

在调用约定里，push 用于保护现场（记录当前栈指向的位置），而 pop 则用来恢复现场。

示例：源代码与反汇编

下面是一个最小的 C++ 示例，以及它在 Debug 模式下的反汇编输出，重点观察函数调用前后 esp / ebp 的变化。

源代码

/*源代码.cpp*/

int  a(int aa,int v1)
{

		return 5;
}

int main()
{
	int x = 5;
	int t=a(5, 4);

	return 0;
}

main 函数的反汇编

/*    debug 反汇编         */

--- c:\users\hekun\desktop\cppp\cppp\源.cpp -------------------------------------
int main()
{
00213AB0  push        ebp
00213AB1  mov         ebp,esp
00213AB3  sub         esp,0D8h
00213AB9  push        ebx
00213ABA  push        esi
00213ABB  push        edi
00213ABC  lea         edi,[ebp-0D8h]
00213AC2  mov         ecx,36h
00213AC7  mov         eax,0CCCCCCCCh
00213ACC  rep stos    dword ptr es:[edi]
	int x = 5;
00213ACE  mov         dword ptr [x],5
	int t=a(5, 4);
00213AD5  push        4 /*第二参数入栈*/
00213AD7  push        5  /*第一参数入栈*/
00213AD9  call        a (021142Eh)   /*调用a*/
00213ADE  add         esp,8  /*  esp 恢复正确位置，参数占用8字节，  为__cdecl 调用 （调用者 堆栈平衡） */
00213AE1  mov         dword ptr [t],eax  /*函数返回值位于eax寄存器内*/

	return 0;
00213AE4  xor         eax,eax  /*清空eax*/
}

00213AE6  pop         edi
00213AE7  pop         esi
00213AE8  pop         ebx
00213AE9  add         esp,0D8h
00213AEF  cmp         ebp,esp
00213AF1  call        __RTC_CheckEsp (02112DFh)
00213AF6  mov         esp,ebp
00213AF8  pop         ebp
00213AF9  ret

函数 a 内的反汇编

/*函数a内 反汇编*/

--- c:\users\hekun\desktop\cppp\cppp\源.cpp -------------------------------------
#include "iostream"
using namespace std;

int  a(int aa,int v1)
{
013241A0  push        ebp  /*保护缺点ebp 状态*/
013241A1  mov         ebp,esp  /*ebp指向栈顶(esp 指向 变量aa )*/
013241A3  sub         esp,0C0h  /*预留 192 字节空间*/
013241A9  push        ebx
013241AA  push        esi
013241AB  push        edi
013241AC  lea         edi,[ebp-0C0h]
013241B2  mov         ecx,30h
013241B7  mov         eax,0CCCCCCCCh
013241BC  rep stos    dword ptr es:[edi]

		return 5;
013241BE  mov         eax,5  /*返回值保存eax寄存器中*/
}
013241C3  pop         edi
013241C4  pop         esi
013241C5  pop         ebx
013241C6  mov         esp,ebp  /恢复现场  恢复函数a执行前的 栈顶 (esp)*/
013241C8  pop         ebp
013241C9  ret

要点小结

  • 调用方通过连续的 push 把参数从右向左压栈，再 call 进入子程序。
  • 子程序入口会 push ebp / mov ebp, esp 建立新的栈帧，并用 sub esp, XXh 为局部变量预留空间。
  • 子程序退出前通过 mov esp, ebp / pop ebp 恢复到进入时的栈顶状态，返回值通过 eax 带出。
  • 对于 __cdecl 调用约定，参数占用的栈空间由调用者负责清理，也就是示例中 call a 之后的 add esp,8，对应两个 4 字节参数一共 8 字节。这就是"调用者堆栈平衡"的由来。