关于C/C++语言中字节对齐(alignmen…

来源：互联网发布：通达信mac版公式编辑：程序博客网时间：2024/04/24 19:40

很多情况下，可能和编译器有一定的关系，或者和设置有关系...

在32位系统中，一个结构体变量/类对象的长度，假设N字节对齐（N=1,2,4,8,..),

假设成员都是简单类型（如果复杂类型，分解至最长简单元素为准）

那么：

（1）结构体变量的首地址能被min(N,max(sizeof(member))整除，max(sizeof(member))表示最宽成员字节数

（2）每个成员，其放置偏移位置能被min(N,sizeof(this_member))整除

(3)结构体大小能被min(N,max(sizeof(member))整除

(4)空结构体长度为1，不论哪种字节对齐

(5)虚函数表指针为4字节，放头部

特别地，数组仍旧按其简单类型对其，如char[3],按1字节对齐， short[5]按2字节对齐

具体说：

（1.1）在pragma pack(1)的情况下，N=1，每个子成员对齐位置 =min(N,sizeof(member)) ,

即：直接累加计算字节数

(1.2) 在pragmapack(2)的情况下，N=2，每个子成员对齐位置 = min(N,sizeof(member)) ,即：

如char, 直接排

如short,必须排在0，2，4，6，8，10，。。。这些位置

如int/long/float/double,同short

(1.3) 如pragma pack(N),N>=4, 通常offset为min(N, sizeof(member)的倍数

如char, 直接排

如short,排0，2，4，6，8，10,....

如int/long/float,排0，4，8，12，16，20，。。。。

如double/longlong,排0，8，16，24，32，...... （如果N=8)

0, 4, 8, 16, ............(如果N=4)

N=8时，在gcc中，简单地说：

　 1)结构体变量的首地址能够被其最宽基本类型成员的大小所整除；

2)结构体每个简单成员相对于结构体首地址的偏移量（offset）都是成员大小的整数倍，

如有需要编译器会在成员之间加上填充字节（internalpadding）；

　　3)结构体的总大小为结构体最宽基本类型成员大小的整数倍，如有需要编译器会

在最末一个成员之后加上填充字节（trailingpadding）,即有8字节成员时，为8倍数。

如只要一个结构体有double数据，必为8倍数大小。

N=4时，简单说：

　 1) 结构体变量的首地址能够被其最宽基本类型成员的大小所整除；

2)每个简单成员相对于结构体首地址的偏移量（offset）都是min(4,sizeof(member))

的整数倍，如有需要编译器会在成员之间加上填充字节（internalpadding）；

　　3)结构体的总大小为结构体最宽基本类型成员大小的整数倍，如有需要编译器会

在最末一个成员之后加上填充字节（trailingpadding）。

(1.4) 空缺处pad,末尾未用处pad

(1.5)对虚函数表，不同编译器有不同的处理，gcc中占4个字节，放在头部

(1.6) sizeof(empty struct) = 1

参考：

1. sizeof in 百度百科

http://baike.baidu.com/view/1078660.htm

2. pragma pack

http://blog.csdn.net/jamesf1982/article/details/4375719

3. 虚函数表（编译器相关）- cygwin/gcc 测试结果为16，非24

http://topic.csdn.net/u/20100919/00/86f48b3e-1bcb-43f7-930d-046161f0dbfc.html

4. 字节对齐详解

http://chunni.iteye.com/blog/790417

http://www.yuanma.org/data/2006/0723/article_1213.htm

5. VC的sizeof、字节对齐、位域

http://hi.baidu.com/gaomanyi/blog/item/9cf279638b96cb660d33fad0.html

0 0