《深度探索c++对象模型》chapter1关于对象对象模型

在c++中，有2种class data member：static和nostatic，以及3钟class member function：static，nostatic和virtual。已知下面这个class Point声明：

            class
             Point
{

            public
            :
    Point(
            float
             xval);
    
            virtual ~Point();

    float x() const;
    staticint PointCount();

protected:
    virtual ostream& print(ostream& os) const;

    float _x;
    staticint _point_count;
};

这个class Point在机器中将会怎样被表现呢？也就是说，我们如何建模（modeling）出各种data member设function members呢？

1.简单对象模型（a simple object model)

简单对象模型：一个C++对象存储了所有指向成员的指针，而成员本身不存储在对象中。也 就是说不论数据成员还是成员函数，也不论这个是普通成员函数还是虚函数，它们都存储 在对象本身之外，同时对象保存指向它们的指针。

在这个模型中，member并不放在object中，只有”指向mmeber的指向“才放在object之内，这么做可以避免”members有不同的类型，因而需要不同的存储空间“所招致的问题。object中member是以slot的索引值来寻址，本例中_x的索引值是6，—point_count是7.一个class object的大小很容易计算出来，”指针代销，乘以class中所声明的members数目“便是。

2.表格驱动对象模型（a table-driver object model)

为了对所有class的所有object都有一致的表达方式，另一种对象模型是把所有与members相关的信息抽出来，放在一个data member table和一个member function table之中。class object本身含义指向这2个表格的指针。member function table是一系列的slots，每个slot支持一个member function，data member table则直接含有data本身。

3.c++对象模型（the c++ object model）。

如下图：class ojbect含有一个vptr，指向vtbl，vtbl第一个一般是type_info object。

这个模型主要优点是在于它的空间和存取时间的效率，主要缺点是：如果应用程序代码本身未曾改变，但所用到的class object的non

static data member有所修改（可能增删改）。那么那些应用程序代码同样得重新编译。关于这一点，前面的双表格模型提供了较大的弹性，因为他多提供了一层间接性，不过它也因此付出空间和执行效率两方面的代价就是了。

下图给出VS2010中class Point的内存布局:

                class
                ZooAnimal
                {
                public:
                ZooAnimal
                ();
                virtual
                ~
                ZooAnimal
                ();
                virtual
                void
                rotate
                ();
                protected:
                int
                loc
                ;
                String
                name
                ;
                };
                

                

                在32位计算机上所占内存为16字节：int四字节，String8字节（一个表示长度的整形，一个 指向字符串的指针），以及一个指向虚函数表的指针vptr。对于继承类则为基类的内存大小 加上本身数据成员的大小。在cfront中其内存布局如下图：
                

                

            

指针的类型

指针的大小都是4字节，表示一个地址。指针的类型并不影响指针的大小，只是用来告诉编译器如何解释这个地址开始的一块内存内容及其大小。

C++中语法上的多态要用指针或者引用。一个指针(pointer)或者引用(reference)之所以支持多态，是因为他们并不引发内存中任何“与类型有关的内存委托操作（type-dependent commitment）”。会受到改变的只是它们所指向的内存的“大小和内容解释方式”而已。

原文：http://www.cnblogs.com/youxin/p/3722113.html