大家都知道C++的虚函数前必须加virtual,但如果一连串的继承下来,有的忘了加virtual会出现什么情况呢?为了满足我的好奇心,做了点实验然后有了本文,仅仅是好玩,没有啥实际意义。本文只给出vs2005的情况
首先,如果是单一类,没加virtual的话那么好办,直接call A::fun,非static函数call之前push对象指针就OK了。所以此类函数的调用与普通函数没啥两样,用点小trick,可以把类成员函数做多线程的线程函数。如果是virtual的话,需要通过vtbl来调用,vc编译器把类对象开头四个字节来作为vtbl地址,调用虚函数只需确定函数偏移即可。例子:class A的一个虚函数fun,a为类对象指针,调用a->fun(),生成的汇编代码为:
mov eax,dword ptr [a]
mov edx,dword ptr [eax]
mov esi,esp
mov ecx,dword ptr [a]
mov eax,dword ptr [edx]
call eax
接着考虑有继承的情况,经过一些测试,发现编译器某函数是否是virtual的方法是,通过调用函数的指针类型,然后查找该类,以及该类的所有父类的所有虚函数,只要发现有此函数就认定为virtual的,也就是说必须对此函数进行动态binding,通过vtbl来调用此函数,否则直接用该指针类的成员函数。举个例子,类A,B,C,B是C的父类,A是B的父类,A,B,C中都定义了函数fun,其中C中的fun是virtual,A,B中没加virtual,那么有如下语句,B* b=new C;b->fun(),那么调用的是B的fun。