深入理解c++函数调用的参数传递与局部变量申请

引言

       工作中最难以解决的BUG莫过于偶现，复现周期长，难以定位的，而有时core也是缺少调试信息的。这种情况下就需要通过堆栈还原工作现场来分析问题。尽管现在诸多解释性语言蓬勃发展，但语言的根本汇编我们还是需要掌握，无论对于解bug还是分析语言本质都有着奇效。掌握事物的本质才是真正的理解。

测试代码        

    测试代码如下所示，很简单的例子。我们编译后使用gdb来分析函数调用前后栈的内存使用变化。测试的平台是i386架构，注意不同架构传参会有不一样的行为。

分析

    对main函数反汇编并去除不影响分析代码如下所示。栈是往低地址方向增长的，同时参数为从右往左入栈。可以看到开始是将count = sizeof(readbuff)放入栈。接下来计算得到readbuff的地址放入栈，还有一个就是c++的默认传参this。将参数都放入栈中后call 指令跳转。call指令跳转前会将返回地址入栈。结果得到如下栈的内存分布。

   

      接下来是跳转进入CStreamClient::read执行。首先会对上一栈帧的ebp入栈保存，然后将当前的栈指针esp拷贝给ebp，这样就可以使用ebp对传入参数以及局部变量进行访问，如下所示。接下来是将栈指针减去0X10，为局部变量申请空间。相信眼尖的你也注意到了，有12字节未使用；这是因为栈对齐的原因。

          当CStreamServer::read函数执行完时，使用eax寄存器返回返回值。执行leave指令相当于先mov %ebp, %esp，也就是释放局部变量空间；然后pop $ebp将上一栈帧的ebp恢复。

        执行到最后就是ret指令，ret就是执行pop %eip，将返回地址赋给eip，即从返回地址处继续执行。