自义定类型详解——十分钟杀穿类型对齐机制

简介: 正片开始👀结构大小👏我们先随便给出一个结构体,为了计算他的大小,我给出完整的打印方案:
typedef struct num
{
  char c;
  int n;
  char cc;
}num;
int main()
{
  printf("%d\n", sizeof(num));
  return 0;
}

好了,按道理来说我计算一个结构体大小就看他的各个成员需要消耗多大的空间, num 结构体中三个成员分别是 char ,int ,char 类型,对应 1 , 4, 1 字节大小,这么说来只需要 6 字节空间就ok了;但是——我们看看打印结果:

image.png

你说整点小误差就算了,好家伙直接歪了两倍出来,why?要解释这个问题这就需要引入 offsetof


offsetof 👏

嘛是 offsetof,本质上他是个宏,C 语言库宏 offsetof 会生成一个类型为 size_t 的整型常量(size_t是标准C库中定义的,在64位系统中为long long unsigned int),它是一个结构成员相对于结构开头的字节偏移量。声明为:


offsetof(type, member-designator)

1

其中结构体成员是由 member-designator 给定的,结构体的名称是在 type 中给定的,需要<stddef.h>头文件支持。


我们就来康康各个成员的偏移量究竟是多少

#include<stddef.h>
int main()
{
  printf("%d\n", offsetof(num,c));
  printf("%d\n", offsetof(num, n));
  printf("%d\n", offsetof(num, cc));
  return 0;
}

结果如下:


image.png

我们可以清楚的看到刚刚的 12 的组成是怎么来的了,我们知道偏移量单位是字节,我们的 0,4,8 三个偏移量单位也就是字节,num 在内存中开始存储的位置相对于第一个成员进去的位置偏移量为0,也就是在同一个位置,第一个字节偏移量为 0,第二个字节偏移量为 1,第三个字节偏移量为2,以此类推。


我们搞个图来具象一下这个过程(手残ppt)

image.png

c,cc 是一个字节的 char 类型,n 是四字节的 int 类型,所以实际上我们利用的空间就只有上面的有颜色部分。


那么新的问题又来了,为什么会有空白部分(偏移量为1,2,3和未画出的12)?空白部分又干什么去了? 那我们就要明白结构体的对齐规则。


结构体对齐规则👏

1. 结构体第一个成员存在于结构体偏移量为 0 的地址处,也就是同起点开始。

2.其他成员变量要对齐到某个数字(对齐数)整数倍的地址处。地址数等于编译器默认的一个对齐数与该成员大小的较小值(我所使用的编译器是 vs 2019,vs中默认的值为 8,但 Linux环境无默认对齐数,对齐数就是成员自身大小)

3. 结构体总大小是最大对齐数的整数倍

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


解释:


第一条很好理解吧,我们第二条就拿成员 n 来说,n 的大小为 4编译器默认对齐数为 8,取 4,8 中的较小值 4 作为对齐数。


第三条的最大对齐数如何理解呢?其实就是所有成员中对齐数最大的那个,三个成员对齐数分别是 1,4,1 ,取最大值就是 4,要是 4 的整数倍才行,我们刚好取完最后一个成员 cc 对齐数是8,整个空间 0-8 大小就是 9,9不是4 的倍数我们扔掉,然后继续浪费掉三个空间直到来到我们的 12,满足条件跳出。


举个栗子:

struct num2
{
double d;
char c;
int n;
};

image.png

因为 double 类型是 8 个字节,作为最大的成员,对齐数就是 8,从 0-15 大小为 16,16 是 8 的整数倍,因此结构体大小就是 16。嵌套情况不赘述,和一般情况同理。


存在原因👏

==So,为什么结构体会存在这种对齐机制呢 ?==两个方面:


从移植性的角度:平台不一样功能不一样,非所以硬件平台都可以访问任意地址上的任意数据,某些硬件平台只能在特定地址上取得特定的数据类型,否则就会硬件异常


从性能的角度:数据结构尤其是栈这种,应该尽可能的从自然边界上对齐,原因就是为了访问内存,处理器需要对散序的空间作两次内存访问;而对齐的内存仅仅需要一次,也就是我们常用的手法:用空间换时间


如果说在结构对齐方式不合适的时候,我们能自己更改默认对齐数来提高性能吗? 当然可以!


#pragma pack(num)

{

……

return 0;

}

#pragma pack()

这个宏可以取消默认对齐数,括号里 num 设置成自己满意的对齐数,最后再用这个宏取消自己的设置即可。

相关文章
|
安全 关系型数据库 分布式数据库
【PolarDB 开源】PolarDB 在金融行业中的实践:高可用与安全合规解决方案
【5月更文挑战第28天】PolarDB,一款适用于金融行业的强大数据库,以其高可用性和安全合规性脱颖而出。通过多副本机制和自动故障转移确保业务连续性,结合严格的访问控制和数据加密技术保护信息安全。在实际应用中,如银行核心系统,PolarDB 负责处理海量交易数据,同时支持主从架构以备故障切换。此外,设置强密码策略和加密存储确保合规性,并通过监控预警及时解决问题。随着金融科技发展,PolarDB 将在云原生架构和人工智能等领域发挥更大作用,助力金融行业创新与进步。
525 0
|
API 持续交付 开发工具
2024年开发者工具箱:提升生产力的十大利器
本文介绍了2024年最值得关注的十大开发工具,包括Visual Studio Code、Git、Docker等,涵盖代码编辑、版本控制、容器化技术、API开发、自动化部署、团队协作等多个方面,旨在帮助开发者提升工作效率和代码质量。选择合适的工具对提升开发效率至关重要,希望本文能助你一臂之力。注:工具介绍基于2024年技术和市场情况。
|
存储 开发框架 算法
processing像素画教程
本文提供了一个Processing像素画教程,包括创建网格画布、绘制像素、将图片像素化以及调整图片像素化的模糊程度,并通过示例代码展示了如何实现这些效果。
472 1
|
安全 网络性能优化
MQTT 客户端 MQTT.fx 使用说明
MQTT 客户端 MQTT.fx 使用说明
1955 0
|
消息中间件 缓存 监控
Kafka性能优化策略综述:提升吞吐量与可靠性
Kafka性能优化策略综述:提升吞吐量与可靠性
2083 0
|
Python
【python】在pycharm创建一个新的项目
【python】在pycharm创建一个新的项目
723 0
|
SQL 数据库 关系型数据库
pg_dump 详解/使用举例
pg_dump是一个用于备份PostgreSQL数据库的实用工具。即使当前数据库正在使用,也能够生成一致性的备份,且不会阻塞其他用户访问数据库(包括读、写) pg_dump只能备份一个数据库。如果要备份Cluster中数据库共有的全局对象,例如角色和表空间,需要使用pg_dumpall。
11925 0
|
JavaScript API
uniapp自定义导航栏方法
uniapp自定义导航栏方法
1314 0
|
网络协议 Linux 虚拟化
VMware安装Linux虚拟机之桥接模式网络配置图文详解(2)
VMware安装Linux虚拟机之桥接模式网络配置图文详解(2)
680 0
|
移动开发 JavaScript 前端开发
HTML5 实现自动轮播
HTML5 实现自动轮播
HTML5 实现自动轮播