【C++】结构体内存对齐详解

2024-03-01 23:28
文章标签 c++ 详解 结构 对齐 体内

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

规则

1.第一个成员在结构体变量偏移量为0 的地址处,也就是第一个成员必须从头开始。
2.其他成员的偏移量为对齐数**(该成员的大小 与 编译器默认的一个对齐数 中的较小值)**的整数倍。
3.结构体总大小对最大对齐数(通过最大成员来确定)的整数倍。

所有成员在内存中的位置是按照声明顺序决定的

代码解释

第一个和第三个规则好理解,上代码解释下第二个规则

#include<iostream>
#include<string>
#include<stddef.h>
using namespace std;#pragma pack(8) //修改默认对齐数为8struct A {char a;  char b;double c;
};struct B {char a;double b;char c;
};int main() {cout << "结构体A的大小:" << sizeof(A) << " a偏移-" <<offsetof(A, a) << " b偏移-" << offsetof(A, b) << " c偏移-" << offsetof(A, c) << endl;cout << "结构体B的大小:" << sizeof(B) << " a偏移-" <<offsetof(B, a) << " b偏移-" << offsetof(B, b) << " c偏移-" << offsetof(B, c) << endl;system("pause");
}

在这里插入图片描述

假设我们申请到的内存的初始编号为【000】

结构体A

基于第一个规则,第一个成员a的偏移为0,所以存储在【000】的内存中
成员b是一个char类型,该成员占用1个字节,而此时的编译器对齐数为8,根据规则2, 取两者的较小值就为1,所以成员b的偏移量应该为1的整数倍,所以成员b存储在【001】,偏移量就为1
同理,成员c的偏移量应该是8的整数倍,所以要存储在【008】-【015】,偏移量为8
所以结构体A实际占用了【000】-【015】的内存,大小为16,其中a在【000】,b在【001】,【002】-【007】没有存储数据,c在【008】-【015】

结构体B

成员a的偏移为0,所以存储在【000】的内存中
成员b的对齐数为8,所以要找到下一块以8的整数倍的内存,找到【008】,所以存储在【008 】-【015】的内存中,偏移为8
成员c的对齐数为1,所以存储在【016】,偏移为16
目前来看结构体B实际占用了17个字节,根据规则3,向上取8的整数倍,所以结构体B实际占用了24个字节,【000】-【023】,其中a在【000】,b在【008】-【015】,c在【016】,【001】-【007】和【017】-【023】没有存储内容

刚才是 编译器的对齐数 比 成员数据类型大 的情况,我们再看一个 编译器对齐数 小于 成员数据类型的情况

#include<iostream>
#include<string>
#include<stddef.h>
using namespace std;#pragma pack(4) //修改默认对齐数为4struct B
{char a;double b;char c;
};int main()
{B TempData;TempData.a = 'a';TempData.b = 12;TempData.c = 'c';cout << *(&(TempData.a)+12) << endl;system("pause");
}

这次我们修改了编译器的对齐数为4
成员a还是在【000】的位置,偏移为0
成员b是double类型,占用8个字节,编译器的对齐数是4,取二者的较小值就是4,所以b此时要存储在4的整数倍的地址上,【004】-【011】,偏移为4
成员c就存储在成员b之后,【012】
所以结构体b的大小就是16 (8的整数倍),a在【000】,b在【004】-【011】,c在【012】,【001】-【003】和【013】-【015】没有存储数据

成员数据可以直接根据偏移量来获取到,我们取到a的地址,然后再偏移12个字节就可以获取到c的地址
在这里插入图片描述

看完以上两个示例。内存对齐应该可以理解了,但仔细一想,为什么会有内存对齐,这不纯粹就是浪费空间么, 不对齐不是可以节省空间么

内存对齐的原因

平台原因(移植原因):不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
性能原因:数据结构(尤其是栈)应该尽可能地在自然边界上对齐。 原因在于:为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。所以内存对齐能够提高访问效率。

解释一下性能原因, 现在机器分为32位和64位, 位数也就是CPU的字长, 也就是CPU一次能读取的数据大小, 64位就是8字节, 这里的CPU读取位数 你们可以和上面的 编译器的对齐位数 往一起想

如果没有内存对齐的情况, 我们以下面这个结构体为例, 如果你要读取到b, 那么需要先读取8个字节, 【000】-【007】,这里的【000】存储的是a,【001】-【007】存储的是b的一部分,这时CPU还要再读取一次【008】-【015】, 然后把【001】-【008】拼凑为b, 这里就读取了两次才获取到b

struct B {char a;double b;char c;
};

所以内存对齐本质上就是一种空间换时间的做法

这篇关于【C++】结构体内存对齐详解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Java Predicate接口定义详解

《JavaPredicate接口定义详解》Predicate是Java中的一个函数式接口,它代表一个判断逻辑,接收一个输入参数,返回一个布尔值,:本文主要介绍JavaPredicate接口的定义... 目录Java Predicate接口Java lamda表达式 Predicate<T>、BiFuncti

详解如何通过Python批量转换图片为PDF

《详解如何通过Python批量转换图片为PDF》:本文主要介绍如何基于Python+Tkinter开发的图片批量转PDF工具,可以支持批量添加图片,拖拽等操作,感兴趣的小伙伴可以参考一下... 目录1. 概述2. 功能亮点2.1 主要功能2.2 界面设计3. 使用指南3.1 运行环境3.2 使用步骤4. 核

一文详解JavaScript中的fetch方法

《一文详解JavaScript中的fetch方法》fetch函数是一个用于在JavaScript中执行HTTP请求的现代API,它提供了一种更简洁、更强大的方式来处理网络请求,:本文主要介绍Jav... 目录前言什么是 fetch 方法基本语法简单的 GET 请求示例代码解释发送 POST 请求示例代码解释

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,:本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步:动态库生成(vs2017+qt5.12.10)第二步:Java调用C++

详解nginx 中location和 proxy_pass的匹配规则

《详解nginx中location和proxy_pass的匹配规则》location是Nginx中用来匹配客户端请求URI的指令,决定如何处理特定路径的请求,它定义了请求的路由规则,后续的配置(如... 目录location 的作用语法示例:location /www.chinasem.cntestproxy

C/C++错误信息处理的常见方法及函数

《C/C++错误信息处理的常见方法及函数》C/C++是两种广泛使用的编程语言,特别是在系统编程、嵌入式开发以及高性能计算领域,:本文主要介绍C/C++错误信息处理的常见方法及函数,文中通过代码介绍... 目录前言1. errno 和 perror()示例:2. strerror()示例:3. perror(

CSS will-change 属性示例详解

《CSSwill-change属性示例详解》will-change是一个CSS属性,用于告诉浏览器某个元素在未来可能会发生哪些变化,本文给大家介绍CSSwill-change属性详解,感... will-change 是一个 css 属性,用于告诉浏览器某个元素在未来可能会发生哪些变化。这可以帮助浏览器优化

Python基础文件操作方法超详细讲解(详解版)

《Python基础文件操作方法超详细讲解(详解版)》文件就是操作系统为用户或应用程序提供的一个读写硬盘的虚拟单位,文件的核心操作就是读和写,:本文主要介绍Python基础文件操作方法超详细讲解的相... 目录一、文件操作1. 文件打开与关闭1.1 打开文件1.2 关闭文件2. 访问模式及说明二、文件读写1.

C++变换迭代器使用方法小结

《C++变换迭代器使用方法小结》本文主要介绍了C++变换迭代器使用方法小结,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1、源码2、代码解析代码解析:transform_iterator1. transform_iterat

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

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