一文搞懂C语言地址对齐

1、何为地址对齐?

地址对齐,离不开对齐数,假设对齐数是n,那么地址对齐就是为变量分配一个是n的倍数的地址。

2、对齐数怎么来?

要分两种情况:

2.1 自然对齐

自然对齐的对齐数,对基础类型变量来说,就是类型本身大小。比如char类型变量的对齐数就是1,int是4(32位编译器);对复合类型变量来说,比如数组或结构体,就是其基础成员中对齐数最大者(结构体内部也是有对齐的,这也是成员类型大小的加和 ≠ sizeof(类型)的原因,这里不多说)。

2.2 强制对齐

其对齐数当然就是人为指定的数了:

#pragma pack(push) //保存对齐状态
#pragma pack(4) //设定为4字节对齐,即告诉编译器,在为后面的变量分配地址时,地址必须是4的倍数。
char *test[10] = {0};
#pragma pack(pop) //恢复对齐状态
printf("%d\n", test); //test默认是1字节对齐,即自然对齐。现在是4字节对齐。

从上可以看出,不管人为还是不人为,变量地址总是对齐的,只是对齐数是多少的问题。

网上很多文章撇开对齐数谈什么是对齐,为什么要对齐就完全不通了。其实他们所说的对齐,应该是指对齐到CPU数据总线宽度的字节数,数据总线宽度通常都是等于CPU字长的。

3、为什么要对齐到数据总线宽度的字节数?

对于一个数据总线宽度为32位的CPU,它拥有一次取出四字节数据的能力,理论上CPU应该是可以从任意的内存地址取四个连续字节的。

但实际情况却是,内存速度本来就低于CPU速度了,还要逐字节取出数据然后一起送到数据总线上那就变得更慢了。

如果CPU取四次数据,每次取一字节,这也不可取,会降低CPU性能。

所以内存的内部通常是并行的,简化后如下图所示:

CPU给一次地址,内存把对应的四字节一次送出。

由于舍弃了CPU地址线的低位两条(相当于地址右移两位),因而CPU给出的地址必须是四的倍数,即便不是,也会丢弃多余的偏移量而当四倍数地址处理,这正是内存数据对齐的意义所在。

在CPU/程序端而言,直接从一个不是四的倍数的地址读一次数据,读出的结果并不是它期待的,这就是一种错误。

那CPU能不能处理?能!CPU只需根据相对四倍数地址的偏移量,从内存返回结果中取相对应的数据即可,但需要取两此,因而增加了处理流程,降低效率。

软件层面处理会有副作用,那硬件层面能处理吗?答案也是能,只需为每颗存储芯片增加一个寻址器,寻址器输入完整的CPU地址线,然后做逻辑运算得出单颗芯片的数据地址,但这会增加硬件成本,寻址计算也需要时间,也有副作用。

既然从非四倍数的地址读数据,要么错误,要么有副作用,那么人为保证不从非四倍数的地址读数据呢(即四字节对齐)?它是在编译阶段处理,只需处理一次,虽然有可能造成存储空间的浪费,但这是一种空间换时间的做法,相比前两种补救做法弊更小一点。

4、如何对齐到数据总线宽度的字节数?

4.1 利用 自然对齐 + 强制指针类型转换:

// test先定义成对齐数是4的类型,使其四字节对齐,然后利用强制指针类型转换将其当字符串使用
unsigned int test[10] = {0};
char *s = "abcdefg";
memcpy(test, s, sizeof(s));
printf("%s\n", (char *)test);

4.2 利用 pargma pack 编译指令:(2.2小节已经给出了示例)

  • 16
    点赞
  • 19
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值