C语言结构体的大小,结构体内存对齐

2024-03-07 01:36

本文主要是介绍C语言结构体的大小,结构体内存对齐,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. 结构体的大小

在自己正真了解过之前,一直认为结构体的大小就是结构体内部成员大小的总和。

但当你去尝试打印结构体的大小时,会发现事实并非如此,也不会像你想的那样简单。

#include <stdio.h>struct S1
{char c1;char c2;int i;
};struct S2
{char c1;int i;char c2;
};int main()
{printf("%d\n", sizeof(struct S1));printf("%d\n", sizeof(struct S2));return 0;
}

给出这样的两个结构体,它们的元素完全相同,只是定义的顺序不一样。

按照直觉来说,它们的大小都应该是两个字符和一个整形的大小的总和,也就是6。

但是当我们实际打印出来之后会发现,struct S1的大小是8,而struct S2的大小是12。

也就是说,结构体的大小肯定不只是由其成员的大小和数量决定,至少还会与其成员定义的顺序有关。

那么,结构体的大小到底存在着什么样的机制呢?

这个所谓的机制,就是结构体内存对齐。

2. 结构体内存对齐

结构体内存对齐,就是指结构体成员在被定义时所分配到的空间并不是连续的,而是会基于不同变量对齐数的不同,去对应某些固定的位置的空间。

2.1 为什么要对齐

按理来说,对齐应该会导致元素因为没有紧密排列而造成空间的浪费,那么为什么要对齐呢?

2.1.1 平台原因

不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。

2.1.2 性能原因

数据结构(尤其是栈)应该尽可能地在自然然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取4个字节,则地址必须是4的倍数。如果我们能保证将所有的int类型的数据的地址都对齐成4的倍数(相对于结构体首个字节的地址来说),那么就可以用⼀个内存操作来读或者写值了。否则,我们可能需要执行两次内存访问,因为对象可能被分放在两个4字节内存块中。

以struct S2为例:

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

总体来说:结构体的内存对齐是拿空间来换取时间的做法。

2.2 对齐规则

1. 结构体的第⼀个成员对齐到和结构体变量起始位置偏移量(相距的字节数)为0的地址处。

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

对齐数 = 编译器默认的⼀个对齐数 与 该成员变量大小的较小值。

- VS 中默认的值为 8

- Linux中 gcc 没有默认对齐数,对齐数就是成员自身的大小

3. 结构体总大小为最大对齐数(结构体中每个成员变量都有⼀个对齐数,所有对齐数中最大的)的整数倍。

4. 如果嵌套了结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍。

2.3 举例

2.3.1 struct S1

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

1. c1作为第一个成员,在结构体的首地址处;

2. c2对齐数为1,所以紧贴着上一个元素;

3. i对齐数为4,由于前四格空间已经被占用,所以i向后寻找到的第一个为4的倍数的地址如图;

4. 最大对齐数为4,而8刚好是4的倍数,于是结构体大小为4。

2.3.2 struct S2

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

1. c1作为第一个成员,在结构体的首地址处;

2.  i对齐数为4,由于前四格空间已经被占用,所以i向后寻找到的第一个为4的倍数的地址如图;

3. c2对齐数为1,紧贴着前面一个元素;

4. 最大对齐数为4,目前结构体已经占用了9个字节,由于结构体的大小需要是4的倍数,所以其大小只能为12了。

2.3.3 其他

struct S3//16
{double d;char c;int i;
};struct S4//32
{char c1;struct S3 s3;double d;
};

这两个案例可以自己尝试一下,要自己动手才能记得牢,不是我懒得写。

2.4 修改默认对齐数

用“#pragma()”这个预处理指令,可以修改默认对齐数。

#pragma pack(4)//默认对齐数改为4
#pragma pack()//恢复默认对齐数
#pragma pack(1)//等价于不对齐

这篇关于C语言结构体的大小,结构体内存对齐的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/782034

相关文章

使用Go语言开发一个命令行文件管理工具

