栈平衡

为什么要堆栈平衡

因为要保持栈的大小，使ESP始终指向栈顶

概念

函数如果要返回父程序，则在堆栈中进行操作的时候，一定要在RET指令之前，将ESP指向函数压入栈中时的地址
如果通过堆栈传递参数了，那么在函数执行完毕后，要平衡参数导致的堆栈变化

代码示意

//ESP 为 NN  
push  p2               			//ESP=NN-4
push  p1               			//ESP=NN-8
call test              			//ESP=NN-0C   
{                    			//进入函数内
push  ebp              			//ESP=NN-10
mov  ebp, esp          			//EBP 指向 栈顶  EBP==当前ESP
mov  eax, dword ptr [ebp+0ch]    //eax = 参数2  
mov  ebx, dword ptr [ebp+08h]    //ebx = 参数1  
sub  esp, 8            			//ESP == NN-18
...                
add  esp, 8            			//ESP== NN-10
pop  ebp               			//ESP==NN - C
ret  8                 			//ESP==NN + 4 +8 
}
//ESP = NN

总结

也就是说当函数在栈中操作时，需要先把ESP 转交给EBP ，然后继续操作，当操作完后，在ret之前，要先将ESP恢复成进入栈前的状态（进入栈后每次压入参数都会使栈空间一点点变小，而因为ESP要始终指向栈顶的原因，所以要把它恢复成原来的大小。）最后再将EBP移除栈，这样就是一个简单的栈平衡。