内存对齐详解(C语言修仙版)

简介: 内存对齐详解(C语言修仙版)

一、什么是内存对齐?

你被四只妖物追杀至一片神秘的山脚下,现在它们快追来了,你刚想穿过一片竹林,却不小心绊到了什么,一瞬间,你到达了另一个地方,映入眼帘的是一块巨大石碑,石碑上刻着这样一段代码:


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

上面代码定义了两个结构体,两个结构体成员相同,但是顺序不一样,按理来说两个结构体既然成员一样那么两个结构体大小也应相同,那么到底两个结构体的大小是否相同呢?    

   

 


由结果发现结构体成员不是按照顺序在内存中存放的,而是以一定规则存放在内存中的,结构体成员以一种规则在内存中占用不同的字节数,而这种规则就是我们今天要讲的内存对齐

没想到你误打误撞来到了一方小世界,还发现了内存对齐这等造化,这里被发现也是迟早的事,你想不如进去寻寻机缘,或许有救命之用。


二、内存对齐规则

你往深处走去,发现一道埂古的巨石门,门上愕然刻着“内存对齐四大法则”,你心中大喜,竟是内存对齐,这等莫大的机缘,机不可失失不再来,还没说完你就开门而入。

其实内存对齐也并非神秘莫测,我们只需掌握这四处规则,便可轻松拿捏内存对齐!

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

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

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

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

看不懂没关系,接下来我来带着你一一领悟这四条规则,实乃大造化,快快三连,保你领悟内存对齐的四大规则!


1.第一规则

第一个规则是入门级规则,简单易懂,首先,你得懂什么是内存的偏移量,内存中的偏移量是指成员变量的首地址相较于“0”地址处的距离,如下图所示,在结构体起始位置处存放的是结构体的第一个成员变量,偏移量为0,不论第一个结构体成员的大小,都是存放在0偏移量处。这第一个规则是不是很简单呢?




2.第二规则

恭喜你过了第一关,但是真正的试炼才刚刚开始!第二个规则,除了结构体起始成员变量放在0偏移量处,其他的结构体成员应该放在哪里呢?刚刚既然看到上面代码所呈现的结构体的大小并不一样,也应该能够理解这其中有什么规则在制约着,要想了解这是什么规则,你必须要了解一下对齐数这个概念 ,对齐数 = 编译器默认的一个对齐数与该成员大小的较小值

在VS编译器下默认对齐数为8(单位byte/字节),在Linux中没有默认对齐数,对齐数就是成员的本身大小。除了第一个结构体成员变量占用0位置处空间,其余成员变量都要按照对齐数来在内存中进行存放,在VS中成员变量的对齐数只要小于VS的默认对齐数,那么成员变量的对齐数就为他本身。

就拿上面代码的两个结构体举例,结构体S1,第一个成员c1,类型为char在0位置处占用一个字节的空间,第二个成员n,类型为int,小于默认对齐数8,则对齐数为4,而c1只是占用了一个字节,如果直接从c1后面开始存放n的话最终占用5个字节,违反了第二规则的最大对齐数整数倍,要想存放位置为整数倍最大对齐数,那只能从4位置开始存放,到7位置,从0到7为8个字节空间,符合最大对齐数的整数倍规则,算下来一共占用了8个字节空间,你可能有个疑问,c1后面还有3个字节空间哪里去了? 其实,为了内存对齐规则,只能把这没有利用的空间给浪费掉了。、

结构体S2,第一个成员n,类型为int在0位置处占用4个字节空间,且对齐数小于默认对齐数,成员c1,类型为char,小于默认对齐数,对齐数为1,5为1的整数倍,则在紧挨着n正下方存储,算下来占用了5个字节。



相信通过这两个例子,你已经理解了存储规则,那么不难得出,S1最后一个成员c2在偏移量为8的位置处存放,结构体S2成员c2在偏移量为5的位置处存放,但是怎么才能证明我说的是对的呢?看在你给我三连的份上,送你一件至宝————offsetof宏,此宝可助你直接查看结构体成员距离起始位置的偏移量,是不是很好用?“居然还有这种至宝不早点拿出来?!”,年轻人,修仙之路靠的是真本事,而不是靠这些身外之物,所以切不可因此宝而不练习真本事。我们来看看它的具体用法吧!



