读C++虚函数表及C++对象的内存布局笔记

C++虚函数表解析：http://blog.csdn.net/haoel/article/details/1948051

C++对象的内存布局（上）：http://blog.csdn.net/haoel/article/details/3081328

C++对象的内存布局（下）：http://blog.csdn.net/haoel/article/details/3081385

C++虚函数表解析

1.一般继承（无虚函数覆盖

• 虚函数按照其声明顺序存放于表中。

• 父类的虚函数在子类的虚函数前面

2.一般继承（有虚函数覆盖）

• 覆盖的f()函数被放到了虚表中原来父类虚函数的位置。
• 没有被覆盖的函数依旧。

//涵盖上面两点的例子#include <iostream>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; }}; class Derived:public Base{public:    void f(){ cout << "Derived::f" << endl;}    virtual void f1() { cout << "Derived::f1" << endl;}    virtual void g1() { cout << "Derived::g1" << endl;}    virtual void h1() { cout << "Derived::h1" << endl;}}; int main(void){    typedef void(*Fun)(void);    Base *b;    Base B;    Derived D;    b = &D;        Fun pFun = NULL;    cout << "虚函数表地址：" << (int*)(b) << endl;    cout << "虚函数表 — 第一个函数地址：" << (int*)*(int*)(b) << endl;     // Invoke the first virtual function     pFun = (Fun)*((int*)*(int*)(b));    pFun();    pFun = (Fun)*((int*)*(int*)(b)+1);    pFun();    pFun = (Fun)*((int*)*(int*)(b)+2);    pFun();    pFun = (Fun)*((int*)*(int*)(b)+3);    pFun();    pFun = (Fun)*((int*)*(int*)(b)+4);    pFun();    pFun = (Fun)*((int*)*(int*)(b)+5);    pFun();    cout << (Fun)*((int*)*(int*)(b)+6) << endl; }

输出虚函数表地址：0xbfcdefcc虚函数表 — 第一个函数地址：0x8048fa8Derived::fBase::gBase::hDerived::f1Derived::g1Derived::h11//为何是1而不是0。。。在“C++虚函数表解析”中附录二的例程中最后一个是0.

3.多重继承（无虚函数覆盖）（针对子类实例中的虚函数表）

• 每个父类都有自己的虚表。
• 子类的成员函数被放到了第一个父类的表中。（所谓的第一个父类是按照声明的顺序来判断的）。

4.多重继承（有虚函数覆盖）（针对子类实例中的虚函数表）

• 覆盖的f()函数被放到了每个虚表中原来父类虚函数的位置。
  

5.安全性

• 通过父类型的指针访问子类自己的虚函数
• 访问non-public的虚函数

C++对象的内存布局（上）

1.对象的影响因素

• 成员变量
• 虚函数（产生虚函数表）
• 单一继承（只继承于一个类）
• 多重继承（继承多个类）
• 重复继承（继承多个父类中其父类有相同的超类）
• 虚拟继承（使用Virtual方式继承，为了保证继承后父类的内存布局只会存在一份）

2.单一的一般继承

• 虚函数表在最前面的位置
• 成员变量根据其继承和声明顺序依次放在后面。
• 在单一的继承中，被overwrite的虚函数在虚函数表中得到了更新。

3.多重继承

• 每个父类都有自己的虚函数表。
• 子类的虚成员函数被放到了第一个父类的表中。
• 内存布局中，其父类布局依次按声明的顺序排列。
• 每个父类的虚表中的f()函数都被overwrite成了子类的f()。这样做就是为了解决不同的父类类型的指针指向同一个子类实例，而能够调用到实际的函数。