C语言字节对齐问题详解

一、何谓字节对齐？
      现代计算机中内存空间都是按照字节（byte）划分的，从理论上讲，似乎对任何类型变量的访问都可以从任何地址开始，但实际情况是在访问特定变量的时候，经常在特定的内存地址访问，而不是顺序的一个接一个的排放。为了使CPU能够对变量进行快速访问，变量的起始地址应该具有某些特性，即所谓的“字节对齐”。比如4字节的int型,其起始地址应该位于4字节的边界上,即起始地址能够被4整除。
     在C语言中，结构体是一种复合数据类型，其构成元素既可以是基本数据类型（如int、long、float等）的变量，也可以是一些复合数据类型（如数组、结构体、联合等）的数据单元。在结构体中，编译器为结构体的每个成员按其自然边界（alignment）分配空间，各个成员按照它们被声明的顺序在内存中顺序存储，第一个成员的地址和整个结构的地址相同。
 
二、字节对齐的作用和原因
      各个硬件平台对存储空间的处理上有很大的不同。一些平台（例如sparc系统对字节对齐非常严格）对某些特定类型的数据只能从某些特定地址开始存取。其他平台可能没有这种情况， 但是如果不按照适合其平台的要求对数据存放进行对齐，会在存取效率上带来损失。比如有些平台（例如x86）每次读都是从偶地址开始，如果一个int型（假设为32位）如果存放在偶地址开始的地方，那么一个读周期就可以读出；而如果存放在奇地址开始的地方，就需要2个读周期，并对两次读出的结果的高低字节进行拼凑才能得到该int型数据。后者显然在读取效率上会下降很多，但存储空间上可能比前者更紧凑，这也是空间和时间的取舍。

三、字节对齐原则
   编译器是按照什么样的原则进行对齐的？在我们继续分析具体字节对齐问题之前，先让我们看几个重要的基本概念：
   1.数据类型自身的对齐值：在32位x86机器上，对于char型数据，其自身对齐值为1字节；