从汇编看c++的虚拟继承以及其内存布局.docxVIP

从汇编看c++的虚拟继承以及其内存布局先看第一种最简单的情形，所有类中没有任何虚函数的菱形继承。　　下面是c++源码：class Top {//虚基类public:??? int i;??? Top(int ii) {??????? i = ii;??? }};class Left : public virtual Top {public:??? int j;??? Left(int jj， int ii) : Top(ii) {??????? j = jj;??? }};class Right : public virtual Top {public:??? int k;??? Right(int kk， int ii) : Top(ii) {??????? k = kk;??? }};class Bottom : public Left， public Right {public:??? int l;??? Bottom(int ll， int jj， int kk， int ii) : Top(ii)， Left(jj， ii)， Right(kk， ii) {??????? l = ll;??? }};int main() {??? Bottom b(1， 2， 3， 4);??? Bottom* bp = b;??? //访问自身成员变量??? b.l = 1;??? bp-l = 2;??? //访问父类Left的成员变量??? Left* lp = bp;??? b.j = 1;??? bp-j = 2;??? lp-j = 3;??? //访问父类Right的成员变量??? Right* rp = bp;??? b.k = 1;??? bp-k = 2;??? rp-k = 3;??? //访问虚基类Top的成员变量??? Top* tp = bp;??? b.i = 1;??? bp-i = 2;??? tp-i = 3;??};　　让我们来看看，汇编代码里面是怎样的情形，先看main函数里面的汇编码：; 33?? : int main() {??? push??? ebp??? mov??? ebp， esp??? sub??? esp， 48??????????????????? ; 为对象程序所需变量预留空间，其中对象b只栈24byte; 34?? :???? Bottom b(1， 2， 3， 4);??? push??? 1;压入标志1，作为判断是否调用虚基类构造函数的依据 1表示调用，0表示不调用??? push??? 4;压栈4，为对象b的构造函数传递参数??? push??? 3;压栈3，为对象b的构造函数传递参数??? push??? 2;压栈2，为对象b的构造函数传递参数??? push??? 1;压栈1，为对象b的构造函数传递参数??? lea??? ecx， DWORD PTR _b$[ebp];获取对象b的首地址，传给寄存器ecx，作为隐含参数传递给对象b的构造函数??? call??? ??0Bottom@@QAE@HHHH@Z??????????? ; 调用对象b的构造函数; 35?? :???? Bottom* bp = b;??? lea??? eax， DWORD PTR _b$[ebp];将对象b的首地址给寄存器eax??? mov??? DWORD PTR _bp$[ebp]， eax;将对象b的首地址给指针变量bp; 36?? :???; 37?? :???? b.l = 1;??? mov??? DWORD PTR _b$[ebp+16]， 1;将1写入偏移对象首地址16字节处内存，即为对象b的成员变量l赋值1; 38?? :???? bp-l = 2;??? mov??? ecx， DWORD PTR _bp$[ebp];将对象b的首地址给寄存器ecx??? mov??? DWORD PTR [ecx+16]， 2;将2写入偏移对象首地址16字节处内存，即为对象b的成员变量l赋值2???????????????????????????? ;可以看到，无论是用对象本身，还是对象指针访问对象b的成员变量???????????????????????????? ;其成员变量的偏移量都在编译期固定了，为16字节???????????????????????????? ;且两种方式访问没有差别; 39?? :???; 40?? :???? Left* lp = bp;??? mov??? edx， DWORD PTR _bp$[ebp];将对象b的首地址给寄存器edx??? mov??? DWORD PTR _lp$[ebp]， edx;将对象b的首地址给对象指针lp，此时