深度探索C++对象模型--关于对象

C++关于对象

C++的class ADT相比C struct在布局上成本的额外负担是由virtual引起的：virtual function（用于支持动态绑定），virtual base class（用于实现“多次出现在集成体系中的base class，有一个单一而被共享的实例”）。

1.1C++对象模式

class Point{
public:
    Point(float xval);
    virtual ~Point();
    float x() const;
    static int PointCount();
protected:
    virtual ostream& 
        print(ostream &os) const;
    float _x;
    static int _point_count;
};

简单对象模型

成员本身并不放在对象中，只有指向成员的指针才放在对象内，这样可以避免成员有不同的类型，因而需要补同的存储空间所带来的问题。
对象中的成员是以slot（表格中的一格）的索引值来寻址的。
简单对象模型中的索引或slot个数的概念被应用到C++的“指向成员的指针”概念中。

表格驱动对象模型

把所有与成员相关的信息抽出来，放在数据成员表和一个成员函数表中。类对象本身则内含指向这两个表格的指针。成员函数表示一系列的slot，每个slot指出一个成员函数；数据成员表则直接持有数据本身。

C++对象模型

非静态数据成员被配置于每一个类对象之类，静态数据成员则被存放在个别的类对象之外。静态和非静态成员函数也被放在个别的类对象之外。
virtual function由两个步骤支持：

1. 每个对象产生一些指向虚函数的指针，放在虚表(vtbl)中。
2. 每个对象都有一个指针指向相关的虚表（vptr）。vptr的设定和重置都由每一个类的构函数、析构函数、拷贝赋值运算符自动完成。每个类所关联的type_info object（用于支持Runtime type identification RTTI）也经由虚表被指出了，通常放在vtbl的第一个slot。
   

#include <iostream>
using namespace std;
class Point
{
public:
    Point(int xval)
    {
        _x = xval;
        _point_count++;
        cout << "Point(int xval)" << endl;
    }
    virtual ~Point(){}
    static int PointCount()
    {
        cout << "PointCount" << endl;
        return _point_count;
    }
    int x() const
    {
        cout << "float Point::x() const" << endl;
        return _point_count;
    }
protected:
    virtual ostream&
        print(ostream &os) const
    {
            return os;
    }
    int _x;
    static int _point_count;
};
int Point::_point_count = 0;
int main()
{
    Point pt(1);
    return 0;
}