学步园

注:本文所有观点纯属推测,请勿盲目信任

前言:本文是前一篇文章的续篇,在阅读本文之前请先阅读前一篇文章<<深入理解C++对象模型-对象的内存布局,vptr,vtable >>.在开始本文讨论之前,先给出一段代码,后面将基于这段代码进行讨论.

//Base.h</p> <p>#pragma once<br /> #include <iostream><br /> using namespace std;</p> <p>struct Base1<br /> {<br /> virtual int __stdcall Base1Func1(int a,int b){<br /> cout<<__FUNCTION__<<"/tm_iData="<<m_iData<<"/ta="<<a<<"/tb="<<b<<endl;<br /> return 0;<br /> }<br /> virtual int __stdcall Base1Func2(int a,int b){<br /> cout<<__FUNCTION__<<"/tm_iData="<<m_iData<<"/ta="<<a<<"/tb="<<b<<endl;<br /> return 0;<br /> }<br /> int __stdcall NoVFunc(int a,int b)<br /> {<br /> cout<<__FUNCTION__<<"/tm_iData="<<m_iData<<"/ta="<<a<<"/tb="<<b<<endl;<br /> return 0;<br /> }<br /> int m_iData;<br /> };<br /> struct Base2<br /> {<br /> virtual int __stdcall Base2Func1(int a,int b){<br /> cout<<__FUNCTION__<<"/tm_iData="<<m_iData<<"/ta="<<a<<"/tb="<<b<<endl;<br /> return 0;<br /> }<br /> virtual int __stdcall Base2Func2(int a,int b){<br /> cout<<__FUNCTION__<<"/tm_iData="<<m_iData<<"/ta="<<a<<"/tb="<<b<<endl;<br /> return 0;<br /> }<br /> int m_iData;<br /> };</p> <p>struct D:public Base1,public Base2<br /> {<br /> virtual int __stdcall D1Func(int a,int b){<br /> cout<<__FUNCTION__<<"/tm_iData="<<m_iData<<"/ta="<<a<<"/tb="<<b<<endl;<br /> return 0;<br /> }<br /> virtual int __stdcall Base1Func1(int a,int b){<br /> cout<<__FUNCTION__<<"/tm_iData="<<m_iData<<"/ta="<<a<<"/tb="<<b<<endl;<br /> return 0;<br /> }<br /> virtual int __stdcall Base2Func2(int a,int b){<br /> cout<<__FUNCTION__<<"/tm_iData="<<m_iData<<"/ta="<<a<<"/tb="<<b<<endl;<br /> return 0;<br /> }<br /> int m_iData;<br /> };</p> <p>template<class T><br /> struct MemFuncT<br /> {<br /> typedef int (__stdcall T::* T_MemFuncT)(int,int);<br /> typedef int (T::* T_MemDataT);<br /> };</p> <p>typedef int ( __stdcall * pMemFunc)(void*,int,int);

1.成员函数的本质与实现:

大家都知道,非静态成员函数都有一个隐含的this指针,那这this指针是怎么传进来的呢?相信看过Inside the C++ Object Model的人都知道,每个成员函数都有一个隐含的参数,this指针就是从这个参数传进来的,拿int  Base1::Base1Func1(int a,int b)为例

 Base1 obj;<br /> obj.Base1Func1(10,10);<br /> //实际上看成是<br /> Base1 obj;<br /> Base1Func1(&obj,10,10);

也就是说,对于任何一个非静态成员函数 ReturnT Class:memFunc(params....) 都可以看成是ReturnT memFunc(Class* this,params...);下面我们将通过代码来进行验证.(注意,在默认情况下成员函数的调用约定方式为__thiscall,__thiscall只能用在成员函数中,不能用在普通函数,而普通函数又没有任何一种调用约定方式跟__thiscall兼容,这就是为我们我在前面的代码中显式地将成员函数的调用约定方式设为__stdcall).

