struct结构体占内存大小计算

本文详细介绍了结构体在内存中的大小计算方法,以及在使用GCC编译器时如何遵循内存对齐规则。通过具体实例展示了如何计算结构体的大小,包括考虑基本数据类型如int、double、char的占用空间,以及如何通过#pragmapack(n)指令调整对齐方式。同时,文章还讨论了包含位域(bit-field)的情况下的内存对齐规则,并对比了不同编译器(如VC和GCC)在处理位域时的不同策略。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

struct结构体占内存大小计算  

  

注意:struct 的{}后面要加上 ”;“

#include<stdio.h>
struct A
{
           int a;
          double b;
           char c;
};
struct B
{
           double b;
            char c;
            int a;
};
struct C
{
            int a;
            char c;
            double b;
};
int main(void)
{
          A aa;
          B bb;
          C cc;
          printf("A = %d\n", sizeof(aa));//结果:A = 24
          printf("B = %d\n", sizeof(bb));//结果:B = 16
          printf("C = %d\n", sizeof(cc));//结果:C = 16
          return 0;
}
int类型一般是占用四个字节,char类型一般占用一个字节,double类型一般占用8个字节。
1、结构体A首先给int a 分配四个字节,并且以4个字节对齐;然后给double b分配8个字节,发现以4个字节对齐不行,就以8个字节对齐,前面只有int a ,所以int a将占用8个字节;最后为了对齐,将给char c 也分配8给字节,所以结构体A占用了24个字节。
2、结构体B首先给double 分配8个字节,并且以8给字节对齐;然后给char c分配8给字节;最后给int a分配空间的时候发现,前面空有7个字节空间可以放下int a,int a 就和char c一起占用8个字节,所以结构体B占用了16个字节

而在GNU GCC编译器中,遵循的准则有些区别,对齐模数不是像上面所述的那样,根据最宽的基本数据类型来定。在GCC中,对齐模数的准则是:对齐模数最大只能是4,也就是说,即使结构体中有double类型,对齐模数还是4,所以对齐模数只能是1,2,4。而且在上述的三条中,第2条里,offset必须是成员大小的整数倍,如果这个成员大小小于等于4则按照上述准则进行,但是如果大于4了,则结构体每个成员相对于结构体首地址的偏移量(offset)只能按照是4的整数倍来进行判断是否添加填充。
看如下例子:

struct T
{
  char ch;
  double     ;
};
那么在GCC下,sizeof(T)应该等于12个字节。

 

struct结构体的大小计算:
struct 大小,与pack的大小(在程序中显示设置#pragma pack(),vc6.0默认大小为8)、结构中最大占用有关

struct A
{

 int a;     0-3

               4-7     要填充(padding)以保证内存对齐的原则
 double b; 8-15
 char c[9]; 16-24
};

首先给a分配内存,因为int占四个字节<pack大小(8个字节),所以按照4个字节对齐,起始位值为0,0%4=0,a最后占的内存为0-3;

接着给b分配内存,double占8个字节,所以按照8个字节对齐,起始位为8(8%8=0),b为8-15;

最后char占一个字节,所以c为16-24;

因此结构体A的大小为8+8+9 = 25;有因为25不是结构体中最大占用内存类型double类型大小(8)的整数倍,所以A最后的大小是32;

struct B

{
int a;   

double b;     
double c;    
char d;   

};

同理,按上面的分析方法确定各个变量在内存中的位置:
a,0-3;

  ,4-7;
b,8-15;
c,16-23;
d,24;

TOTAL = 25

25 不是8的倍数,所以最后B大小是32;

总结计算结构体的步骤

1.内存对齐与编译器设置有关,首先要搞清编译器这个默认值是多少

2.如果不想编译器默认的话,可以通过#pragma pack(n)来指定按照n对齐

3.每个结构体变量对齐,如果对齐参数n,变量所占字节数(m),内存地址的起始位置%min(n,m)=0。也就是最小化长度规则

4.结构体总大小: 对齐后的长度必须是成员中最大的对齐参数的整数倍。

5.补充:如果结构体A中还要结构体B,那么B的对齐方式是选它里面最长的成员的对齐方式

所以计算结构体大小要走三步,首先确定是当前程序按照几对齐(参照1,2点),接着计算每个结构体变量的大小和偏移(参照3,5),最后计算结构体总大小(参照4)。

 

如果结构体中含有位域(bit-field),那么VC中准则又要有所更改:
1) 如果相邻位域字段的类型相同,且其位宽之和小于类型的sizeof大小,则后面的字段将紧邻前一个字段存储,直到不能容纳为止;
2) 如果相邻位域字段的类型相同,但其位宽之和大于类型的sizeof大小,则后面的字段将从新的存储单元开始,其偏移量为其类型大小的整数倍;
3) 如果相邻的位域字段的类型不同,则各编译器的具体实现有差异,VC6采取不压缩方式(不同位域字段存放在不同的位域类型字节中),Dev-C++和GCC都采取压缩方式;
备注:当两字段类型不一样的时候,对于不压缩方式,例如:


