深入探索c/c++函数（2）---普通成员函数调用的基本过程

c++的成员函数根据其调用的不同，大致可以分为4类：内联成员函数，静态成员函数，虚成员函数和上述3种以外的普通成员函数。从本质来说类成员函数和全局函数在调用上并没有差别，非内联函数的在调用时，基本上都包括如下的过程：函数的参数入栈，eip指针值入栈，然后跳到函数体的地址，执行函数体对应的代码，执行完毕调整栈帧。下面就按照上述4个分类进行分析，先来说一下普通的成员函数：

 

普通的成员函数在被调用时有两大特征：

1 普通的成员函数是静态绑定的，
2 普通的成员函数调用时编译器隐式传入this指针的值。

 

通过代码分析一下：

#include <iostream> using namespace std; class Test { public: void Print(int i); }; void Test::Print(int i) { cout<<i<<endl; } int main() { Test *p=new Test(); p->Print(2); system("pause"); }

 上面Print函数符合上面所说4类的中的普通成员，所谓的静态绑定实质是c++源代码编译时，编编译器在p->Print();处翻译成直接调用Test类中Print()的汇编代码，也就是编译期编译器就确定了被调函数的相对地址。而所谓的动态绑定实质是，源码在编译的时候，编译器不是翻译成直接调用Test类中Print()的汇编代码，而是翻译成一个查找虚表，得到到函数的相对地址的过程。看一下上面生成的汇编代码：

  int main() { 013F1470 55 push ebp 013F1471 8B EC mov ebp,esp 013F1473 81 EC E8 00 00 00 sub esp,0E8h 013F1479 53 push ebx 013F147A 56 push esi 013F147B 57 push edi 013F147C 8D BD 18 FF FF FF lea edi,[ebp-0E8h] 013F1482 B9 3A 00 00 00 mov ecx,3Ah ;出现这几句汇编则说明开启了堆栈帧(/RTCs)编译选项， ;使未初始化的局部变量内存里值为cc，一个int 3指令。 013F1487 B8 CC CC CC CC mov eax,0CCCCCCCCh 013F148C F3 AB rep stos dword ptr es:[edi] Test *p=new Test(); 013F148E C7 85 20 FF FF FF 01 00 00 00 mov dword ptr [ebp-0E0h],1 ;new 运算符对应的代码， ;由于Test中没有成员变量，所以size ;为1，确保不同对象有不同的地址。 013F1498 8B 85 20 FF FF FF mov eax,dword ptr [ebp-0E0h] ;new 运算符对应两个操作：先分配空间 ;，再调对象的构造函数，如果有必要的话。 013F149E 50 push eax ;参数入栈，eax=1 013F149F E8 F6 FC FF FF call operator new (13F119Ah) ;调用 operator new函数分配空间，operator new ;行为和mallo函数相近，但operator new函数抛出异常。 013F14A4 83 C4 04 add esp,4 ;函数调用完毕调整栈帧 013F14A7 89 85 2C FF FF FF mov