动态联编学习：二、对象类型信息

 

为了证明我们的猜想，我们用下面的一个程序进行测试，下面的程序将获取普通的类和包含虚函数的类的字节大小。程序代码如下。

#include <iostream.h> class shape_novirtual{ int a; public: void draw(){cout<<"shape_novirtual::draw()"<<endl;} }; class shape_virtual1{ int a; public: virtual void draw(){cout<<"shape_virtual::draw()"<<endl;} }; class shape_virtual2{ int a; public: virtual void draw(){cout<<"shape_virtual2::draw()"<<endl;} virtual void draw1(){cout<<"shape_virtual2::draw1()"<<endl;} }; main(){ cout << "sizeof(int)" <<sizeof(int) << endl; cout<<"sizeof(class shape_novirtual):"<<sizeof(shape_novirtual)<< endl; cout<<"sizeof(void*):"<<sizeof(void*)<<endl; cout<<"sizeof(class shape_virtual):"<<sizeof(shape_virtual)<<endl; cout<<"sizeof(class shape_virtual2):"<<sizeof(shape_virtual2)<<endl; } 

VC6.0中运行结果如下：

sizeof(int)4

sizeof(class shape_novirtual):4

sizeof(void*):4

sizeof(class shape_virtual1):8

sizeof(class shape_virtual2):8

Press any key to continue

从上面可以看出，没有虚函数的类shape_novirtual的大小为4，正好为int a的大小。而带有虚函数的类shape_virtual1和shape_virtual2的大小除了int a的大小还多出了4格个字节的大小，这个大小正好是void*指针的大小。到现在为止我们基本上可以说带有虚函数的对象自身确实插入了一些指针信息，而且这个指针信息并不随着虚函数的增加而增大。

如果我们将每个类的成员变量int a去掉，VC6.0运行结果就会变成下面的情况。

sizeof(int)4

sizeof(class shape_novirtual):1

sizeof(void*):4

sizeof(class shape_virtual1):4

sizeof(class shape_virtual2):4

Press any key to continue

上面的运行结果应该让人感到例外。既然size(int)为4，现在没有了这个成员变量，类shape_novirtual应该字节大小为0，但事实上C++编译器不允许对象为零长度。试想一个长度为0的对象在内存中怎么存放？怎么获取它的地址？为了避免这种情况，C++强制给这种类插入一个缺省成员，长度为1。如果有自定义的变量，变量将取代这个缺省成员。