C++对象模型
2015-08-25 16:54 codinglol 阅读(329) 评论(0) 编辑 收藏 举报本文主要对C++对象模型做一个简单总结。主要讨论以下几种情况下的C++对象的内存布局情况。
1) 单一的一般继承
2) 单一的虚拟继承
3) 多重继承
4) 重复多重继承
5) 钻石型的虚拟多重继承
虚函数
先简单介绍一下虚函数的机制。虚函数的主要作用是实现了多态的机制。对于多态,简而言之就是用父类型的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数。从而让父类的指针有“多种形态”,这是一种泛型技术。
都知道虚函数是通过一张虚表来实现的,在这个表中主要是一个类的虚函数的地址列表。在有虚函数的类的实例中这个表就被分配在这个实例的内存中,它就像一个地图,指向实际应该调用的函数。为了保证取到虚函数表的有最高的性能,C++编译器一般会保证虚函数表的指针存放于对象实例中最前面的位置。这意味着我们可以通过对象实例的地址来获得这张虚函数表,从而遍历其中所有的函数指针,并调用。
下面给出一个实际的例子。
1 class Base { 2 public: 3 virtual void f() { cout << "Base::f" << endl; } 4 virtual void g() { cout << "Base::g" << endl; } 5 virtual void h() { cout << "Base::h" << endl; } 6 7 };
我们可以通过Base的实例来得到虚函数表,使用如下代码:
1 typedef void(*Fun)(void); 2 3 Base b; 4 5 Fun pFun = NULL; 6 7 cout << "虚函数表指针的地址:" << (intptr_t*)(&b) << endl; 8 cout << "虚函数表 — 第一个函数地址:" << (intptr_t*)*(intptr_t*)(&b) << endl; 9 10 // Invoke the first virtual function 11 pFun = (Fun)*((intptr_t*)*(intptr_t*)(&b)); 12 pFun();
运行结果如下:
我们强行把&b转成intptr_t *,取得虚函数表指针的地址,然后再次取址就得到第一个虚函数的地址了,即Base::f()。同样的,我们如果要调用Base::g()和Base::h(),可以使用如下代码:
1 (Fun)*((intptr_t*)*(intptr_t*)(&b)+0); // Base::f() 2 (Fun)*((intptr_t*)*(intptr_t*)(&b)+1); // Base::g() 3 (Fun)*((intptr_t*)*(intptr_t*)(&b)+2); // Base::h()
下图可以帮助理解:
注意:上面这个图中,虚函数表的最后有一个点,这个是虚函数表的结束点。这个值在不同的编译器下是不同的。在win8.1+vs2013中,这个值是NULL。在Ubuntu 14.04+GCC4.8.2中,如果这个值为1,表示还有下一个虚函数表(多重继承),如果值是0,则表示是最后一个虚函数表。
单一的一般继承
下面,我们假设有如下一种继承关系,父类、子类、子类的子类都有自己的一个成员变量。子类覆盖了父类的f()方法,子类的子类覆盖了子类的g_child()及f()。源代码如下:
1 class Parent { 2 public: 3 int iparent; 4 Parent ():iparent (10) {} 5 virtual void f() { cout << " Parent::f()" << endl; } 6 virtual void g() { cout << " Parent::g()" << endl; } 7 virtual void h() { cout << " Parent::h()" << endl; } 8 9 }; 10 11 class Child : public Parent { 12 public: 13 int ichild; 14 Child():ichild(100) {} 15 virtual void f() { cout << "Child::f()" << endl; } 16 virtual void g_child() { cout << "Child::g_child()" << endl; } 17 virtual void h_child() { cout << "Child::h_child()" << endl; } 18 }; 19 20 class GrandChild : public Child{ 21 public: 22 int igrandchild; 23 GrandChild():igrandchild(1000) {} 24 virtual void f() { cout << "GrandChild::f()" << endl; } 25 virtual void g_child() { cout << "GrandChild::g_child()" << endl; } 26 virtual void h_grandchild() { cout << "GrandChild::h_grandchild()" << endl; } 27 };
我们使用以下程序作为测试程序:
1 typedef void(*Fun)(void); 2 Fun pFun = NULL; 3 GrandChild gc; 4 5 intptr_t** pVtab = (intptr_t**)&gc; 6 7 cout << "[0] GrandChild::_vptr->" << endl; 8 for (int i = 0; (Fun)pVtab[0][i] != NULL; i++){ 9 pFun = (Fun)pVtab[0][i]; 10 cout << " [" << i << "] "; 11 pFun(); 12 } 13 int *pData = (int *)((intptr_t *)&gc + 1); 14 15 cout << "[1] Parent.iparent = " << (int)pData[0] << endl; 16 cout << "[2] Child.ichild = " << (int)pData[1] << endl; 17 cout << "[3] GrandChild.igrandchild = " << (int)pData[2] << endl;
运行结果如下:
使用图片表示如下:
可以看出:
1)虚函数表指针在对象内存的起始位置
2)成员变量根据其继承和声明的顺序依次排在后面
3)在单一继承中,被override的虚函数在虚函数表中得到了更新
多重继承
(未完待续)