栏目分类:
子分类:
返回
名师互学网用户登录
快速导航关闭
当前搜索
当前分类
子分类
实用工具
热门搜索
名师互学网 > IT > 软件开发 > 后端开发 > C/C++/C#

结构体进阶详解-(结构体内存对齐)

C/C++/C# 更新时间: 发布时间: IT归档 最新发布 模块sitemap 名妆网 法律咨询 聚返吧 英语巴士网 伯小乐 网商动力

结构体进阶详解-(结构体内存对齐)

目录

结构体内存对齐

结构体内存对齐规则:

宏-offsetof

结构体嵌套内存对齐

为什么存在内存对齐?

修改默认对齐数


结构体内存对齐

首先我们来看这样一段代码:

struct S1
{
	char c1;
	int i;
	char c2;
};

接下来我们来预测一下,该结构体在内存中所占几个内存?

那么我想不少小伙伴就是开始下面这种分析方式:

struct S1
{
	char c1;//1
	int i;//4
	char c2;//1
};

1+1+4,所以结果是占用了六个字节,那么到底对不对呢?

让我们一起 Ctrl+F5 代码走起来,结果一试便知

很显然结果和我们的猜测并不一样。

那我们不妨再试一段代码:

struct S2
{
	char c1;//1
	char c2;//1
	int i;//4
};

可以看出,成员一样,只是顺序发生了改变,那这样的话占用内存会不会发生改变?

Ctrl+F5 代码走起来,结果一试便知

那这是怎么回事呢?

很显然跟我们所想的有出入,内存造成了浪费。

其实导致这样的原因是由于结构体内存对齐。

什么意思呢?不妨先跟着我来看一遍规则;

结构体内存对齐规则:

 接下来由我带着大家根据规则来解释一下为什么会出现前面的情况:

1.我们应该知道偏移量是什么,如上图右侧的数字代表偏移量

2.第一个成员在与结构体变量偏移量为0的地址处

3.其他成员变量要对其到某个数字(对齐数)的整数倍的地址处

   根据规则,默认大家的编辑器都为VS,

        那么对于成员i  8-4→4,故应该放在4的倍数,偏移量为4的地址处

        对于成员C2 1-8→,故可以直接放在偏移量为8的地址处

4.根据规则,结构体总大小为最大对齐数4的整数倍,故此处应该占用12个字节

同理,我们对s2进行分析:

1.第一个成员在与结构体变量偏移量为0的地址处

2.其他成员变量要对其到某个数字(对齐数)的整数倍的地址处

   根据规则,默认大家的编辑器都为VS,

        那么对于成员C2  1-4→1,故可以直接放在偏移量为1的地址处

        对于成员i 4-8→4,故应该放在4的倍数,偏移量为4的地址处

3.根据规则,结构体总大小为最大对齐数4的整数倍,故此处应该占用8个字节

然后我们注意的是:

VS编译器 默认的对齐数是 8

Linux 环境下没有默认对齐数

没有默认对齐数的时候,自身的大小就是对齐数!

相信讲了这么多,同学们对结构体内存对齐已经有了一定的认识,那趁热打铁,接下来让我们自测一下:

struct S3
{
	double d;//8
	char c;//1
	int i;//4
};

答案是16,同学们做对没有?

哈哈哈,听我再来分析一下:

这时候,可能就会有童靴说啦,诶呀,我听你说了这么久,到底对不对呀?

别急,是不是?对不对咱一试便知

宏-offsetof

在C语言里面有一个名为offsetof的宏,那么它的作用是什么呢?

offsetof计算结构体成员相对于起始位置的偏移量的

 通过MSDN查找,我们了解到,offsetof的头文件为,返回值为size_t是一个无符号整型

#define _CRT_SECURE_NO_WARNINGS 1
#include
#include
struct S1
{
	char c1;//1
	int i;//1
	char c2;//4
};

struct S2
{
	char c1;
	char c2;
	int i;
};

struct S3
{
	double d;
	char c;
	int i;
};

int main()
{
	printf("%un", offsetof(struct S3, d));
	printf("%un", offsetof(struct S3, c));
	printf("%un", offsetof(struct S3, i));
	//struct S1 s;
	//struct S2 s2;
	//printf("%dn", sizeof(s));
	//printf("%dn", sizeof(s2));
	return 0;
}

Ctrl+F5 代码走起来,结果一试便知

结构体嵌套内存对齐

 觉得自己学会了是不是?有点飘了是不是?这不得给你拉回来

这不,来看看下面这段代码,你是否还能看出占用多少内存

struct S4
{
	char c1;//1
	struct S3 s3;//16
	double d;//8
};

48or32?结果到底是什么呢?

Ctrl+F5 代码走起来,结果一试便知

 为什么呢?

老规矩,让我再画图给大家演示一遍:


 

1.第一个成员在与结构体变量偏移量为0的地址处

2.其他成员变量要对其到某个数字(对齐数)的整数倍的地址处

   根据规则,默认大家的编辑器都为VS,

        那么对于成员s3  
        根据规则:如果嵌套了结构体的情况(嵌套的结构体对齐到自己的最大对齐数的整数倍处)
        那么s3的最大对齐数为8,故应该放在8的倍数,偏移量为16的地址处

        对于成员d 8-8→8,故应该放在8的倍数,偏移量为24的地址处

3.根据规则,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍
        结构体总大小为最大对齐数8的整数倍,故此处应该占用32个字节

为什么存在内存对齐? 大部分的参考资料都是如是说的: 1. 平台原因 ( 移植原因 ) : 不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特 定类型的数据,否则抛出硬件异常。 2. 性能原因 : 数据结构 ( 尤其是栈 ) 应该尽可能地在自然边界上对齐。 原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访 问。 总体来说: 结构体的内存对齐是拿 空间 来换取 时间 的做法。

修改默认对齐数 之前我们见过了 #pragma 这个预处理指令,这里我们再次使用,可以改变我们的默认对齐数。 在设计结构体的时候,我们既要满足对齐,又要节省空间,如何做到: 让占用空间小的成员尽量集中在一起。 今天的文章呢,到这里就要和大家说再见啦,希望对各位小比特的学习带来了一定的帮助,在此感谢各位的捧场,喜欢的可以点个关注或者一键三连走一波 double 姬!

转载请注明:文章转载自 www.mshxw.com
本文地址:https://www.mshxw.com/it/778940.html
我们一直用心在做
关于我们 文章归档 网站地图 联系我们

版权所有 (c)2021-2022 MSHXW.COM

ICP备案号:晋ICP备2021003244-6号