//main.cpp</p> <p>#include <GetVptr.hxx><br /> #include <typeinfo><br /> #include "Base.h"<br /> #include <PrintLayout.hxx><br /> int main(int argc, char* argv[])<br /> {<br /> Base1 obj;<br /> obj.m_iData =100;</p> <p> D * pD = new D;<br /> pD->Base1::m_iData =100;<br /> pD->Base2::m_iData =200;<br /> pD->m_iData = 300;<br /> Base1 * pB1 = pD;<br /> Base2 * pB2 = pD;</p> <p> //Non-inheritance<br /> cout<<"//Non-inheritance"<<endl;<br /> pMemFunc func = ReinterpretCast<pMemFunc>(&Base1::Base1Func1);<br /> func(&obj,1000,200);<br /> func = ReinterpretCast<pMemFunc>(&Base1::Base1Func2);<br /> func(&obj,1000,200);<br /> func = ReinterpretCast<pMemFunc>(&Base1::NoVFunc);<br /> func(&obj,1000,200);</p> <p> //with inheritance<br /> cout<<"/n//with inheritance"<<endl;<br /> pMemFunc funcB1 = ReinterpretCastEx<pMemFunc>(&D::Base1Func1); //override sizeof(&D::Base1Func1) == 8<br /> func = ReinterpretCast<pMemFunc>(&D::Base1Func2); //not override<br /> pMemFunc funcB2 = ReinterpretCastEx<pMemFunc>(&D::Base2Func2); //override sizeof(&D::Base2Func2) == 8</p> <p> funcB1(pD,1000,200);<br /> func(pD,1000,200);<br /> funcB2(pD,1000,200); //P1.输出有错,我们接下来会分析其原因--</p> <p> return 0;<br /> }</p> <p>/*<br /> //Non-inheritance<br /> Base1::Base1Func1 m_iData=100 a=1000 b=200<br /> Base1::Base1Func2 m_iData=100 a=1000 b=200<br /> Base1::NoVFunc m_iData=100 a=1000 b=200</p> <p>//with inheritance<br /> D::Base1Func1 m_iData=300 a=1000 b=200<br /> Base1::Base1Func2 m_iData=100 a=1000 b=200<br /> Base1::Base1Func2 m_iData=100 a=1000 b=200<br /> 请按任意键继续. . .<br /> */

2.虚函数的本质与实现:

首先我们先给出D对象的内存布局

接下来我们通过打印成员函数指针的地址以及指向的内容来研究成员函数的实现

//main.cpp</p> <p>#include <GetVptr.hxx><br /> #include <typeinfo><br /> #include "Base.h"<br /> #include <PrintLayout.hxx><br /> #include <iomanip></p> <p>template<typename T><br /> void PrintfMemFunc(T const & func,char const * const str)<br /> {<br /> cout<<setw(20)<<str;<br /> int * p = ReinterpretCast<int*>(&func);<br /> for (int i = 0;i<sizeof(T)/sizeof(int);++i)<br /> {<br /> cout<<" "<<ReinterpretCast<void*>(p[i]);<br /> }<br /> cout<<endl;<br /> }<br /> #define PRINT_MEMFUNC(func) PrintfMemFunc(&func, #func)<br /> int main(int argc, char* argv[])<br /> {<br /> D obj;<br /> obj.Base1::m_iData = 100;<br /> obj.Base2::m_iData = 200;<br /> obj.m_iData = 300;<br /> PrintLayout(obj);<br /> cout<<endl;<br /> cout<<"class Base1"<<endl;<br /> PRINT_MEMFUNC(Base1::Base1Func1);<br /> PRINT_MEMFUNC(Base1::Base1Func2);<br /> PRINT_MEMFUNC(Base1::NoVFunc);</p> <p> cout<<"/nclass Base2"<<endl;<br /> PRINT_MEMFUNC(Base2::Base2Func1);<br /> PRINT_MEMFUNC(Base2::Base2Func2);</p> <p> cout<<"/nclass D"<<endl;<br /> PRINT_MEMFUNC(D::Base1Func1); //override<br /> PRINT_MEMFUNC(D::Base1Func2);<br /> PRINT_MEMFUNC(D::Base2Func1);<br /> PRINT_MEMFUNC(D::Base2Func2); //override<br /> PRINT_MEMFUNC(D::D1Func);</p> <p> return 0;<br /> }</p> <p>/*<br /> class Base1<br /> Base1::Base1Func1 004111C7<br /> Base1::Base1Func2 0041112C<br /> Base1::NoVFunc 004111D6</p> <p>class Base2<br /> Base2::Base2Func1 004111C7<br /> Base2::Base2Func2 0041112C</p> <p>class D<br /> D::Base1Func1 004111C7 00000000<br /> D::Base1Func2 0041112C<br /> D::Base2Func1 004111C7<br /> D::Base2Func2 0041112C 00000008<br /> D::D1Func 004112BC 00000000<br /> 请按任意键继续. . .<br /> */

从输出我们发现.

1.无论是基类还是派生类,不同类的第N个虚函数的地址都一样,比如Base1::Base1Func1==Base2::Base2Func1==0041135C

