sizeof 结构体问题

第一种，基础类型

struct stru3  
{   
       char i;  
       int m;   
       char n;  
};  
struct stru4  
{  
       char i;  
       char n;  
       int m;
 }; 

虽然结构体stru3和stru4中成员都一样，sizeof(struct stru3)的值为12而sizeof(struct stru4)的值为8。

由此可见，结构体类型需要考虑到字节对齐的情况，不同的顺序会影响结构体的大小。

在实际中，存储变量时地址要求对齐，编译器在编译程序时会遵循两条原则：

(1)结构体变量中成员的偏移量必须是成员大小的整数倍（0被认为是任何数的整数倍） 

(2)结构体大小必须是所有成员大小的整数倍，也即所有成员大小的公倍数。

 

第二种，嵌套的结构体

对于嵌套的结构体，需要将其展开。对结构体求sizeof时，上述两种原则变为：
       （1）展开后的结构体的第一个成员的偏移量应当是被展开的结构体中最大的成员的整数倍。

       （2）结构体大小必须是所有成员大小的整数倍，这里所有成员计算的是展开后的成员，而不是将嵌套的结构体当做一个整体。

例子1：

struct stru5  
{  
      short i;  
      struct   
      {  
           char c;  
           int j;  
      } tt;   
      int k;  
};

结构体stru5的成员tt.c的偏移量应该是4，而不是2。整个结构体大小应该是16。

例子2：

struct stru6  
{  
      char i;  
      struct   
      {  
           char c;  
           int j;  
      } tt;   
      char a;  
      char b;  
      char d;  
      char e;  
      int f;  
};

结构体tt单独计算占用空间为8，而stru6的sizeof则是20，不是8的整数倍，这说明在计算sizeof(stru6)时，将嵌套的结构体ss展开了，这样stu6中最大的成员为tt.j，占用4个字节，20为4的整数倍。如果将tt当做一个整体，结果应该是24了。

 

第三种，包含数组

另一个特殊的例子是结构体中包含数组，其sizeof应当和处理嵌套结构体一样，将其展开，如下例子：

struct array  
{  
    float f;  
    char p;  
    int  arr[3];  
};

其值为20。float占4个字节，到char p时偏移量为4，p占一个字节，到int arr[3]时偏移量为5，扩展为int的整数倍，而非int arr[3]的整数倍，这样偏移量变为8，而不是12。结果是8+12=20，是最大成员float或int的大小的整数倍。