C++对象布局及多态实现的探索

结果为：

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），顶层类在前，多重继承时则最左父类在前。

凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢!