C语言中内存对齐规则讨论（struct）

对齐：

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

对齐的作用：

各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从某些特定地址开始存储。其他平台可能没有这种情况，但是最常见的是如果不按照合适其平台的要求对数据进行对齐，会在存取效率上带来损失。比如有些平台每次读都是从偶数地址开始，如果一个int型（假设为32位）如果存放在偶数开始的地方，那么一个读周期就可以读出，而如果存放在奇地址开始的地方，就可能会需要2个读周期，并对两次独处的结果的高低字节进行拼凑才能得到该int数据。显然在读取效率上下降很多。

对齐的实现

通常我们写程序的时候，不需要考虑对齐问题，编译器会替我们选择适合目标平台的对齐策略。当然，我们也可以通知给编译器传递预编译指令而改变对制定数据的对齐方法。缺省情况下，编译器为结构体的每个成员按其自然対界条件分配空间。各个成员按照他们被声明的顺序在内存中顺序存储，第一个成员的地址和整个结构的地址相同。自然対界即默认对齐方式，是指按结构体的成员中size最大的成员对齐。

最常见的就是struct数据结构的sizeof的结果出乎意料。

结构体的sizeof的值并不是简单的将其中各个元素所占的字节相加，而是要考虑到存储空间的字节对齐问题

结构体默认的字节对齐准则：

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

2. 结构体每个成员相对于结构体首地址的偏移量（offset）都是成员大小的整数倍，如有需要编译器会在成员之间加上填充字符；

3.结构体的总大小为结构体最宽基本类型成员大小和编译器缺省対界条件大小中比较小得那个值的整数倍，如有需要编译器会在最后一个成员之后加上填充字节；

一 结构体长度的求法：

A． 成员都相同时（或含数组且数组数据类型同结构体其他成员数据类型）

结构体长度=成员数据类型长度*成员个数；

结构体中数组长度=数组数据类型长度*数组元素个数；

B． 成员不同

第一步： 结构体的首地址有系统自动分配我们不予考虑

第二步：计算第一个成员变量的大小

第三步：计算第二个成员变量的大小，此时要注意此成员变量的偏移量（距离结构体首地址的长度）要保证是此变量大小的整数倍，如果不够则补空位；

依次计算所有成员变量，并求和。

第四步：选出所有成员变量中长度最长的变量的值，此时要保证总和是此变量长度的整数倍。如果不是则在最后面补空位。

注意：结构体作为成员时，则结构体成员要从其内部最大元素大小的整数倍地址开始存储。

例题一、

struct  test1
{
char a;
int b;
double c;
bool d;
};

则sizeof（test1）值为24

内存结构为 1***111111111111 1*******（其中*为补空位）

例题二、

struct  test2
{
char a;
struct test1 bb;
intc;
};

则sizeof(test2)的值为40

首先求a大小为1，在求bb时我们需要考虑偏移量，此时我们使用的bb的对比值并不是24而是test1中的最长值8，因此在字符a后需要补空位7位

然后加上bb长度24，

再计算c并加上其长度4.此时一共长36.

最后我们要注意原则中的第三条。在test2中最长的是结构体类型bb中的double，故总长度应该是8的整数倍。所以最后补位4位，得到40

内存结构为 1********1*** 1111 11111111 1******* 1111****（其中*为补空位）

例题三、

Struct test3
{
Chara;
Int b[4];
};

此时计算sizeof（test3）为20

内存结构为1***1111 1111 1111 1111

对齐规则

每个特定平台上的编译器都有自己的默认“对齐系数”(也叫对齐模数32位机上是8)。程序员可以通过预编

译命令#pragma pack(n)，n=1,2,4,8,16 来改变这一系数，其中的n 就是你要指定的“对齐系数”。