struct N
{
  char c:2;
  int    i:4;
};

依然要满足不含位域结构体内存对齐准则第2条,i成员相对于结构体首地址的偏移应该是4的整数倍,所以c成员后要填充3个字节,然后再开辟4个字节的空间作为int型,其中4位用来存放i,所以上面结构体在VC中所占空间为8个字节;而对于采用压缩方式的编译器来说,遵循不含位域结构体内存对齐准则第2条,不同的是,如果填充的3个字节能容纳后面成员的位,则压缩到填充字节中,不能容纳,则要单独开辟空间,所以上面结构体N在GCC或者Dev-C++中所占空间应该是4个字节。

4) 如果位域字段之间穿插着非位域字段,则不进行压缩;
备注:
结构体


typedef struct
{
   char c:2;
   double i;
   int c2:4;
}N3;

在GCC下占据的空间为16字节,在VC下占据的空间应该是24个字节。
5) 整个结构体的总大小为最宽基本类型成员大小的整数倍。

ps:


对齐模数的选择只能是根据基本数据类型,所以对于结构体中嵌套结构体,只能考虑其拆分的基本数据类型。而对于对齐准则中的第2条,确是要将整个结构体看成是一个成员,成员大小按照该结构体根据对齐准则判断所得的大小。 
类对象在内存中存放的方式和结构体类似,这里就不再说明。需要指出的是,类对象的大小只是包括类中非静态成员变量所占的空间,如果有虚函数,那么再另外增加一个指针所占的空间即可。 

