c++

继承中的内存布局

今天在网上看到了一篇写得非常好的文章，是有关c++类继承内存布局的。看了之后获益

良多，现在转在我自己的博客里面，作为以后复习之用。

译者前言

一个 C++程序员，想要进一步提升技术水平的话，应该多了解一些语言的语意细节。对于
使用 VC++的程序员来说，还应该了解一些 VC++对于 C++

的诠释。 Inside the C++ Object

Model 虽然是一本好书，然而，书的篇幅多一些，又和具体的 VC++关系小一些。因此，
从篇幅和内容来看，译者认为本文是深入理解 C++对象模型比较好的一个出发点。
这篇文章以前看到时就觉得很好，旧文重读，感觉理解得更多一些了，于是产生了翻译
出来，与大家共享的想法。虽然文章不长，但时间有限，又若干次在翻译时打盹睡着，拖
拖拉拉用了小一个月。
一方面因本人水平所限，另一方面因翻译时经常打盹，错误之处恐怕不少，欢迎大家批

评指正。

前言

了解你所使用的编程语言究竟是如何实现的，对于 C++程序员可能特别有意义。首先，它
可以去除我们对于所使用语言的神秘感，使我们不至于对于编译器干的活感到完全不可
思议；尤其重要的是，它使我们在 Debug 和使用语言高级特性的时候，有更多的把握。当

需要提高代码效率的时候，这些知识也能够很好地帮助我们。

本文着重回答这样一些问题：
1* 类如何布局？
2* 成员变量如何访问？
3* 成员函数如何访问？
4*

“

”

所谓的调整块（adjuster thunk）是怎么回事？

5* 使用如下机制时，开销如何：
  * 单继承、多重继承、虚继承
  * 虚函数调用
  * 强制转换到基类，或者强制转换到虚基类
  * 异常处理
首先，我们顺次考察 C 兼容的结构（struct）的布局，单继承，多重继承，以及虚继承；
接着，我们讲成员变量和成员函数的访问，当然，这里面包含虚函数的情况；
再接下来，我们考察构造函数，析构函数，以及特殊的赋值操作符成员函数是如何工作
的，数组是如何动态构造和销毁的；

最后，简单地介绍对异常处理的支持。

对每个语言特性，我们将简要介绍该特性背后的动机，该特性自身的语意（当然，本文

“

决不是 C++

”

入门，大家对此要有充分认识），以及该特性在微软的 VC++中是如何实现

的。这里要注意区分抽象的 C++语言语意与其特定实现。微软之外的其他 C++厂商可能提

供一个完全不同的实现，我们偶尔也会将 VC++

的实现与其他实现进行比较。