C++对象布局及多态实现

非虚拟继承：
在派生类对象里，按照继承声明顺序依次分布基类对象，最后是派生类数据成员。
若基类声明了虚函数，则基类对象头部有一个虚函数表指针，然后是基类数据成员。
在基类虚函数表中，依次是基类的虚函数，若某个函数被派生类override，则替换为派生类的函数。
派生类独有的虚函数被加在第一个基类的虚函数表后面。

  虚拟继承：
在派生类对象里，按照继承声明顺序依次分布非虚基类对象，然后是派生类数据成员，最后是虚基类对象。
若基类声明了虚函数，则基类对象头部有一个虚函数表指针，然后是基类数据成员。
在基类虚函数表中，依次是基类的虚函数，若某个函数被派生类override，则替换为派生类的函数。
若直接从虚基类派生的类没有非虚父类，且声明了新的虚函数，则该派生类有自己的虚函数表，在该派生类头部；否则派生类独有的虚函数被加在第一个非虚基类的虚函数表后面。
直接从虚基类派生的类内部还有一个虚基类表指针，在数据成员之前，非虚基类对象之后（若有的话）。
虚基类表中第一个值是该 虚基类表到 派生类起始地址的偏移；之后的值依次是该派生类的虚基类到该表位置的地址偏移。

 

#include "stdafx.h" #include <io.h> using namespace std; class Base { public: virtual void f() { cout << "Base::f" << endl; } virtual void g() { cout << "Base::g" << endl; } virtual void h() { cout << "Base::h" << endl; } Base(){x = 10;} int x; }; class B: public Base { virtual void f() { cout << "B::f" << endl; } virtual void g() { cout << "B::g" << endl; } virtual void h() { cout << "B::h" << endl; } }; class C: public Base { virtual void f() { cout << "C::f" << endl; } virtual void g() { cout << "C::g" << endl; } virtual void h() { cout << "C::h" << endl; } }; class d: public B, public C { public: virtual void t() { cout << "d::t" << endl; } void e() { cout << "d::e" << endl; } int b; }; int _tmain(int argc, _TCHAR* argv[]) { typedef void(*Fun)(void); d b; Fun pFun = NULL; cout<<&b<<endl; cout<<(int*)*(int*)(&b)<<endl; pFun = (Fun)*((int*)*((int*)&b)); pFun(); // "B::f" pFun = (Fun)*((int*)*((int*)&b) + 1); pFun(); // "B::g" pFun = (Fun)*((int*)*((int*)&b) + 2); pFun(); // "B::h" pFun = (Fun)*((int*)*((int*)&b) + 3); pFun(); // "d::t" int x = *((int*)&b + 1); cout<<x<<endl; // 10 pFun = (Fun)*((int*)*((int*)&b+2)); pFun(); // "C::f" pFun = (Fun)*((int*)*((int*)&b+2) + 1); pFun(); // "C::g" pFun = (Fun)*((int*)*((int*)&b+2) + 2); pFun(); // "C::h" b.e(); getchar(); return 0; }