<think>好的,我需要帮助用户了解C/C++中嵌套结构体的内存对齐规则和大小计算方法。首先,我应该回顾一下用户提供的引用资料,看看里面有没有关于嵌套结构体的信息。 根据引用[1]、[2]、[3],这些资料主要讨论了普通结构体的内存对齐规则,包括对齐数、成员排列顺序的影响,以及为什么要内存对齐。但关于嵌套结构体,可能需要进一步扩展这些规则。 首先,基础的结构体内存对齐规则是:每个成员的偏移量必须是其类型大小和默认对齐数中较小值的整数倍。结构体的总大小必须是最大对齐数的整数倍。对于嵌套结构体,应该如何处理呢? 假设有一个结构体内部包含另一个结构体作为成员。这时候,内层结构体的对齐数应该是它自己的最大对齐数,而不是作为整体结构体的对齐数。例如,如果外层结构体有一个int和一个内嵌结构体,而内嵌结构体的最大对齐数是8,那么外层结构体的对齐数应该是max(int的对齐数,内嵌结构体的对齐数)。 接下来,我需要验证这个想法是否正确。可能需要举一个例子,比如: struct Inner { double d; // 8字节,对齐数8 char c; // 1字节,对齐数1 }; // 总大小应该是16(8+1+7填充),最大对齐数8 struct Outer { int i; // 4字节,对齐数4 struct Inner inner; // 对齐数8 short s; // 2字节,对齐数2 }; 那么计算Outer的大小时,i从0开始,占4字节。下一个成员inner的对齐数是8,所以下一个可用偏移量必须是8的倍数。i结束于3,所以inner从8开始,占用16字节,到23。然后s从24开始,占2字节,到25。此时结构体的总大小需要是最大对齐数(max(4,8,2)=8)的倍数,因此需要填充到最近的8的倍数,即32?或者计算大小是否正确? 或者,可能我的计算有误。比如,Outer的最大对齐数应该是inner的最大对齐数8,所以总大小必须是8的倍数。i占4字节,填充4字节到8,然后inner占16字节到24,s从24开始,占2,填充到26,但总大小需要是8的倍数,所以填充到32?这样总大小是32。或者是否有其他情况? 可能需要详细步骤: 1. Outer的第一个成员i,类型int,大小4,对齐数4。起始偏移0,占0-3。 2. 第二个成员inner,类型struct Inner。它的对齐数是其内部最大对齐数,即double的8。因此,inner必须从8的倍数开始。当前偏移是4,所以需要填充4字节(4-7),然后inner从8开始,占16字节(8到23)。 3. 第三个成员s,类型short,对齐数2。当前偏移24,可以直接放置,占24-25。 现在结构体的总大小是26字节。最大对齐数是max(4,8,2)=8,因此总大小必须是8的倍数。26向上取整到32?或者可能计算错误? 或者,实际测试这个结构体大小。可能实际结果是24?比如,inner占16字节到23,s放在24,然后总大小是24+2=26,需要填充到32?或者可能不同的编译器处理方式不同? 这可能取决于编译器的具体实现,但根据对齐规则,总大小必须是最大对齐数的整数倍,所以这里最大对齐数是8,所以总大小应该是32。但实际测试可能会更优化,比如是否存在内部填充? 可能需要考虑结构体内存对齐的具体步骤: 每个成员的起始地址必须满足其对齐要求。结构体的总大小必须是其最大成员对齐数的整数倍。在嵌套的情况下,内层结构体的最大对齐数被视为外层结构体的成员的对齐数。 所以,对于Outer结构体,其成员的对齐数分别是4(int)、8(Inner结构体的最大对齐数)、2(short)。因此,最大对齐数是8。总大小必须是8的倍数。 计算: i: 0-3 填充4-7(使inner从8开始) inner: 8-23(16字节) s: 24-25 此时总大小是26,需要填充到32(因为26不是8的倍数,下一个8的倍数是32)。因此总大小是32字节。 这可能是一个例子,但实际中是否如此呢?可能实际编译器可能会有不同的优化,但根据标准规则,应该是这样的。 接下来,需要总结嵌套结构体的内存对齐规则: 1. 内层结构体作为外层结构体的成员时,其对齐数等于其自身的最大对齐数。 2. 外层结构体的总对齐数是所有成员(包括内层结构体)的最大对齐数。 3. 外层结构体的总大小必须为总对齐数的整数倍,必要时填充。 然后,用户的问题是关于嵌套结构体的规则,所以需要将这些点整理清楚,并给出示例和步骤。 另外,可能还需要考虑结构体包含数组的情况,或者多层嵌套的情况,但用户问题可能只需要基本嵌套的情况。 现在,整理回答的结构: 首先,概述嵌套结构体的对齐规则,然后详细步骤,举例子分步计算,最后给出相关的问题。 需要确保回答符合用户的要求,使用中文,行内公式用$...$,独立公式用$$...$$,但可能这里例子中的计算不需要数学公式,主要是文字和代码示例。 可能用代码示例来展示结构体的定义和大小计算过程,这样更直观。 例如: ```c struct Inner { double d; // 对齐数8 char c; // 对齐数1 }; // 大小16(8+1+7填充),对齐数8 struct Outer { int i; // 对齐数4 struct Inner s; // 对齐数8 short t; // 对齐数2 }; // 总大小计算步骤... ``` 分步计算Outer的大小: 1. i占0-3字节。 2. Inner结构体的对齐数是8,所以下一个可用偏移量是8。填充4-7(4字节)。 3. s占8-23字节(16字节)。 4. t从24开始,占24-25字节。 5. 此时总大小为26字节,需要填充到32(8的倍数)。 因此sizeof(Outer)为32。 这样详细步骤可以帮助用户理解。 同时,需要引用提供的资料,例如在解释对齐规则时引用[^1][^2][^3]。 最后,生成相关问题,如优化方法、位段的影响等。</think>### 嵌套结构体内存对齐规则详解 在C/C++中,嵌套结构体的内存对齐规则是普通结构体规则的扩展,需分步骤计算。以下是核心规则和计算方法: --- #### **嵌套结构体内存对齐规则** 1. **成员对齐规则** 每个成员(包括嵌套的结构体)的起始地址必须是其**类型大小**与**编译器默认对齐数**中较小值的整数倍[^1][^3]。 2. **结构体总对齐数** 结构体的总对齐数等于其所有成员(包括嵌套结构体)的**最大对齐数**。 3. **总大小要求** 结构体的总大小必须是其总对齐数的整数倍,不足部分需填充[^3]。 --- #### **计算步骤(以示例说明)** ```c struct Inner { double d; // 大小8,对齐数8 char c; // 大小1,对齐数1 }; // 总大小:8 + 1 + 7(填充)= 16,总对齐数8 struct Outer { int i; // 大小4,对齐数4 struct Inner s; // 对齐数8(Inner的总对齐数) short t; // 大小2,对齐数2 }; ``` **分步计算 `sizeof(Outer)`** 1. **成员 `i`** - 起始偏移 `0`,占 `0-3` 字节。 2. **成员 `s`** - 对齐数 `8`,需从 `8` 的倍数开始。当前偏移为 `4`,填充 `4-7`(4字节)。 - `s` 占 `8-23` 字节(16字节)。 3. **成员 `t`** - 对齐数 `2`,当前偏移 `24`,直接放置,占 `24-25` 字节。 4. **总大小调整** - 当前总大小 `26` 字节,需填充至总对齐数 `8` 的倍数,即 `32` 字节。 最终 `sizeof(Outer) = 32`。 --- #### **关键点总结** - 嵌套结构体的对齐数等于其内部的最大对齐数。 - 外层结构体的总对齐数需重新计算,包含所有成员的对齐数。 - 填充字节可能出现在成员之间或结构体末尾。 --- #### **其他影响因素** 1. **编译器指令修改对齐数** 可使用 `#pragma pack(n)` 修改默认对齐数,但需谨慎处理嵌套结构体。 2. **位段和联合体** 嵌套结构体包含位段或联合体时,需按各自规则计算,再结合对齐原则[^1]。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值