关于C语言结构体内存对齐
今天给大家带来一道经典、易错的关于c语言结构体内存对齐的题目：
求32bit环境下以下结构体所占的字节数：typedef struct test_struct{ char a; short b; char c; int d; char e;}test_struct; 请说出你的答案：
下面看一下实际测试情况：
1、测试代码： /*********************************** * 公众号：嵌入式大杂烩***********************************/#include typedef struct test_struct{ char a; short b; char c; int d; char e;}test_struct;int main(void){ test_struct test_s; printf(============================================); printf(test_s addr = %#.8x, &test_s); printf(test_s.a addr = %#.8x, &test_s.a); printf(test_s.b addr = %#.8x, &test_s.b); printf(test_s.c addr = %#.8x, &test_s.c); printf(test_s.d addr = %#.8x, &test_s.d); printf(test_s.e addr = %#.8x, &test_s.e); printf(sizeof(test_s) = %d, sizeof(test_s)); printf(============================================); return 0;} 2、运行结果
在32bit环境中，该结构体所占的字节数为16。答对了吗？
运行结果打印输出了很多重要的信息，从结果往前分析思路应该很清晰了吧？
下面我们一起来分析分析：
3、分析 在分析这个问题之前，我们先记住关于结构体内存对齐的三条原则：
（1）结构体变量的起始地址能够被其最宽的成员大小整除。
（2）结构体每个成员相对于起始地址的偏移能够被其自身大小整除，如果不能则在前一个成员后面补充字节。
（3）结构体总体大小能够被最宽的成员的大小整除，如不能则在后面补充字节。
分析这个问题我们就不考虑编译器可以指定对齐大小的情况了。在32bit环境中，一般默认的对齐大小是4。
下面我们根据这三条原则来分析，并得出如下示意图：
从这张图中我们应该可以很清晰地看出整个结构体变量的内存占用情况。
如果还看不明白的朋友可阅读下面的解释（有点啰嗦，已经看明白的就不用看了~）：
从上例的结果中，我们结构体变量test_s的起始地址为0x0028ff30，能够被其最宽的成员（int类型的d成员，占4个字节）整除，符合第（1）条原则。
a成员的地址即为结构体变量的起始地址0x0028ff30，排在a后面的是short类型（两个字节）的b成员。
根据第（2）条规则，显然b的地址不能从0x0028ff31开始，则编译器会在b成员的前一个成员（a成员）后边补1个空白字节，即b的的地址为从0x0028ff32，符合规则（2）。
b成员占两个字节，两个字节之后的地址为0x0028ff34，而c成员为char类型（1字节），则根据规则（2），c成员会存放至地址0x0028ff34处。
c成员占1个字节，1个字节之后的地址为0x0028ff35，排在c后面的是int类型（4个字节）的d成员，显然不能满足规则（2）。
编译器会在d成员的前一个成员（c成员）后面进行字节填充，这里必须填充3个字节才能符合规则（2），此时d会存放至地址0x0028ff38处。
d成员占4个字节，4个字节之后的地址为0x0028ff3c。根据规则（2），e成员可从该地址开始存放。
此时a+空白字节+b+c+空白字节+d+e所占的字节总数为13个字节，而结构体最宽的成员（int类型的d成员）所占字节数为4字节。
显然不能满足规则（3），编译器会在e成员后面填充3个字节。即整个结构体变量test_s所占的总字节数为16字节。
4、实际应用 （1）用保留变量替代填充字节
实际应用中我们可以上面的结构体变量改为：
typedef struct test_struct{ char a; char reserve0; /* 保留成员 */ short b; char c; int d; char e; char reserve1[3]; /* 保留成员 */}test_struct; 我们已经知道了编译器会自动给我们的结构体变量填充一些空白字节，这些填充字节我们是看不到的，是隐性的。
在结构体变量占用相同内存的情况下，我们可以显性的表示出这些填充字节，即创建一些保留成员。
这样当我们需要给这个结构体添加一些成员时，我们可以把保留的成员替换为实际的成员。这样在一定程度下有利于我们节省内存空间。
（2）调整结构体成员的位置
从上面的分析中我们知道编译器会根据我们结构体成员的排列来进行空白字节填充以达到对齐的效果。
那么我们自己进行手动对齐一些成员，那就可以节省一些空间了。比如把上面的我们的test_struct结构体成员的顺序改为：
typedef struct test_struct{ char a; char c; short b; int d; char e;}test_struct; 则结构体变量test_s所占的字节数变为12字节，即：
即比原来的16字节省下了4个字节。
虽然这点优化对于一般的嵌入式应用来说可能没什么必要，但是万一某一天真的需要在某些资源极其受限的嵌入式设备中开发应用，这就是可以优化的一点。
最后 以上就是本次的实验分享。如有错误，欢迎指出！谢谢
这道结构体内存对齐的题目很经典、也很容易出错，是嵌入式c语言笔试、面试题中的高频题目，很有必要弄清楚。
RFID消防装备管理系统—RFID消防器材管理系统
通过 AI 应用程序容器化实现高效的 MLOps
浅析布料颜色识别检测
汽车蓄电池怎么充电,有哪些误区
华东理工大学：锂电池失效研究最新成果
关于C语言结构体内存对齐
对话一线：走进东南亚电感变压器行业企业
意法半导体推出封装小、性能强的低压差稳压器创新产品
惊现炒外汇亏钱手法？深扒外汇不为人知的内幕
汽车电子7637-5a测试案例分析
董明珠请辞格力集团董事缘由：与国企发展不符合
学硬件好还是软件好？软件和硬件哪个更吃香？
76810引脚功能
详细解析电流互感器：定义，工作原理，分类，接线
如何解决电机系统的散热问题
如何让高科技配置合乎车规要求_全新奥迪A6做到了
乔安360°无极云台：5G双频摄像头 无极云台AI摄像机详解
基于视频解码芯片SAA7111A和FPGA实现实时视频采集系统的设计
Nordic宣布已与美国私营企业Mobile Semiconductor达成收购协议
“源计划”演讲，Qualcomm Halo 无线充电技术都涉及哪些？
求32bit环境下以下结构体所占的字节数：typedef struct test_struct{ char a; short b; char c; int d; char e;}test_struct; 请说出你的答案：
下面看一下实际测试情况：
1、测试代码： /*********************************** * 公众号：嵌入式大杂烩***********************************/#include typedef struct test_struct{ char a; short b; char c; int d; char e;}test_struct;int main(void){ test_struct test_s; printf(============================================); printf(test_s addr = %#.8x, &test_s); printf(test_s.a addr = %#.8x, &test_s.a); printf(test_s.b addr = %#.8x, &test_s.b); printf(test_s.c addr = %#.8x, &test_s.c); printf(test_s.d addr = %#.8x, &test_s.d); printf(test_s.e addr = %#.8x, &test_s.e); printf(sizeof(test_s) = %d, sizeof(test_s)); printf(============================================); return 0;} 2、运行结果
在32bit环境中，该结构体所占的字节数为16。答对了吗？
运行结果打印输出了很多重要的信息，从结果往前分析思路应该很清晰了吧？
下面我们一起来分析分析：
3、分析 在分析这个问题之前，我们先记住关于结构体内存对齐的三条原则：
（1）结构体变量的起始地址能够被其最宽的成员大小整除。
（2）结构体每个成员相对于起始地址的偏移能够被其自身大小整除，如果不能则在前一个成员后面补充字节。
（3）结构体总体大小能够被最宽的成员的大小整除，如不能则在后面补充字节。
分析这个问题我们就不考虑编译器可以指定对齐大小的情况了。在32bit环境中，一般默认的对齐大小是4。
下面我们根据这三条原则来分析，并得出如下示意图：
从这张图中我们应该可以很清晰地看出整个结构体变量的内存占用情况。
如果还看不明白的朋友可阅读下面的解释（有点啰嗦，已经看明白的就不用看了~）：
从上例的结果中，我们结构体变量test_s的起始地址为0x0028ff30，能够被其最宽的成员（int类型的d成员，占4个字节）整除，符合第（1）条原则。
a成员的地址即为结构体变量的起始地址0x0028ff30，排在a后面的是short类型（两个字节）的b成员。
根据第（2）条规则，显然b的地址不能从0x0028ff31开始，则编译器会在b成员的前一个成员（a成员）后边补1个空白字节，即b的的地址为从0x0028ff32，符合规则（2）。
b成员占两个字节，两个字节之后的地址为0x0028ff34，而c成员为char类型（1字节），则根据规则（2），c成员会存放至地址0x0028ff34处。
c成员占1个字节，1个字节之后的地址为0x0028ff35，排在c后面的是int类型（4个字节）的d成员，显然不能满足规则（2）。
编译器会在d成员的前一个成员（c成员）后面进行字节填充，这里必须填充3个字节才能符合规则（2），此时d会存放至地址0x0028ff38处。
d成员占4个字节，4个字节之后的地址为0x0028ff3c。根据规则（2），e成员可从该地址开始存放。
此时a+空白字节+b+c+空白字节+d+e所占的字节总数为13个字节，而结构体最宽的成员（int类型的d成员）所占字节数为4字节。
显然不能满足规则（3），编译器会在e成员后面填充3个字节。即整个结构体变量test_s所占的总字节数为16字节。
4、实际应用 （1）用保留变量替代填充字节
实际应用中我们可以上面的结构体变量改为：
typedef struct test_struct{ char a; char reserve0; /* 保留成员 */ short b; char c; int d; char e; char reserve1[3]; /* 保留成员 */}test_struct; 我们已经知道了编译器会自动给我们的结构体变量填充一些空白字节，这些填充字节我们是看不到的，是隐性的。
在结构体变量占用相同内存的情况下，我们可以显性的表示出这些填充字节，即创建一些保留成员。
这样当我们需要给这个结构体添加一些成员时，我们可以把保留的成员替换为实际的成员。这样在一定程度下有利于我们节省内存空间。
（2）调整结构体成员的位置
从上面的分析中我们知道编译器会根据我们结构体成员的排列来进行空白字节填充以达到对齐的效果。
那么我们自己进行手动对齐一些成员，那就可以节省一些空间了。比如把上面的我们的test_struct结构体成员的顺序改为：
typedef struct test_struct{ char a; char c; short b; int d; char e;}test_struct; 则结构体变量test_s所占的字节数变为12字节，即：
即比原来的16字节省下了4个字节。
虽然这点优化对于一般的嵌入式应用来说可能没什么必要，但是万一某一天真的需要在某些资源极其受限的嵌入式设备中开发应用，这就是可以优化的一点。
最后 以上就是本次的实验分享。如有错误，欢迎指出！谢谢
这道结构体内存对齐的题目很经典、也很容易出错，是嵌入式c语言笔试、面试题中的高频题目，很有必要弄清楚。
RFID消防装备管理系统—RFID消防器材管理系统
通过 AI 应用程序容器化实现高效的 MLOps
浅析布料颜色识别检测
汽车蓄电池怎么充电,有哪些误区
华东理工大学：锂电池失效研究最新成果
关于C语言结构体内存对齐
对话一线：走进东南亚电感变压器行业企业
意法半导体推出封装小、性能强的低压差稳压器创新产品
惊现炒外汇亏钱手法？深扒外汇不为人知的内幕
汽车电子7637-5a测试案例分析
董明珠请辞格力集团董事缘由：与国企发展不符合
学硬件好还是软件好？软件和硬件哪个更吃香？
76810引脚功能
详细解析电流互感器：定义，工作原理，分类，接线
如何解决电机系统的散热问题
如何让高科技配置合乎车规要求_全新奥迪A6做到了
乔安360°无极云台：5G双频摄像头 无极云台AI摄像机详解
基于视频解码芯片SAA7111A和FPGA实现实时视频采集系统的设计
Nordic宣布已与美国私营企业Mobile Semiconductor达成收购协议
“源计划”演讲，Qualcomm Halo 无线充电技术都涉及哪些？