数据对齐 & 结构体的大小

数据对齐:

如果一个变量的内存地址正好是它长度的整数倍,它就称作是自然对齐的。

一些体系结构对对齐的要求非常严格。RISC系统,载入未对齐的数据会导致处理器陷入(一种可处理的错误,trap)。还有一些系统可以访问没有对齐的数据,只不过性能会下降。编译器会通过让所有的数据自然对齐来避免引发对齐问题。


看一下结构体大小的计算:

转载: http://blog.sina.com.cn/s/blog_5f77c7270100dnoy.html


运算符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 temp
       {
       short i;    +1
       struct
       {
          char c;  +5
          int j;   +6
       } ss;       +10+2
          int k;   +4
};             =16
结构体temp的成员ss.c的偏移量应该是4,而不是2。整个结构体大小应该是16。
注意在linux下时,整个结构体的大小应该是:
char对齐模数是1,short是2,int是4,float是4,double(linux是4,windows是8)
所以对于如下的结构体:(32位机,默认设置)
struct temp
 {
        int   i;       
        double  j;   
 };
对于在WINDOWNS系统下,整个结构的大小应该是16,在LINUX系统下,整个结构的大小应该是12
 
当控制结构的成员封装到内存并为模块中的所有结构指定相同的封装时。
#pragma pack(n)   是把所有的成员的对齐模数都设置为n,比如设置为1后,就是一个一个的挨着存放,结构大小也就是成员大小之和了。n必须小于默认的对齐模数,也就是说只能向小设,不能向大设

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
在计算结构体大小时,需要考虑到内存对齐的问题。内存对齐是为了优化内存访问速度而进行的一种技术,它要求不同数据类型的变量在内存中的存储地址要按照一定规则进行对齐。具体来说,每个数据类型都有一个对齐值,即该数据类型变量在内存中存储的起始地址必须是该对齐值的倍数。 在C语言中,可以使用`sizeof`运算符来计算结构体大小,但是这个大小可能会受到内存对齐的影响。为了确保计算出的大小是考虑了内存对齐的,我们可以使用`__alignof__`关键字来获取每个成员变量的对齐值,并手动进行对齐计算。 下面是一个示例代码,演示如何使用内存对齐计算结构体大小: ```c #include <stdio.h> struct my_struct { char c; int i; double d; }; int main() { struct my_struct s; size_t size = sizeof(s); size_t align_c = __alignof__(s.c); size_t align_i = __alignof__(s.i); size_t align_d = __alignof__(s.d); size_t align = align_c > align_i ? align_c : align_i; align = align > align_d ? align : align_d; size_t padding_c = align - sizeof(s.c) % align; size_t padding_i = align - sizeof(s.i) % align; size_t padding_d = align - sizeof(s.d) % align; size_t padding = padding_c + padding_i + padding_d; size += padding; printf("Size of my_struct: %zu\n", size); return 0; } ``` 在上面的示例代码中,我们首先定义了一个`my_struct`结构体,其中包含一个`char`类型的成员变量`c`、一个`int`类型的成员变量`i`和一个`double`类型的成员变量`d`。然后我们使用`sizeof`运算符计算出结构体大小,并使用`__alignof__`关键字获取每个成员变量的对齐值。接下来,我们计算出结构体需要进行的对齐和填充,最后将填充的大小加入到结构体大小中,输出计算出的结构体大小。 需要注意的是,对齐值可能会因为编译器和操作系统的不同而有所差异,因此在实际应用中需要谨慎处理。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值