【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

相关文章

HTML5中下拉框<select>标签的属性和样式详解

《HTML5中下拉框<select>标签的属性和样式详解》在HTML5中,下拉框(select标签)作为表单的重要组成部分,为用户提供了一个从预定义选项中选择值的方式,本文将深入探讨select标签的... 在html5中,下拉框(<select>标签)作为表单的重要组成部分,为用户提供了一个从预定义选项中

Python中多线程和多进程的基本用法详解

《Python中多线程和多进程的基本用法详解》这篇文章介绍了Python中多线程和多进程的相关知识,包括并发编程的优势,多线程和多进程的概念、适用场景、示例代码,线程池和进程池的使用,以及如何选择合适... 目录引言一、并发编程的主要优势二、python的多线程(Threading)1. 什么是多线程?2.

Java 8 Stream filter流式过滤器详解

《Java8Streamfilter流式过滤器详解》本文介绍了Java8的StreamAPI中的filter方法,展示了如何使用lambda表达式根据条件过滤流式数据,通过实际代码示例,展示了f... 目录引言 一.Java 8 Stream 的过滤器(filter)二.Java 8 的 filter、fi

Rust中的BoxT之堆上的数据与递归类型详解

《Rust中的BoxT之堆上的数据与递归类型详解》本文介绍了Rust中的BoxT类型,包括其在堆与栈之间的内存分配,性能优势,以及如何利用BoxT来实现递归类型和处理大小未知类型,通过BoxT,Rus... 目录1. Box<T> 的基础知识1.1 堆与栈的分工1.2 性能优势2.1 递归类型的问题2.2

springboot的调度服务与异步服务使用详解

《springboot的调度服务与异步服务使用详解》本文主要介绍了Java的ScheduledExecutorService接口和SpringBoot中如何使用调度线程池,包括核心参数、创建方式、自定... 目录1.调度服务1.1.JDK之ScheduledExecutorService1.2.spring

MySQL 中的服务器配置和状态详解(MySQL Server Configuration and Status)

《MySQL中的服务器配置和状态详解(MySQLServerConfigurationandStatus)》MySQL服务器配置和状态设置包括服务器选项、系统变量和状态变量三个方面,可以通过... 目录mysql 之服务器配置和状态1 MySQL 架构和性能优化1.1 服务器配置和状态1.1.1 服务器选项

Vue3中的动态组件详解

《Vue3中的动态组件详解》本文介绍了Vue3中的动态组件,通过`component:is=动态组件名或组件对象/component`来实现根据条件动态渲染不同的组件,此外,还提到了使用`markRa... 目录vue3动态组件动态组件的基本使用第一种写法第二种写法性能优化解决方法总结Vue3动态组件动态

C++一个数组赋值给另一个数组方式

《C++一个数组赋值给另一个数组方式》文章介绍了三种在C++中将一个数组赋值给另一个数组的方法:使用循环逐个元素赋值、使用标准库函数std::copy或std::memcpy以及使用标准库容器,每种方... 目录C++一个数组赋值给另一个数组循环遍历赋值使用标准库中的函数 std::copy 或 std::

C++使用栈实现括号匹配的代码详解

《C++使用栈实现括号匹配的代码详解》在编程中,括号匹配是一个常见问题,尤其是在处理数学表达式、编译器解析等任务时,栈是一种非常适合处理此类问题的数据结构,能够精确地管理括号的匹配问题,本文将通过C+... 目录引言问题描述代码讲解代码解析栈的状态表示测试总结引言在编程中,括号匹配是一个常见问题,尤其是在

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定