偏移量

回复 C语言学习系列--如何计算结构体的大小 华清洪涛 2009-06-02 14:11 以下是我在华清远见的同事曾宏安老师写的一篇关于C语言中结构体的文章，希望对入门阶段的同学有帮助，呵呵！                                                         如何计算结构体的大小 运算符sizeof可以计算出给定类型的大小，对于32位系统来说，sizeof(char) = 1; sizeof(int) = 4。基本数据类型的大小很好计算，我们来看一下如何计算构造数据类型的大小。        C语言中的构造数据类型有三种：数组、结构体和共用体。 数组是相同类型的元素的集合，只要会计算单个元素的大小，整个数组所占空间等于基础元素大小乘上元素的个数。 结构体中的成员可以是不同的数据类型，成员按照定义时的顺序依次存储在连续的内存空间。和数组不一样的是，结构体的大小不是所有成员大小简单的相加，需要考虑到系统在存储结构体变量时的地址对齐问题。看下面这样的一个结构体：        struct stu1        {           int    i;        char c;        int j;        } ； 先介绍一个相关的概念——偏移量。偏移量指的是结构体变量中成员的地址和结构体变量地址的差。结构体大小等于最后一个成员的偏移量加上最后一个成员的大小。显然，结构体变量中第一个成员的地址就是结构体变量的首地址。因此，第一个成员i的偏移量为0。第二个成员c的偏移量是第一个成员的偏移量加上第一个成员的大小（0+4）,其值为4；第三个成员j的偏移量是第二个成员的偏移量加上第二个成员的大小（4+1）,其值为5。 实际上，由于存储变量时地址对齐的要求，编译器在编译程序时会遵循两条原则：一、结构体变量中成员的偏移量必须是成员大小的整数倍（0被认为是任何数的整数倍） 二、结构体大小必须是所有成员大小的整数倍。 对照第一条，上面的例子中前两个成员的偏移量都满足要求，但第三个成员的偏移量为5，并不是自身(int)大小的整数倍。编译器在处理时会在第二个成员后面补上3个空字节，使得第三个成员的偏移量变成8。 对照第二条，结构体大小等于最后一个成员的偏移量加上其大小，上面的例子中计算出来的大小为12，满足要求。 再看一个满足第一条，不满足第二条的情况 struct stu2        {           int    k;        short t; } ； 成员k的偏移量为0；成员t的偏移量为4，都不需要调整。但计算出来的大小为6，显然不是成员k大小的整数倍。因此，编译器会在成员t后面补上2个字节，使得结构体的大小变成8从而满足第二个要求。 由此可见，大家在定义结构体类型时需要考虑到字节对齐的情况，不同的顺序会影响到结构体的大小。对比下面两种定义顺序 struct stu3                              struct stu4 {                                      {   char c1;                               char c1;   int i;                                  char c2;  char c2;                               int   i; }                                      } 虽然结构体stu3和stu4中成员都一样，但sizeof(struct stu3)的值为12而sizeof(struct stu4)的值为8。 如果结构体中的成员又是另外一种结构体类型时应该怎么计算呢？只需把其展开即可。但有一点需要注意，展开后的结构体的第一个成员的偏移量应当是被展开的结构体中最大的成员的整数倍。看下面的例子， struct stu5        {        short i;        struct        {           char c;           int j;        } ss;           int    k; } 结构体stu5的成员ss.c的偏移量应该是4，而不是2。整个结构体大小应该是16。 如何给结构体变量分配空间由编译器决定，以上情况针对的是Linux下的GCC。其他平台的C编译器可能会有不同的处理。 　　　　  （作者：华清远见资深讲师  曾宏安  www.farsight.com.cn   www.embedu.org   ）

• 回复 #1 江涛(C/C++老师) 2009-06-02 14:27 控制结构的成员如何封装到内存并为模块中的所有结构指定相同的封装。 /Zp[1|2|4|8|16] 备注 当指定此选项时，第一个结构成员后的每个结构成员将存储在成员类型大小或 n 字节边界（其中 n 为 1、2、4、8 或 16）两者中较小的一个边界上。 下表描述了可用的值。 1 在 1 字节边界上封装结构。与 /Zp 相同。 2 在 2 字节边界上封装结构。 4 在 4 字节边界上封装结构。 8 在 8 字节边界上封装结构（默认操作）。 16 在 16 字节边界上封装结构。 除非有特定的对齐要求，否则不应使用此选项。 还可以使用 pack 控制结构封装。有关对齐方式的更多信息，请参见： align (C++) __alignof Operator __unaligned

