c++ 对齐问题

转载 2013年12月05日 18:22:21

从union的sizeof问题看cpu的对界 

  考虑下面问题:(默认对齐方式) 


union u

{

 double a;

 int b;

}; 


union u2

{

 char a[13];

 int b;

}; 


union u3

{

 char a[13];

 char b;

}; 


cout<<sizeof(u)<<endl; // 8

cout<<sizeof(u2)<<endl; // 16

cout<<sizeof(u3)<<endl; // 13



  都知道union的大小取决于它所有的成员中,占用空间最大的一个成员的大小。所以对于u来说,大小就是最大的double类型成员a了,所以sizeof(u)=sizeof(double)=8。但是对于u2和u3,最大的空间都是char[13]类型的数组,为什么u3的大小是13,而u2是16呢?关键在于u2中的成员int b。由于int类型成员的存在,使u2的对齐方式变成4,也就是说,u2的大小必须在4的对界上,所以占用的空间变成了16(最接近13的对界)。 

  结论:复合数据类型,如union,struct,class的对齐方式为成员中对齐方式最大的成员的对齐方式。 

  顺便提一下CPU对界问题,32的C++采用8位对界来提高运行速度,所以编译器会尽量把数据放在它的对界上以提高内存命中率。对界是可以更改的,使用#pragma pack(x)宏可以改变编译器的对界方式,默认是8。C++固有类型的对界取编译器对界方式与自身大小中较小的一个。例如,指定编译器按2对界,int类型的大小是4,则int的对界为2和4中较小的2。在默认的对界方式下,因为几乎所有的数据类型都不大于默认的对界方式8(除了long double),所以所有的固有类型的对界方式可以认为就是类型自身的大小。更改一下上面的程序: 


#pragma pack(2)

union u2

{

 char a[13];

 int b;

}; 


union u3

{

 char a[13];

 char b;

};

#pragma pack(8) 


cout<<sizeof(u2)<<endl; // 14

cout<<sizeof(u3)<<endl; // 13



  由于手动更改对界方式为2,所以int的对界也变成了2,u2的对界取成员中最大的对界,也是2了,所以此时sizeof(u2)=14。 

  结论:C++固有类型的对界取编译器对界方式与自身大小中较小的一个。 

  9、struct的sizeof问题 

  因为对齐问题使结构体的sizeof变得比较复杂,看下面的例子:(默认对齐方式下) 


struct s1

{

 char a;

 double b;

 int c;

 char d; 

}; 


struct s2

{

 char a;

 char b;

 int c;

 double d;

}; 


cout<<sizeof(s1)<<endl; // 24

cout<<sizeof(s2)<<endl; // 16



  同样是两个char类型,一个int类型,一个double类型,但是因为对界问题,导致他们的大小不同。计算结构体大小可以采用元素摆放法,我举例子说明一下:首先,CPU判断结构体的对界,根据上一节的结论,s1和s2的对界都取最大的元素类型,也就是double类型的对界8。然后开始摆放每个元素。

  对于s1,首先把a放到8的对界,假定是0,此时下一个空闲的地址是1,但是下一个元素d是double类型,要放到8的对界上,离1最接近的地址是8了,所以d被放在了8,此时下一个空闲地址变成了16,下一个元素c的对界是4,16可以满足,所以c放在了16,此时下一个空闲地址变成了20,下一个元素d需要对界1,也正好落在对界上,所以d放在了20,结构体在地址21处结束。由于s1的大小需要是8的倍数,所以21-23的空间被保留,s1的大小变成了24。

  对于s2,首先把a放到8的对界,假定是0,此时下一个空闲地址是1,下一个元素的对界也是1,所以b摆放在1,下一个空闲地址变成了2;下一个元素c的对界是4,所以取离2最近的地址4摆放c,下一个空闲地址变成了8,下一个元素d的对界是8,所以d摆放在8,所有元素摆放完毕,结构体在15处结束,占用总空间为16,正好是8的倍数。 

  这里有个陷阱,对于结构体中的结构体成员,不要认为它的对齐方式就是他的大小,看下面的例子: 


struct s1

{

 char a[8];

}; 


struct s2

{

 double d;

}; 


struct s3

{

 s1 s;

 char a;

}; 


struct s4

{

 s2 s;

 char a; 

}; 


cout<<sizeof(s1)<<endl; // 8

cout<<sizeof(s2)<<endl; // 8

cout<<sizeof(s3)<<endl; // 9

cout<<sizeof(s4)<<endl; // 16;



  s1和s2大小虽然都是8,但是s1的对齐方式是1,s2是8(double),所以在s3和s4中才有这样的差异。 

  所以,在自己定义结构体的时候,如果空间紧张的话,最好考虑对齐因素来排列结构体里的元素。

 

结论:struct 里面的元素是顺序存储的,每个元素占用的字节数根据对齐字节数N(struct 里占用字节最多的元素与CPU对齐字节数中较小的一个)进行调整.如果从左至右M个元素加起来的字节数大于N,则按从右至左舍去K个元素直至M-K个元素加起来的字节数小于等于N,如果等于N则不用字节填充,小于N则把M-K-1的元素填充直至=N.

举报

相关文章推荐

c++内存中字节对齐问题详解

一、什么是字节对齐,为什么要对齐? 现代计算机中内存空间都是按照byte划分的,从理论上讲似乎对任何类型的变量的访问可以从任何地址开始,但实际情况是在访问特定类型变量的时候经常在特 定的内存地址访问...

C++内存对齐问题

在上一篇写道位域大小的时候,简短的提到了内存对齐的问题,而本文就将对内存对齐做个简单的说明,让各位脑中有个简单的概念。     说内存对齐,我觉得还是应该先说说为什么需要有内存对齐,大部分的参考资料...

我是如何成为一名python大咖的?

人生苦短,都说必须python,那么我分享下我是如何从小白成为Python资深开发者的吧。2014年我大学刚毕业..

c++结构体对齐问题

今天在复习c++基础知识时,发现了一个c++结构体对齐问题,怎么算一个结构体所占的位数,

c++内存中字节对齐问题详解

在理解字节对齐之前,先看下面一段代码,一般是初学者适合看一下 //基本数据类型 #include void main(int argc,char *argv[]){ char c,Carra...

c++冲刺(四)字节对齐问题详解(转载)

一、什么是字节对齐,为什么要对齐?     现代计算机中内存空间都是按照byte划分的,从理论上讲似乎对任何类型的变量的访问可以从任何地址开始,但实际情况是在访问特定类型变量的时候经常在特 定的内存...

C++测试类大小中的内存对齐问题

# include using namespace std; class A{ public : int b; void test() ...

C++字节对齐问题

关于C++字节对齐问题 关于C/C++的字节对齐 这两天写解析SWF文件的程序,在结构体指针和从文件中读出来的进行转换的时候遇到一些问题,就是有一个struct A,例如: stru...

C++:struct和union 内存字节对齐问题

struct内存对齐问题1:数据成员对齐规则:结构(struct)(或联合(union))的数据成员,第一个数据成员放在offset为0的地方,以后每个数据成员存储的起始位置要从该成员大小的整数倍开始...

c++内存中字节对齐问题详解

转自http://www.cnblogs.com/nawind/articles/1339991.html 一、什么是字节对齐,为什么要对齐?     现代计算机中内存空间都是按照byte划分...
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)