C++对象布局及多态实现探索之内存布局

普通类对象的内存布局

首先我们从普通类对象的内存布局开始。C000为一个空类，定义如下：

struct C000

{};

运行如下代码打印它的大小及对象中的内容。

PRINT_SIZE_DETAIL(C000)

结果为：

The size of C000 is 1

The detail of C000 is cc

可以看到它的大小为1字节，这是一个占位符。我们可以看到它的值是0xcc。在debug模式下，这表示是由编译器插入的调试代码所初始化的内存。在release模式下可能是个随机值，我测试时值为0x00。

定义两个类，C010和C011如下：

struct C010

{

　C010() : c_(0x01) {}

　void foo() { c_ = 0x02; }

　char c_;

};

struct C011

{

　C011() : c1_(0x02), c2_(0x03) {}

　char c1_;

　char c2_;

};

运行如下代码打印它们的大小及对象中的内容。

PRINT_SIZE_DETAIL(C010)

PRINT_SIZE_DETAIL(C012)

结果为：

The size of C010 is 1

The detail of C010 is 01

The size of C011 is 2

The detail of C011 is 02 03

我们从对象的内存输出中可以看到，它们的值就是我们在构造函数中赋的值，C010为0x01，C011为0x0203。大小分别为1、2。

定义C012类。

struct C012

{

　static int sfoo() { return 1; }

　int foo() { return 1; }

　char c_;

　static int i_;

};

int C012::i_ = 1;

在这个类中我们加入了一个静态数据成员，一个普通成员函数和一个静态成员函数。

运行如下代码打印它的大小及对象中的内容。

PRINT_SIZE_DETAIL(C012)

结果为：

The size of C012 is 1

The detail of C012 is cc

可以看到它的大小还是1字节，值为0xcc是因为我们没有初始化它，原因前面说过了。

从上面的结果我们可以映证，普通成员函数，静态成员函数，及静态成员变量皆不会在类的对象中有所表示，成员函数和对象的关联由编译器在编译时处理，正如我们会在后面看到的那样，编译器会在编译时决议出正确的普通成员函数地址，并将对象的地址以this指针的方式，做为第一个参数传递给普通成员函数，以此来进行关联。静态成员函数类似于全局函数，不和具体的对象关联。静态成员变量也一样。静态成员函数和静态成员变量和普通的全局函数及全局变量不同之处在于它们多了一层名字限定。

普通继承类对象的内存布局

下面看看普通继承类对象的内存布局。

定义一个空类C014从C011继承，再定义C015也是一个空类从C010和C011继承。

struct C010

{

　C010() : c_(0x01) {}

　void foo() { c_ = 0x02; }

　char c_;

};

struct C011

{

　C011() : c1_(0x02), c2_(0x03) {}

　char c1_;

　char c2_;

};

struct C014 : private C011

{};

struct C015 : public C010, private C011

{};

运行如下代码打印它们的大小及对象中的内容。

PRINT_SIZE_DETAIL(C014)

PRINT_SIZE_DETAIL(C015)

结果为：

The size of C014 is 2

The detail of C014 is 02 03

The size of C015 is 3

The detail of C015 is 01 02 03

C014的大小为2字节，也就是C011的大小，对象的内存值也是在C011的构造函数中初始化的两个值0x0203。C015的大小为3字节，也就是C010和C011的大小之和，对象的内存值为0x010203。

这里我们可以发现父类的成员变量悉数被子类继承，并且于继承方式(公有或私有)无关，如C015是私有继承自C011。继承方式只影响数据成员的“能见度”。子类对象中属于从父类继承的成员变量由父类的构造函数初始化。通常会调用默认构造函数，除非子类在它的构造函数初始化列表中显式调用父类的非默认构造函数。如果没有指定，而父类又没有缺省构造函数，则会产生编译错误。

我们可以再加一层继承来验证一下。定义类C016，从C015继承，并有自己的4字节int成员变量。

struct C016 : C015

{

　C016() : i_(1) {}

　int i_;

};

运行如下代码打印它的大小及对象中的内容。

PRINT_SIZE_DETAIL(C016)

结果为：

The size of C016 is 7

The detail of C016 is 01 02 03 01 00 00 00

它的大小为7字节，也就是C015的大小(也即是C010和C011的大小和)加上自身的4字节int变量之和。同样对象的内存输出也验证了这一点，前三个字节为从父类继承的，后4个字节为自身的int变量，值为1。

因此关于普通继承，子类的对象布局为父类中的数据成员加上子类中的数据成员，多层继承时(如C016)，顶层类在前，多重继承时则最左父类在前。