《使用Go语言开发一个命令行文件管理工具》这篇文章主要为大家详细介绍了如何使用Go语言开发一款命令行文件管理工具,支持批量重命名,删除,创建,移动文件,需要的小伙伴可以了解下... 目录一、工具功能一览二、核心代码解析1. 主程序结构2. 批量重命名3. 批量删除4. 创建文件/目录5. 批量移动三、如何安

MySQL8.0设置redo缓存大小的实现

《MySQL8.0设置redo缓存大小的实现》本文主要在MySQL8.0.30及之后版本中使用innodb_redo_log_capacity参数在线更改redo缓存文件大小,下面就来介绍一下,具有一... mysql 8.0.30及之后版本可以使用innodb_redo_log_capacity参数来更改

python使用fastapi实现多语言国际化的操作指南

《python使用fastapi实现多语言国际化的操作指南》本文介绍了使用Python和FastAPI实现多语言国际化的操作指南,包括多语言架构技术栈、翻译管理、前端本地化、语言切换机制以及常见陷阱和... 目录多语言国际化实现指南项目多语言架构技术栈目录结构翻译工作流1. 翻译数据存储2. 翻译生成脚本

golang内存对齐的项目实践

《golang内存对齐的项目实践》本文主要介绍了golang内存对齐的项目实践,内存对齐不仅有助于提高内存访问效率,还确保了与硬件接口的兼容性,是Go语言编程中不可忽视的重要优化手段,下面就来介绍一下... 目录一、结构体中的字段顺序与内存对齐二、内存对齐的原理与规则三、调整结构体字段顺序优化内存对齐四、内

Python中顺序结构和循环结构示例代码

《Python中顺序结构和循环结构示例代码》:本文主要介绍Python中的条件语句和循环语句,条件语句用于根据条件执行不同的代码块,循环语句用于重复执行一段代码,文章还详细说明了range函数的使... 目录一、条件语句(1)条件语句的定义(2)条件语句的语法(a)单分支 if(b)双分支 if-else(

Go语言中三种容器类型的数据结构详解

《Go语言中三种容器类型的数据结构详解》在Go语言中,有三种主要的容器类型用于存储和操作集合数据:本文主要介绍三者的使用与区别,感兴趣的小伙伴可以跟随小编一起学习一下... 目录基本概念1. 数组(Array)2. 切片(Slice)3. 映射(Map)对比总结注意事项基本概念在 Go 语言中,有三种主要

使用Navicat工具比对两个数据库所有表结构的差异案例详解

《使用Navicat工具比对两个数据库所有表结构的差异案例详解》:本文主要介绍如何使用Navicat工具对比两个数据库test_old和test_new,并生成相应的DDLSQL语句,以便将te... 目录概要案例一、如图两个数据库test_old和test_new进行比较:二、开始比较总结概要公司存在多

java获取图片的大小、宽度、高度方式

《java获取图片的大小、宽度、高度方式》文章介绍了如何将File对象转换为MultipartFile对象的过程,并分享了个人经验,希望能为读者提供参考... 目China编程录Java获取图片的大小、宽度、高度File对象(该对象里面是图片)MultipartFile对象(该对象里面是图片)总结java获取图片

C语言中自动与强制转换全解析

《C语言中自动与强制转换全解析》在编写C程序时,类型转换是确保数据正确性和一致性的关键环节,无论是隐式转换还是显式转换,都各有特点和应用场景,本文将详细探讨C语言中的类型转换机制,帮助您更好地理解并在... 目录类型转换的重要性自动类型转换(隐式转换)强制类型转换(显式转换)常见错误与注意事项总结与建议类型

Go语言利用泛型封装常见的Map操作

《Go语言利用泛型封装常见的Map操作》Go语言在1.18版本中引入了泛型,这是Go语言发展的一个重要里程碑,它极大地增强了语言的表达能力和灵活性,本文将通过泛型实现封装常见的Map操作,感... 目录什么是泛型泛型解决了什么问题Go泛型基于泛型的常见Map操作代码合集总结什么是泛型泛型是一种编程范式,允