od结构体大小_总结笔试题中的类、结构体的sizeof问题

1.空类的大小是1.

class Empty

{};

int main()

{

cout<

}

一个空类的大小是1,而不是0.这是为什么呢,因为如果你定义了这个类的对象,那么你得有它的内存地址才行,而如果它的大小为0,它就不占内存地址了,所以,编译器将它的大小设为了1.

2.静态成员不计入类的大小中

class Empty

{

public:

static int val;

};

int Empty::val = 1;

int main()

{

cout<

}大小还是1,static变量是在程序执行之前分配的在静态存储区的,它的大小并不算在类的大小之内。

3.基类的私有成员也被派生类继承下来了,但是不可被访问,并不是派生类中没有这个成员。

class C1

{

private:

int v1;

};

class C2:public C1

{

private:

int v2;

};

它们的大小一个是4,一个是8.也许有人会觉得,C1的v1是private的,不会被继承下来吧?其实是,它会被继承下来,但是不可被访问。

4.虚函数会增加类的大小。

class C1

{

virtual void func(){}

};

class C2:public C1

{};

这两个类大小均为4.这是因为:虚函数的实现,依赖于虚函数表,这两个类都保存了虚函数表的地址,这是一个指针,需要4个字节。

6.下面我们考虑一个笔试中经常考的问题,结构体(类)的大小。

首先,咱们不考虑微软提供的修改对其方式的代码:#pragma pack和__declspec,考虑C++本身的情况:

class C1

{

char str;

int ival;

double dval;

};

class C2

{

int ival;

double dval;

char str;

};它们的大小分别为16和24。为什么呢?因为在定义它们的大小时,需要考虑对齐的因素:

char类型的大小为1,所以它的地址是可以从任何偏移处开始的;int的大小为4,所以它的起始地址一定是4的倍数;同理,double类型的起始地址一定是8的倍数。而整个类的大小,是这个类成员中最大的size的整数倍。

拿我们的例子来说,对于C1:str占了1个字节,然后空了3个字节放ival,然后接着放dval。大小为1+3+4+8 = 16;对于C2:ival占了4个字节,接下来空4个字节,放dval,然后放str,然后补上7个字节(满足8的整数倍),所以总的大小为:4+4+8+1+7 = 24;

所以,假设你的类或者结构体有很多变量的话,最好是把它们从大到小的摆放会比较节省空间。

在上面的描述中,有一点是不确切的:而整个类的大小,是这个类成员中最大的size的整数倍。这是对于基本类型而言的,假设我们为其增加了数组:

class C1

{

char str;

int ival;

double dval;

int arr[10];

};

class C2

{

int arr[10];

int ival;

double dval;

char str;

};那么它俩的大小就变为56、64,并不是最大成员arr的size(40)的整数倍,而是8的整数倍,可见,当数组的大小参与对齐计算时,是按照每个元素的大小来衡量的,举个例子:

class C4

{

int val;

char str;

double arr[10];

};它的大小为88:val占了4个,str占了1个,然后空了3个,到达了偏移量为8的地址,开始放arr,它的大小为80,一共为88。想想道理吧,对齐的目的只是为了更加快捷的访问,所以,而数组是连续的,每个元素之间的偏移量是固定的,所以完全没有必要把整个大小弄成数组的大小的整数倍。

类似的如果一个类里面包含了其他成员类,那么在计算整个类的大小时,对待子类时只使用它的成员中最大的元素的来参与对齐;而不是这个类的总大小:

class C4

{

double val;

char str;

int arr[10];

};

class C1

{

char str;

int ival;

double dval;

C4 obj;

};

class C2

{

char str;

C4 obj;

int ival;

double dval;

};

在C1和C2中,包含了一个类成员C4,我们先看它的大小:val占了8个,str占了1个,然后空上3个,然后是40个字节的arr,然后整个类的大小,是其中最大成员val的大小(8)的整数倍,所以还得补充4个:8+1+3+40 +4= 56;

下面再分析C1:char占了一个,因为下面的是int,所以空3个,放ival,然后接着放dval,然后再放obj,总的大小为1+3+4+8+56 = 72;

最后看C2:char占了1个,因为后面的是C4类型,要以8字节对齐,所以补7个,然后放obj,然后放val,此时的大小为:1+7+56+4 = 68,因为下面是一个duoble,所以要以8对齐,所以要在填4个,到了72,然后放dval,总的大小为:1+7+56+4+4+8 = 80。

基本的情况就是这样,但是微软为我们提供了特殊的指令来修改对其方式:#pragma pack(n)和__declspec(align(n))。

7.

先看#pragma pack,它指明了对齐的字节数:每个成员按其类型的对齐参数(通常是这个类型的大小)和指定对齐参数中较小的一个对齐。

比如#pragma pack(16)不会对我们的类的大小产生任何影响,而#pragma pack(2)意味着类的成员要以2个字节对齐,所以C4大大小为:8(val)+1(str)+1(空)+40 = 50;而C1的大小为:1(str)+1(空)+4(ival)+8(dval)+50 = 64,同理C2的大小也是64。如果你使用#pragma pack(1),则类里面的元素就是紧紧挨在一起的,没有C4的大小为49,而C1、C2均为62。

这个预处理命令还有一些其他的用法,但与主题关系不太密切,就不多说了。

8.

declspec( align() )的一个特点是,它仅仅规定了数据对齐的位置,而没有规定数据实际占用的内存长度,当指定的数据被放置在确定的位置之后,其后的数据填充仍然是按照#pragma pack规定的方式填充的,这时候类/结构的实际大小和内存格局的规则是这样的:

在__declspec( align() )之前,数据按照#pragma pack规定的方式填充,如前所述。当遇到__declspec( align() )的时候,首先寻找距离当前偏移向后最近的对齐点(满足对齐长度为max(数据自身长度,指定值) ),然后把被指定的数据类型从这个点开始填充,其后的数据类型从它的后面开始,仍然按照#pragma pack填充,直到遇到下一个__declspec( align() )。

当所有数据填充完毕,把结构的整体对齐数值和__declspec( align() )规定的值做比较,取其中较大的作为整个结构的对齐长度。

特别的,当__declspec( align() )指定的数值比对应类型长度小的时候,这个指定不起作用。举个例子:

#pragma pack(2)

__declspec(align(16))

class C4

{

public:

double val;//起始偏移地址为0,占8个字节

char str;//起始偏移地址为8,占一个字节,然后填充一个字节

int arr[10];//起始地址为10,占40个字节

};//数据填充完毕,大小为50,与50最近的16的倍数是64,所以总的大小为64。最后,如果想查看某个变量的偏移地址,可以通过offsetof来查看。具体内容可自行百度。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值