（转）C++类的实例化后占内存的大小计算

在初学面向对象的程序设计语言时，很多人或多或少的都有些疑问，为什么写出来的代码与最终生编译成的代码大相径庭呢？我们并不知道编译器在后台做了什么工作，这些都是由于我们仅停留在语言层的原因，所谓语言层就是会一些基本的语法法则，但并不知道要为什么这么做。下面就介绍下编译器这方面的一个具体功能。

    首先：要知道什么是类的实例化，所谓类的实例化就是在内存中分配一块地址。

 

    例一：

#include<iostream.h>

 

class a {};

 

class b{};

 

class c:public a{

virtual void fun()=0;

};

 

class d:public b,public c{};

 

int main()

{

cout<<"sizeof(a)"<<sizeof(a)<<endl;

 

cout<<"sizeof(b)"<<sizeof(b)<<endl;

 

cout<<"sizeof(c)"<<sizeof(c)<<endl;

 

cout<<"sizeof(d)"<<sizeof(d)<<endl;

 

return 0;

}

 

程序执行的输出结果为：

sizeof(a) = 1

sizeof(b) = 1

sizeof(c) = 4

sizeof(d) = 8

 

    为什么会出现这种结果呢？初学者肯定会很烦恼是吗？类a，b明明是空类，它的大小应该为为0，为什么编译器输出的结果为1呢？这就是刚才所说的实例化的原因（空类同样可以被实例化），每个实例在内存中都有一个独一无二的地址，为了达到这个目的，编译器往往会给一个空类隐含的加一个字节，这样空类在实例化后在内存得到了独一无二的地址．所以a，b的大小为1而类c是由类a派生而来，它里面有一个纯虚函数，由于有虚函数的原因，有一个指向虚函数的指针（虚函数表），在32位的系统分配给指针的大小为4个字节，所以最后得到c类的大小为4类d的大小更让人疑惑吧，类d是由类b，c派生而来的，它的大小应该为二者之和5，为什么却是8 呢？这是因为为了提高实例在内存中的存取效率．类的大小往往被调整到系统的整数倍．并采取就近的法则，里哪个最近的倍数，就是该类的大小，所以类d的大小为8个字节。当然在不同的编译器上得到的结果可能不同，但是例一说明不管类是否为空类，均可被实例化（空类也可被实例化），每个被实例都有一个独一无二的地址。

 

    编译器为vc++ 6.0下再看一个例。

    例二：

#include<iostream.h>

 

class a{

pivate:

int data;

};

 

class b{

private:

int data;

static int data1;

};

 

int b::data1=0;

 

void mian(){

 

cout<<"sizeof(a)="<<sizeof(a)<<endl;

 

cout<<"sizeof(b)="<<sizeof(b)<<endl;

 

}

 

执行结果为：

sizeof(a) = 4;

sizeof(b) = 4;

 

    为什么类b多了一个数据成员，却大小和类a的大小相同呢？因为：类b的静态数据成员被编译器放在程序的一个global data members中，它是类的一个数据成员．但是它不影响类的大小，不管这个类实际产生了多少实例，还是派生了多少新的类，静态成员数据在类中永远只有一个实体存在，而类的非静态数据成员只有被实例化的时候，他们才存在．但是类的静态数据成员一旦被声明，无论类是否被实例化，它都已存在．可以这么讲，类的静态数据成员是一种特殊的全局变量所以a，b的大小相同。

 

    下面看一个有构造函数，和析构函数的类的大小，它又是多大呢？

 

    例三：

#include<iostream.h>

class A{

public :

A(int a){

a=x;

}

 

void f(int x){

cout<<x<<endl;

}

~A(){}

private:

int x;

int g;

};

 

class B{

public:

private:

int data;

int data2;

static int xs;

};

 

int B::xs=0;

 

void main(){

 

A s(10);

 

s.f(10);

 

cout<<"sozeof(a)="<<sizeof(A)<<endl;

 

cout<<"sizeof(b)="<<sizeof(B)<<endl;

}

 

程序执行输出结果为：

10 ,

sizeof(a) = 8

sizeof(b) = 8

 

    它们的结果均相同，这样就可以看出类的大小与它当中的构造函数，析构函数，以及其他的成员函数无关，只与它当中的成员数据以及虚函数有无有关。