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

相关文章

详解C++中类的大小决定因数

《详解C++中类的大小决定因数》类的大小受多个因素影响,主要包括成员变量、对齐方式、继承关系、虚函数表等,下面就来介绍一下,具有一定的参考价值,感兴趣的可以了解一下... 目录1. 非静态数据成员示例:2. 数据对齐(Padding)示例:3. 虚函数(vtable 指针)示例:4. 继承普通继承虚继承5.

使用Java实现通用树形结构构建工具类

《使用Java实现通用树形结构构建工具类》这篇文章主要为大家详细介绍了如何使用Java实现通用树形结构构建工具类,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录完整代码一、设计思想与核心功能二、核心实现原理1. 数据结构准备阶段2. 循环依赖检测算法3. 树形结构构建4. 搜索子

利用Python开发Markdown表格结构转换为Excel工具

《利用Python开发Markdown表格结构转换为Excel工具》在数据管理和文档编写过程中,我们经常使用Markdown来记录表格数据,但它没有Excel使用方便,所以本文将使用Python编写一... 目录1.完整代码2. 项目概述3. 代码解析3.1 依赖库3.2 GUI 设计3.3 解析 Mark

C语言中的数据类型强制转换

《C语言中的数据类型强制转换》:本文主要介绍C语言中的数据类型强制转换方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C语言数据类型强制转换自动转换强制转换类型总结C语言数据类型强制转换强制类型转换:是通过类型转换运算来实现的,主要的数据类型转换分为自动转换

利用Go语言开发文件操作工具轻松处理所有文件

《利用Go语言开发文件操作工具轻松处理所有文件》在后端开发中,文件操作是一个非常常见但又容易出错的场景,本文小编要向大家介绍一个强大的Go语言文件操作工具库,它能帮你轻松处理各种文件操作场景... 目录为什么需要这个工具?核心功能详解1. 文件/目录存javascript在性检查2. 批量创建目录3. 文件

C语言实现两个变量值交换的三种方式

《C语言实现两个变量值交换的三种方式》两个变量值的交换是编程中最常见的问题之一,以下将介绍三种变量的交换方式,其中第一种方式是最常用也是最实用的,后两种方式一般只在特殊限制下使用,需要的朋友可以参考下... 目录1.使用临时变量(推荐)2.相加和相减的方式(值较大时可能丢失数据)3.按位异或运算1.使用临时

使用C语言实现交换整数的奇数位和偶数位

《使用C语言实现交换整数的奇数位和偶数位》在C语言中,要交换一个整数的二进制位中的奇数位和偶数位,重点需要理解位操作,当我们谈论二进制位的奇数位和偶数位时,我们是指从右到左数的位置,本文给大家介绍了使... 目录一、问题描述二、解决思路三、函数实现四、宏实现五、总结一、问题描述使用C语言代码实现:将一个整

C语言字符函数和字符串函数示例详解

《C语言字符函数和字符串函数示例详解》本文详细介绍了C语言中字符分类函数、字符转换函数及字符串操作函数的使用方法,并通过示例代码展示了如何实现这些功能,通过这些内容,读者可以深入理解并掌握C语言中的字... 目录一、字符分类函数二、字符转换函数三、strlen的使用和模拟实现3.1strlen函数3.2st

Go语言中最便捷的http请求包resty的使用详解

《Go语言中最便捷的http请求包resty的使用详解》go语言虽然自身就有net/http包,但是说实话用起来没那么好用,resty包是go语言中一个非常受欢迎的http请求处理包,下面我们一起来学... 目录安装一、一个简单的get二、带查询参数三、设置请求头、body四、设置表单数据五、处理响应六、超

C语言中的浮点数存储详解

《C语言中的浮点数存储详解》:本文主要介绍C语言中的浮点数存储详解,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、首先明确一个概念2、接下来,讲解C语言中浮点型数存储的规则2.1、可以将上述公式分为两部分来看2.2、问:十进制小数0.5该如何存储?2.3 浮点