学步园

一、函数调用的基本步骤

函数调用大致包括以下几个步骤。

（1）参数入栈：将参数从右向左依次压入系统栈中。

（2）返回地址入栈：将当前代码区调用指令的下一条指令地址压入栈中，供函数返回时继续执行。

（3）代码区跳转：处理器从当前代码区跳转到被调用函数的入口处。

（4）栈帧调整：具体包括：

保存当前栈帧状态值，已备后面恢复本栈帧时使用（EBP入栈）。

将当前栈帧切换到新栈帧（将ESP值装入EBP，更新栈帧底部）。

给新栈帧分配空间（把ESP减去所需空间的大小，抬高栈顶）。

二、函数调用约定：

三、具体的表现

（1） __cdecl

       函数本身不清理堆栈，调用者负责清理堆栈。由于这种变化，C调用约定允许函数的参数的个数是不固定的

（2） __fastcall

      函数的第一个和第二个DWORD参数（或者尺寸更小的）通过ecx和edx传递，其他参数通过从右向左的顺序压栈

      被调用函数清理堆栈

（3） __stdcall

     参数从右向左压入堆栈

     函数自身修改堆栈

五、其他调用

（1） thiscall

    thiscall是唯一一个不能明确指明的函数修饰，因为thiscall不是关键字。它是C++类成员函数缺省的调用约定。由于成员函数调用还有一个

    this指针，因此必须特殊处理。

   Microsoft Visual C++提供了thiscall调用约定，它把this保存到ECX寄存器中，并由非静态函数负责从堆栈中清除参数。

   GNU g++编译器把this指针看作是动态成员函数的暗含的第一个参数，并使用cdecall约定中的方法来传递参数。

    表现：

    参数从右向左入栈

    如果参数个数确定，this指针通过ecx传递给被调用者；如果参数个数不确定，this指针在所有参数压栈后被压入堆栈。

    对参数个数不定的，调用者清理堆栈，否则函数自己清理堆栈

对于thiscall，在C++的类中可以定义，那么不管在VC中如何设置函数调用约定，下面的表现都是一定的，即：

func函数有子函数进行清栈，而func1函数有母函数进行清栈。

class TestCls<br /> {<br /> public:<br /> TestCls(int a)<br /> {<br /> m_iData = a;<br /> }<br /> int func(int a, int b, int c)<br /> {<br /> int e = m_iData + a + b + c;<br /> return e;<br /> }<br /> CString func1(CString strFMT, ...)<br /> {<br /> CString strTemp;<br /> va_list args;<br /> va_start(args, strFMT);<br /> strTemp.FormatV(strFMT, args);<br /> va_end(args);<br /> return strTemp;<br /> }<br /> private:<br /> int m_iData;<br /> };