结构体在内存中的对齐规则[转载]

一个结构体变量定义完之后，其在内存中的存储并不等于其所包含元素的宽度之和

1：元素为基本数据类型的结构体

例一：

 1 #include <iostream>
 2 using namespace std;
 3 struct X
 4 {
 5    char a;
 6    int b;
 7    double c;
 8 }S1;
 9  
10 int main()
11 {
12     cout << sizeof(S1) << endl;
13     cout << sizeof(S1.a) << endl;
14     cout << sizeof(S1.b) << endl;
15     cout << sizeof(S1.c) << endl;
16     return 0; 
17 }

结构体定义

例一中的结构体变量S1定义之后，经测试，会发现：

sizeof(S1）= 16，sizeof(S1.a) = 1，sizeof(S1.b) = 4， sizeof(S1.c) = 8

原则一：结构体中元素是按照定义顺序一个一个放到内存中去的，但并不是紧密排列的。

从结构体存储的首地址开始，每一个元素放置到内存中时，它都会认为内存是以它自己的大小

来划分的，因此元素放置的位置一定会在自己宽度的整数倍上开始（以结构体变量首地址为0计算）

比如此例，首先系统会将字符型变量a存入第0个字节（相对地址，指内存开辟的首地址）；

然后在存放整形变量b时，会以4个字节为单位进行存储，由于第一个四字节模块已有数据，

因此它会存入第二个四字节模块，也就是存入到4~8字节；

同理，存放双精度实型变量c时，由于其宽度为8，其存放时会以8个字节为单位存储，

也就是会找到第一个空的且是8的整数倍的位置开始存储。

此例中，由于头一个8字节模块已被占用，所以将c存入第二个8字节模块。整体存储示意图如图1所示：

考虑另外一个实例，例二：

 struct X
{
    char a;
    double b;
    int c;
}S2;

将double型的变量和int型的变量互换位置。测试程序不变，测试结果却截然不同，sizeof(S2)=24，

不同于我们按照原则一计算出的8+8+4=20，这就引出了我们的第二原则。

原则二：在经过第一原则分析后，检查计算出的存储单元是否为所有元素中最宽的元素的长度的整数倍，

是，则结束；若不是，则补齐为它的整数倍。

例二中，我们分析完后的存储长度为20字节，不是最宽元素长度8的整数倍，因此将它补齐到8的整数倍，

也就是24。这样就没问题了。其存储示意图如图2所示。

2：元素包含指针类型的的结构体

原则：只要记住指针本身所占的存储空间是4个字节就行了，而不必看它是指向什么类型的指针

struct X struct Y struct Z
{ { {
char *a; int *b; double *c;
}; }; };

经测试，可知sizeof(X)、sizeof(Y)和sizeof(Z)的值都为4。

3：元素包含其他结构体类型的的结构体

  struct X
{
    char a;
    int b;
    double c;
};

  struct Y
{
    char a;
    X b;
};

经测试，可知sizeof(X)=16，sizeof(Y)=24。

即计算Y的存储长度时，在存放第二个元素b时的初始位置是在double型的长度8的整数倍处，而非16的整数倍处，

即系统为b所分配的存储空间是第8~23个字节。

如果将Y的两个元素char型的a和X型的b调换定义顺序，则系统为b分配的存储位置是第0~15个字节，

为a分配的是第16个字节，加起来一共17个字节，不是最长基本类型double所占宽度8的整数倍，

因此要补齐到8的整数倍，即24。测试后可得sizeof(Y)的值为24。

由于结构体所占空间与其内部元素的类型有关，而且与不同类型元素的排列有关，因此在定义结构体时，

在元素类型及数量确定之后，我们还应该注意一下其内部元素的定义顺序。