首先用这个·宏需要包含头文件 才能使用,offsetof宏使用起来很简单,它只有两个参数,第一个参数传结构体的类型,第二个参数传结构体成员变量。

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



由打印结果来看我说的没错,相信我的答案和你的一样,到目前为止,你已经将第二规则掌握,是不是感觉神清气爽?但是你发现没有,照这么说的话结构体S1的大小应该是9个字节,而结构体S2的大小应该为6个字节啊,但是为什么最开始的答案却和自己的结果并不相同?难道是大道有误?实际上并非如此,别急,真正的答案揭晓还在接下来的第三规则,你,准备好了吗?


3.第三规则

继第二规则,我们发现最终不能彻底的“降妖除魔”,这是因为大道不全,没有发挥真正的威力,无法彻底根除,接下来,就让我们领悟这第三规则。

结构体的总大小,必须为最大对齐数的整数倍大小,也就是说,得先找到结构体的最大对齐数是多少才能确定最终到底需要占用多少字节的空间,而最大对齐数就为结构体成员中最大成员的大小,在结构体S1中,最大成员大小为n,类型为int,则(最大)对齐数为4,所以结构体总大小需要为4的最小倍数,又前两个结构体成员占用了9个字节,所以最小4的倍数就为12,从10-12这三个字节也会浪费,那么我相信S2为什么是8你也能够理解了。

由此可见,在结构体中,相同的成员以不同的顺序存储在内存中,所占用的内存大小也不相同,为了减轻内存的负担,可以以第二种的方式对结构体成员进行计算排序,使得浪费字节空间最小化。

此时,你已经掌握了内存对齐的法则之力!但是还是有一些不完美的地方,我知道一些对内存元空间的浪费你是忍不了的,所以接下来,让你看看法则的变换吧!

使用指令#pragma pack() 来改变默认对齐数大小,其实VS的默认对齐数为8也是这条指令造成的,#pragma pack(8),修改默认对齐数只需要把括号内的值改为自己想要的值即可,这样就可以以自己觉得比较省空间的方式来定义对齐数与结构体,此条指令要放在自定义结构体之前,且最好用完在使用#pragma pack()括号内不加任何东西解除自改变的默认对齐数,毕竟,还有其他道友可能也会来此领悟造化,不可断他人机缘啊施主。

至此,你已经完全领悟法则之力,只需熟练掌握,方可有所作为,正好小世界也被那几只妖魔发现了,可以拿他们来试试手,你明白,尽管方前没有交手,有一个气息要比旁边强大许多,你也要小心了!

首当其冲三只的妖魔来了!“桀桀桀!今天就要你命丧于此!”


struct S1//妖魔小弟1
{
  char c1;
  char c2;
  int a1;
};
struct S2//妖魔小弟2
{
  double s1;
  char c1;
  int a1;
  int a2;
};
struct S3//妖魔小弟3
{
  double s1;
  char c1;
  int a1;
  double s2;
};

“刷刷刷!”,法则之力的使出令妖物猝不及防,“这是?!啊!”, 你一下子就知道了s1为8字节,s2为24字节,s3为24字节!区区小妖何足挂齿!此时后面的大妖在不远处盯着你,“哦?法则之力吗?有点意思,吃了你吾的实力必定大增!桀桀桀!”,说时迟那时快,大妖直接瞬移到你的旁边,你暗自吃惊:“不好,这大妖实力恐怕不在我之下!”,“可恶,那就战吧!”。

struct S
{
  double s1;
  char c1;
  int a1;
  double s2;
};
struct SS
{
  double ss1;
  struct S s;
  int sa1;
};