• 回复 #2 重庆邮电大学 吴小伟(C/C++学生) 2009-06-03 12:49 一、结构体变量中成员的偏移量必须是成员大小的整数倍（0被认为是任何数的整数倍）。这个依据肯定是错误的，至少对于linux平台是错误。比如： struct test {         int   i;        //int在我机器为4字节。         double  j;   //double在我机器上为8字节。 };  这个结构按您的计算方式为：i 占了4个字节，由于j为8字节，前面的4字节不是j大小的整数倍，所以补4个字节，然后存储j，这样就是16个字节了。这个结论在windows是正确的，在linux上就是错误的。内存对齐原则其实是根据每个类型的对齐模数来实施的，char对齐模数是1，short是2，int是4，float是4，double(linux是4，windows是8)，由于double在linux上是4的对齐模数，所以上述结构的大小就是i的4 加 j的8，共12字节。。。 以上所说的对齐模数只是在模人情况，没有进行设置。

• 回复 #3 永恒的追求 王富涛(C/C++学生) 2009-06-03 13:03 struct stu5        {        short i;        struct        {           char c;           int j;        } ss;           int    k; } 结构体stu5的成员ss.c的偏移量应该是4，而不是2。整个结构体大小应该是16。 老师能把这里讲详细一点吗？

• 回复 #4 重庆邮电大学 吴小伟(C/C++学生) 2009-06-03 13:32 永恒的追求 王富涛(C/C++学生): struct stu5        {        short i;        struct        {           char c;           int j;        } ss;           int    k; } 结构体stu5的成员ss i占用了2字节， 结构ss的对齐模数等于j的对齐模数，也就是4，所以在i后面要填充2个字节以补齐到4，这个时候就占用了4字节了，c占用1字节，就是5字节了，c后面再填充3字节，这个时候占用了8字节，j占用4字节，就是12了，最后k的4字节，就是16了。。。

• 回复 #5 永恒的追求 王富涛(C/C++学生) 2009-06-03 14:01 重庆邮电大学 吴小伟(C/C++学生): i占用了2字节， 结构ss的对齐模数等于j的对齐模数，也就是4，所以在i后面要填充2个字节以补齐到4，这个时候就占用了4字节了，c占用1字节，就是5字节了，c后面再填充3字节，这个时 重庆邮电大学 吴小伟(C/C++学生) 27分钟前 永恒的追求 王富涛(C/C++学生): struct stu5        {        short i;        struct        {           char c;           int j;        } ss;           int    k; } 结构体stu5的成员ssi占用了2字节， 结构ss的对齐模数等于j的对齐模数，也就是4，所以在i后面要填充2个字节以补齐到4，这个时候就占用了4字节了，c占用1字节，就是5字节了，c后面再填充3字节，这个时候占用了8字节，j占用4字节，就是12了，最后k的4字节，就是16了。。。 明白了，谢谢哥们！

• 回复 #6 华中科技大学 李奥(C/C++学生) 23小时前 重庆邮电大学 吴小伟(C/C++学生): 一、结构体变量中成员的偏移量必须是成员大小的整数倍（0被认为是任何数的整数倍）。这个依据肯定是错误的，至少对于linux平台是错误。比如： struct test {         int 也就是说结构体中的成员的偏移量必须是成员对齐模数的整数倍？如果是这样，怎样设置对齐模数？

• 回复 #7 重庆邮电大学 吴小伟(C/C++学生) 23小时前 华中科技大学 李奥(C/C++学生): 也就是说结构体中的成员的偏移量必须是成员对齐模数的整数倍？如果是这样，怎样设置对齐模数？ 我在上个回帖中说的那些对齐模数是默认的，当然可以自己修改。 #pragma pack(n),  n必须小于默认的对齐模数，也就是说只能向小设，不能向大设

• 回复 #8 华中科技大学 李奥(C/C++学生) 22小时前 重庆邮电大学 吴小伟(C/C++学生): 我在上个回帖中说的那些对齐模数是默认的，当然可以自己修改。 #pragma pack(n),  n必须小于默认的对齐模数，也就是说只能向小设，不能向大设 也就是说如果我把int 设为2，那么上面的stu3结构的大小也是8？

• 回复 #9 重庆邮电大学 吴小伟(C/C++学生) 22小时前 华中科技大学 李奥(C/C++学生): 也就是说如果我把int 设为2，那么上面的stu3结构的大小也是8？ 恩，是8。。。自己调试下，就更清楚了塞。。。 #pragma  pack(n)是把所有的成员的对齐模数都设置为n，比如设置为1后，就是一个一个的挨着存放，结构大小也就是成员大小之和了。。。