前段时间一直在学习C++中对象的内存布局,由于C++中支持多继承和虚继承,使得对象的内存布局可能变得有些复杂,刚开始去学习时会有点摸不着头脑。另外不同的编译器很可能有着不同的内存布局,进一步加大了学习难度。
网上已经有很多讲解内存布局的文章,其中很多讲得很清楚了,如:
上面三篇文章基本上对C++内存布局进行了足够多的介绍,大家可以参考。
最近我无意中翻开Scott Mayers的著作《More Effective C++》,发现Item24 : Understand the costs of virtual functions, multiple inheritance, virtual base classes, and RTTI,对虚函数、多继承和虚基类的内存布局和开销进行了分析。个人感觉讲得高屋建瓴,既通俗易懂,又没有陷入具体编译器实现的细节,所以根据作者的意思,加上自己的理解,跟大家分享。如有不足之处,还请大家参考Mayers大神的原文。
我们知道C++中有很多的语言特性,这是由C++的定位所决定的。这些特性是让不少初学者望而却步的原因之一,也是C++强大功能的一个缩影。
对于编译器的厂商来说,必须找到一种方式来实现C++中的每一个语言特性。当然了,实现方法有很多种,所以各个编译器都有自己的独特之处。C++程序员固然不需要去了解编译器实现的方方面面,但是对于一些技术有一个大概的了解还是非常重要的,因为对于某种语言特性的正确认识可以帮助你写出更优秀的代码。
作为C++中实现多态的重要方式,虚函数在被调用的时候,具体执行的代码必须能够找到对应的对象的动态类型,从而调用正确的函数。为了做到这一点,大部分编译器都是通过虚函数表(vtbl)和虚函数表指针(vptr)来实现的。
一个虚函数表一般而言是一个函数指针数组,当然也有可能是用链表实现的。程序中每一个声明或者继承了虚函数的类都有自己的虚函数表,虚函数表中的每个entry是指向这个类的虚函数实现的指针。
比如,一个类的定义如下:
classC1 {public:
C1();virtual ~C1();virtual voidf1();virtual int f2(char c) const;virtual void f3(const string&s);void f4() con