闫一伟 2010-04-06 |
在初学面向对象的程序设计语言时,很多人或多或少的都有些疑问,为什么写出来的代码与最终生编译成的代码大相径庭呢?我们并不知道编译器在后台做了什么工作,这些都是由于我们仅停留在语言层的原因,所谓语言层就是会一些基本的语法法则,但并不知道要为什么这么做。下面就介绍下编译器这方面的一个具体功能。 首先:要知道什么是类的实例化,所谓类的实例化就是在内存中分配一块地址。
例一: #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
它们的结果均相同,这样就可以看出类的大小与它当中的构造函数,析构函数,以及其他的成员函数无关,只与它当中的成员数据以及虚函数有无有关。 |
C++类的实例化后占内存的大小计算
最新推荐文章于 2023-10-20 17:49:00 发布