2.派生类里面出现的新函数的函数指针(无论是新添加的还是重写基类的)大小都是8,其中该指针第二个DWORD保存着其对应子对象中vptr相对首地址的偏移(对于D::Base2Func2,它对应的基类是Base2,vptr相对首地址偏移为8 )

3.意外发现的一个现象:对于非虚拟继承情况下,派生类对象的内存布局模型,并非是按照声明顺序来排列的,而是先将有vptr的类按照声明顺序放在对象的最前面,接下来是按照声明顺序存放不含有vptr的类.这样处理的好处之一是,假设这种情况,class D:public A, public B,其中A没有vptr而B有,假如仅仅是按照声明顺序来排列,那么D的内存布局就会是如下所示

而使用编译器现在所用的策略,那么D::vptr跟B::vptr就可以合并了,这样可以节省一个指针的大小.

从第1点中得到启发:VS应该会给虚函数提供一个proxy,也就是说VS中应该会保存着这样一堆l类似功能的函数(为了效率以及通用性,VS应该是使用thunk技术来实现,这里只是用C++模拟一下):

//VCallImpl.h</p> <p>#pragma once<br /> #include <GetVptr.hxx><br /> #include "Base.h"</p> <p>inline int VCallImpl(void * pThis,int a,int b,int i)<br /> {<br /> long * pl = static_cast<long*>(pThis);<br /> pMemFunc * vptr = ReinterpretCast<pMemFunc *>(GetVptr(*pl));<br /> return (vptr[i])(pThis,a,b);<br /> }<br /> inline int VCallImpl1(void * pThis,int a,int b)<br /> {<br /> return VCallImpl(pThis,a,b,0);<br /> }<br /> inline int VCallImpl2(void * pThis,int a,int b)<br /> {<br /> return VCallImpl(pThis,a,b,1);<br /> }<br /> inline int VCallImpl3(void * pThis,int a,int b)<br /> {<br /> return VCallImpl(pThis,a,b,2);<br /> }<br />

下面我们将通过一段测试代码来验证前面结论的正确性

//main.cpp</p> <p>#include <GetVptr.hxx><br /> #include <typeinfo><br /> #include "Base.h"<br /> #include <PrintLayout.hxx><br /> #include <iomanip><br /> #include "VCallImpl.h"</p> <p>#define IMPL_CALLL( pObj,BaseClass,Num) /<br /> pObj->BaseClass##Func##Num(1000,2000); /<br /> VCallImpl##Num((BaseClass*)pObj,1000,2000); /<br /> cout<<endl</p> <p>int main(int argc, char* argv[])<br /> {<br /> D d;<br /> D * pObj = &d;<br /> pObj->Base1::m_iData = 100;<br /> pObj->Base2::m_iData = 200;<br /> pObj->m_iData = 300;</p> <p> IMPL_CALLL(pObj,Base1,1);<br /> IMPL_CALLL(pObj,Base1,2);<br /> IMPL_CALLL(pObj,Base2,1);<br /> IMPL_CALLL(pObj,Base2,2);<br /> return 0;<br /> }</p> <p>/*<br /> D::Base1Func1 m_iData=300 a=1000 b=2000<br /> D::Base1Func1 m_iData=300 a=1000 b=2000</p> <p>Base1::Base1Func2 m_iData=100 a=1000 b=2000<br /> Base1::Base1Func2 m_iData=100 a=1000 b=2000</p> <p>Base2::Base2Func1 m_iData=200 a=1000 b=2000<br /> Base2::Base2Func1 m_iData=200 a=1000 b=2000</p> <p>D::Base2Func2 m_iData=300 a=1000 b=2000<br /> D::Base2Func2 m_iData=300 a=1000 b=2000</p> <p>请按任意键继续. . .<br /> */<br />

你可能留意套前面在IMPL_CALLL里面做了一个指针强制转换,这个是为了调整vptr的,对于编译器,他可以很清楚地知道,你要调用的函数要做什么样的调整,比如说当你要调用一个从Base1基类继承过来的函数,它会首先将this调整为指向Base1的subobject,然后在调用这个函数.这就是在1.成员函数的本质与实现:里面有一个例子会输出错误的原因,看注释://P1.输出有错,我们接下来会分析其原因--

对于前面的结论3,大家不妨自己去验证一下,对于结论2,为什么派生类的函数指针需要额外的四个直接用以保存对应的vptr到首地址的偏移,在这里百思不得其解