1.上次看了《剑指offer》,上面提到了空类型对象的sizeof问题,当时不太理解,就放在那里没管了,
最近看了《深度探索C++对象模型》,在发现C++的对象模型是怎么回事后恍然大悟,原来这么简单。
剑指offer第23页:
第一问好理解,空类型的实例不含任何信息,但必须占有一定空间,vs编译器决定每个空类型占一个字节。
第二问和第三问就不太好理解了,也不好记。
.
2.下面我们利用一个class的定义来理解对象模型:
在C++中,有两种成员变量:static和nonstatic。有三种成员函数:static,nonstatic和virtual
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; //静态成员变量
};
该类型的对象模型如下:
如上图:Point类型的对象pt中只存放两个东西,一个是非静态成员变量(float _x),另一个是指向虚函数表的指针(_vptr_Point)。
类的定义中只要出现虚函数,就会生成一个虚函数表(如上图的Virtual table for Point),虚函数表中存放着指向类型
信息(type_info for Point)的指针以及指向其他虚函数的指针。其他的所有静态成员变量和成员函数(静态和非静态)
都放在外面。
.
.
3.了解C++对象模型之后,前面剑指offer的第二三个问题就好回答了:
问:在该空类型中加上一个构造函数和一个虚构函数,再对它求sizeof,得到的结果如何?
由对象模型可知,构造函数和虚构函数都放在对象之外,故sizeof并不会增加,还是1;
问:那如果把析构函数标记为虚函数呢?
由C++对象模型可知,类型中有虚函数,编译器会添加一个虚函数表,并在该类型中的
每一个实例中添加一个指针指向这个虚函数表。32位机器上,一个指针占4个字节,
sizeof就是4。64位机器上一个指针占8个字节,sizeof就是8.