C/C++ 下关于数据结构占据内存的理论字节和实际字节不相符的问题——字节对齐问题

 

1、在32位编译器下数据类型long占4个字节，short占2个字节。而在调试程序的过程中发现一个包含两个long类型的结构体占8个字节，包含连个long类型和一个short类型的结构体占12个字节，而理论上应当占10个字节。

2、在现代计算机的内存空间中都是按照byte划分的，从理论上讲对任何类型的变量的访问都是可以从任何地址开始的，但实际情况却是在访问特定类型变量的时候经常在特定的内存地址访问，这就需要各种类型数据按照一定的规则在空间上排列，而不是顺序的一个接一个的排放，这就是字节对齐。

3、字节对齐的作用和原因：各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从某些特定地址开始存取。比如有些架构的CPU在访问一个没有进行对齐的变量的时候会发生错误,那么在这种架构下编程必须保证字节对齐.其他平台可能没有这种情况，但是最常见的是如果不按照适合其平台要求对数据存放进行对齐，会在存取效率上带来损失。比如有些平台每次读都是从偶地址开始，如果一个int型（假设为32位系统）如果存放在偶地址开始的地方，那么一个读周期就可以读出这32bit，而如果存放在奇地址开始的地方，就需要2个读周期，并对两次读出的结果的高低字节进行拼凑才能得到该32bit数据。显然在读取效率上下降很多。

4、编译器字节对齐原则如下：

（1）、数据类型自身的对齐值：为指定平台上基本类型的长度。对于char型数据，其自身对齐值为1，对于short型为2，对于int、float、double类型，其自身对齐值为4，单位字节。

（2）、结构体或者类的自身对齐值：其成员中自身对齐值最大的那个值。

（3）、指定对齐值：#pragma pack (value)时的指定对齐值value。

（4）、数据成员、结构体和类的有效对齐值：自身对齐值和指定对齐值中小的那个值。

5、在Windows 操作系统中，C/C++编译器为每一个变量或是数据单元按其自然对界条件分配空间。通常可以通过下面的方法来改变字节对齐方式：

（1）、使用伪指令#pragma pack (n)，C编译器将按照n个字节对齐。

（2）、使用伪指令#pragma pack ()，取消自定义字节对齐方式。