C语言结构体存储 内存对齐问题

1）内存对齐产生的原因

内存空间是按照字节来划分的，从理论上对内存空间的访问可以从任何地址开始。

但是在实际上不同架构的CPU为了提高访问内存的速度，就规定了对于某些类型的数据

只能从特定的起始位置开始访问。这样就决定了各种数据类型只能按照相应的规则

在内存空间中存放，而不能一个接一个的顺序排列，浪费了小部分存储空间。

2）对齐原则

一个变量占用 n个字节，则该变量的起始地址必须能够被n整除，即:存放起始地址% n = 0。

对于结构体而言， n取其成员中的数据类型占空间的最大的那个，而且结构体所占字节数会是

其对齐基数的整数倍。

3）基本数据类型

一般，char型数据，所占字节为1。short型为2。int,long, float类型，为4。

对于double类型为8。基本类型的对齐基数与自身所占字节数相同

结构体的对齐基数与其中最大的基本类型对齐基数相同，即：结构体中有数组，数组

的对齐基数是数组的类型。

4）首地址的选择

结构体首地址的选择，和结构体的对齐基数有关，即：根据对齐基数选择首指，而不是按第一个成员的

对齐基数来选择。否则会造成结构体大小的不确定。

5）举例

1.struct node
    {
        short b;
        int c;
        char a;
        double d;
    } cc;

cc所占字节为24。假设首指为0x00000，short b为0x00000--0x00001，int c为0x0004--0x00007，

char c为0x00008，double d为0x00010--0x00017。0x00000--0x00017为24字节的地址。

2. struct node
    {
       int b[2];
       char a;
    } cc;

cc所占字节为12。假设首指为0x00000，int b[2]为0x00000--0x00003-0x00004--0x0007，char a为

0x00008--0x0000c。0x00000--0x0000c共有12个字节的地址。

3.struct node
    {
        short b;
        char c[5];
        char a;
        double d;
    } cc;

cc所占字节为16。和第一例可以比较了从16到24

的原因是第一例中short b占两个空两个，int c占4个，而此处short b只占两个，char c[5]占5个，char a

占0x00007（均假设首地指为0x00000），double d刚好到了0x00008,（0x00008%8=0），就直接从这里开始。

若把char c[5]改为char c[6]，则cc所占字节为24。