经过一段时间的打斗,你竟然不敌这厮,“噗!”,你吐出一口鲜血,“难道这次真的要殒命于此了吗?我不甘心啊?”,“桀桀桀,受死吧!”,大妖发出了最后一击,眼看就要冲撞到你的身体,你知道这一击必让你元神俱灭,你实在没底牌了,缓缓闭上眼睛,想着对家人,好友说对不起。就在这时,脑海中的天地发生异变,一道声音从苍穹中传来:“小子,看好了,我只教这一次!法则之力是这样用的!”,你的身体被这个声音占据着...

首先看结构体S,不难看出整个结构体大小为24字节,再看结构体SS,首先ss1占用8个字节,s的类型为struct S,为24个字节,而结构体S当中,最大对齐数大小为8,嵌套的结构体对齐到自己的最大对齐数的整数倍处,则紧接着double ss1向下存储24个字节,现在已经32个字节,但是还剩下int类型的sa1,如果直接存放在s底下总字节数为36字节,不为8的整数倍,所以只能放在s下空四个字节后的位置,这样总占用空间字节大小就为40个字节了。

你突然领悟了,原来一直没出现的第四规则竟是前三种规则的融汇贯通所出现的,这下你终于通晓内存对齐的大造化了,至于那个大妖,在你回神之际就已躺在地下,毫无生机。你方才明白那个响彻天穹的声音竟是这小世界界主的神念,看来这界主生前很痛恨妖魔。


三、为什么会出现内存对齐?

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

2、性能原因:数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。

在神念作用到你身上的时候,你也能看见那界主的记忆,原来界主生前极其痛恨妖魔,虽然自身强大,但是终究敌不过妖魔数量众多,只好究其毕生所学,创造如此法则,存于小世界中,但是为何小世界会出现在这里,你就不知晓了。

在你到尽头之后又出现一块石碑,上面写着:修仙之路漫长遥远,这内存对齐造化也只是冰山一角,如果想要得道升仙,还需提升自己的实力,以及看自己的机缘,如果道友能将三连留下,必定可得大机缘,得道成仙!(写这些想告诉大家,学习语言知识也可以是很有趣的,如果不喜欢,望轻点喷,如果有错误的地方还望各位大佬帮忙指正!)

相关文章
|
6天前
|
C语言
【C语言】:总结动态内存的常见错误
【C语言】:总结动态内存的常见错误
8 0
|
6天前
|
编译器 测试技术 C语言
【C语言】:自定义类型:结构体的使用及其内存对齐
【C语言】:自定义类型:结构体的使用及其内存对齐
26 7
|
16天前
|
程序员 C语言 C++
【C语言基础】:动态内存管理(含经典笔试题分析)-2
【C语言基础】:动态内存管理(含经典笔试题分析)
|
16天前
|
程序员 编译器 C语言
【C语言基础】:动态内存管理(含经典笔试题分析)-1
【C语言基础】:动态内存管理(含经典笔试题分析)
|
24天前
|
C语言
C语言学习记录——通讯录(静态内存)
C语言学习记录——通讯录(静态内存)
16 2
|
24天前
|
存储 编译器 C语言
C语言学习记录——结构体(声明、初始化、自引用、内存对齐、结构体设计、修改默认对齐数、结构体传参)一
C语言学习记录——结构体(声明、初始化、自引用、内存对齐、结构体设计、修改默认对齐数、结构体传参)一
24 2
|
2天前
|
Java 程序员 Linux
探索C语言宝库:从基础到进阶的干货知识(类型变量+条件循环+函数模块+指针+内存+文件)
探索C语言宝库:从基础到进阶的干货知识(类型变量+条件循环+函数模块+指针+内存+文件)
9 0
|
24天前
|
C语言
C语言学习记录——动态内存开辟常见的错误
C语言学习记录——动态内存开辟常见的错误
13 1
|
24天前
|
编译器 Linux C语言
C语言学习记录——结构体(声明、初始化、自引用、内存对齐、结构体设计、修改默认对齐数、结构体传参)二
C语言学习记录——结构体(声明、初始化、自引用、内存对齐、结构体设计、修改默认对齐数、结构体传参)二
23 1
|
3天前
|
存储 编译器 C语言
C语言的联合体:一种节省内存的数据结构
C语言的联合体:一种节省内存的数据结构
7 0