很多人对结构体对齐有误解

最新推荐文章于 2023-05-25 19:57:24 发布

最后一个bug

最新推荐文章于 2023-05-25 19:57:24 发布

阅读量461

点赞数

分类专栏：主流单片机开发(MCU) 嵌入式C语言文章标签：嵌入式编程语言 c语言 java 指针

本文链接：https://blog.csdn.net/qq_33471732/article/details/119467054

版权

主流单片机开发(MCU) 同时被 2 个专栏收录

332 篇文章 31 订阅

订阅专栏

嵌入式C语言

166 篇文章 17 订阅

订阅专栏

本文详细解析了C语言中结构体成员的对齐问题，通过实例分析不同字节对齐方式下结构体所占用的内存大小。强调了内存对齐对于提高内存访问效率和遵循硬件限制的重要性，并指出对齐字节数实际上是取最小的指定对齐值和最大成员字节大小的较小值。最后，讨论了结构体成员在内存中的分布规律，揭示了结构体对齐并非简单的字节拼接，而是要考虑内存地址的对齐规则。

摘要由CSDN通过智能技术生成

正文

大家好，我是bug菌！

最近看到一些朋友在交流结构体对齐方面的一些问题，从他们的交谈中隐隐约感觉有几个朋友对结构体成员的对齐理解上有点偏差，不能说完全不对吧，毕竟这是老生常谈的问题了~

所以bug菌今天跟大家好好谈谈对齐这个话题~

变量与内存

首先我们要明确，在嵌入式C语言中变量是什么？其实所谓的变量就是一小段内存。

当你随心所欲的在C程序中定义着各种变量，有没有想过他们是如何被安排到相应内存上的?

好吧，其实他们是怎么安排的，并不需要程序员太多的操心，这个映射过程都是编译器自动给大家分配的，(可以借助动态内存的角度去看待这个分配问题)，因为大部分变量在一定内存区域上是可以任意选择地址的，比如你定义一个全局的int gVar 变量，在不进行特殊指定内存位置的情况下，其编译后所分配的内存地址并不一定每次都是相同的；当然，每次编译完成便会确定下来，并且程序中对该变量的访问，均会使用所确定下来的内存地址。

既然变量的地址分配过程由编译器自动完成，但有时候我们想把一些或者某个变量放在固定的内存地址处等，此时就需要通过一些语法来告诉编译器该如何分配这些指定变量内存的分配，比如要做复位数据恢复等。

然而内存的对齐问题也是对这些变量分配位置处理的一种方式，通常我们看到的align或者pack等就是来干预编译器的这块处理的。

结构体对齐

理解了上面的一个思路，那么我们来分析分析结构体对齐问题。

参考demo：

 1#include <stdio.h>
 2#include <stdlib.h>
 3
 4/*默认对齐方式*/ 
 5typedef struct _tag_ContrlObj1
 6{
 7    char member1;
 8    int member2;
 9
10}sContrl1;
11
12/*1字节对齐*/ 
13#pragma pack(1) 
14typedef struct _tag_ContrlObj2
15{
16    char member1;
17    int member2;
18
19}sContrl2;
20#pragma pack()
21
22/*2字节对齐*/ 
23#pragma pack(2)
24typedef struct _tag_ContrlObj3
25{
26    char member1;
27    int member2;
28
29}sContrl3;
30#pragma pack()
31
32/*4字节对齐*/ 
33#pragma pack(4)
34typedef struct _tag_ContrlObj4
35{
36    char member1;
37    int member2;
38
39}sContrl4;
40#pragma pack()
41
42/*8字节对齐*/  
43#pragma pack(8)
44typedef struct _tag_ContrlObj5
45{
46    char member1;
47    int member2;
48
49}sContrl5;
50#pragma pack()
51
52int main(int argc, char *argv[]) {
53
54    printf("default:%d\n",sizeof(sContrl1));
55    printf("pack(1):%d\n",sizeof(sContrl2)); 
56    printf("pack(2):%d\n",sizeof(sContrl3));
57    printf("pack(4):%d\n",sizeof(sContrl4));
58    printf("pack(5):%d\n",sizeof(sContrl5));
59
60    return 0;
61}

运行结果：

以上编译结果采用的是32位编译器，默认对齐方式是4个字节，char类型占据1个字节，int占据4个字节,下面简单分析一下结果:

1、默认方式，采用4个字节对齐，那么char后面需要填充3个字节，然后存放int类型，所以结构体大小输出为8。

2、1字节对齐方式，直接紧凑排列，很多人也叫不进行对齐处理，所以输出结果是5。

3、2字节对齐方式，其实和4个字节对齐是类似的，char按照2字节对齐，所以后面需要填充一个字节，这样int才能以两字节对齐排布，此时整个结构体占据6个字节。

4、4字节对齐方式与默认对齐方式一致，最后看看8字节对齐，此时char类型与int类型完全能够被8个字节容纳，而该结构体最大数据类型是4个字节，所以char后面会预留3个字节，进行4字节对齐，然后放置int类型，此时与4字节对齐是一致的。

那么一些朋友会问，是不是在上面的8字节例子中再加入一个char类型的成员，整个结构体就会占据16个字节了呢？

1/*8字节对齐*/  
2#pragma pack(8)
3typedef struct _tag_ContrlObj5
4{
5    char  member1;
6    int   member2;
7    char  member3;
8}sContrl5;
9#pragma pack()

其输出结果如下:

结构体所占据的字节是12个，那是不是认为8字节对齐没有意义呢？

我们再看一个实验:

1/*8字节对齐*/  
2#pragma pack(8)
3typedef struct _tag_ContrlObj5
4{
5    char     member1;
6    double   member2;
7    char     member3;
8}sContrl5;
9#pragma pack()

此时double占据了8个字节，按照前面的思路应该是4+8+4，应该最终结构体的大小是16个字节，而结果显示: