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
虚函数表 — 第一个函数地址:0x8048fa8
Derived::f
Base::g
Base::h
Derived::f1
Derived::g1
Derived::h1
1//为何是1而不是0。。。在“C++虚函数表解析”中附录二的例程中最后一个是0.
3.多重继承(无虚函数覆盖)(针对子类实例中的虚函数表)
- 每个父类都有自己的虚表。
- 子类的成员函数被放到了第一个父类的表中。(所谓的第一个父类是按照声明的顺序来判断的)。
4.多重继承(有虚函数覆盖)(针对子类实例中的虚函数表)
- 覆盖的f()函数被放到了每个虚表中原来父类虚函数的位置。
5.安全性
- 通过父类型的指针访问子类自己的虚函数
- 访问non-public的虚函数
C++对象的内存布局(上)
1.对象的影响因素
- 成员变量
- 虚函数(产生虚函数表)
- 单一继承(只继承于一个类)
- 多重继承(继承多个类)
- 重复继承(继承多个父类中其父类有相同的超类)
- 虚拟继承(使用Virtual方式继承,为了保证继承后父类的内存布局只会存在一份)
2.单一的一般继承
- 虚函数表在最前面的位置
- 成员变量根据其继承和声明顺序依次放在后面。
- 在单一的继承中,被overwrite的虚函数在虚函数表中得到了更新。
3.多重继承
- 每个父类都有自己的虚函数表。
- 子类的虚成员函数被放到了第一个父类的表中。
- 内存布局中,其父类布局依次按声明的顺序排列。
- 每个父类的虚表中的f()函数都被overwrite成了子类的f()。这样做就是为了解决不同的父类类型的指针指向同一个子类实例,而能够调用到实际的函数。