c语言中从字中取高低字节,关于字节对齐
关于字节对齐
一、快速理解
1. 什么是字节对齐
在C语言中,结构是一种复合数据类型,其构成元素既可以是基本数据类型(如int、long、float等)的变量,
也可以是一些复合数据类型(如数组、结构、联合等)的数据单元。在结构中,编译器为结构的每个成员按其自然
边界(alignment)分配空间。各个成员按照它们被声明的顺序在内存中顺序存储,第一个成员的地址和整个结构
的地址相同.
为了使CPU能够对变量进行快速的访问,变量的起始地址应该具有某些特性, 即所谓的”对齐”. 比如4字节的int
型, 其起始地址应该位于4字节的边界上, 即起始地址能够被4整除.
2. 字节对齐有什么作用
字节对齐的作用不仅是便于cpu快速访问,同时合理的利用字节对齐可以有效地节省存储空间.
对于32位机来说,4字节对齐能够使cpu访问速度提高,比如说一个long类型的变量,如果跨越了4字节边界存储
那么cpu要读取两次,这样效率就低了. 但是在32位机中使用1字节或者2字节对齐,反而会使变量访问速度降低。所
以这要考虑处理器类型,另外还得考虑编译器的类型。在vc中默认是4字节对齐的,GNU gcc 也是默认4字节对齐.
3. 更改C编译器的缺省字节对齐方式
在缺省情况下,C编译器为每一个变量或是数据单元按其自然对界条件分配空间。一般地,可以通过下面的方法
来改变缺省的对界条件:
· 使用伪指令 #pragma pack (n),C编译器将按照n个字节对齐。
· 使用伪指令 #pragma pack (),取消自定义字节对齐方式。
另外,还有如下的一种方式:
· __attribute((aligned (n))),让所作用的结构成员对齐在n字节自然边界上。如果结构中有成员的长度大于
n,则按照最大成员的长度来对齐。
· __attribute__ ((packed)),取消结构在编译过程中的优化对齐,按照实际占用字节数进行对齐。
4. 举例说明
例1:
struct test {
char x1; // 1
short x2; // 2
float x3; // 4
char x4; // 1
};
由于编译器默认情况下会对这个struct作自然边界对齐,结构的第一个成员x1,其偏移地址为0,占据了第1个字
节。第二个成员x2为short类型,其起始地址必须2字节对界,因此,编译器在x2和x1之间填充了一个空字节。结构的
第三个成员x3和第四个成员x4恰好落在其自然边界地址上,在它们前面不需要额外的填充字节。在test结构中,成员
x3要求4字节对界,是该结构所有成员中要求的最大边界单元,因而test结构的自然对界条件为4字节,编译器在成员
x4后面填充了3个空字节。整个结构所占据空间为12字节.
例2:
#pragma pack(1) // 让编译器对这个结构作1字节对齐
struct test {
char x1; // 1
short x2; // 2
float x3; // 4
char x4; // 1
};
#pragma pack() // 取消1字节对齐,恢复为默认4字节对齐
这时候sizeof(struct test)的值为8。
例3:
#define GNUC_PACKED __attribute__((packed))
struct PACKED test {
char x1;
short x2;
float x3;
char x4;
} GNUC_PACKED;
这时候sizeof(struct test)的值仍为8.
注:在使用数组或是结构体中包含结构体时,这种方式比较有效.
二、深入理解
什么是字节对齐,为什么要对齐?
现代计算机中内存空间都是按照byte划分的,从理论上讲似乎对任何类型的变量的访问可以从任何地址开始,但
实际情况是在访问特定类型变量的时候经常在特定的内存地址访问,这就需要各种类型数据按照一定的规则在空间上
排列,而不是顺序的一个接一个的排放,这就是对齐。
对齐的作用和原因:各个硬件平台对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从某
些特定地址开始存取. 比如有些架构的CPU在访问一个没有进行对齐的变量的时候会发生错误,那么在这种架构下编程
必须保证字节对齐. 其他平台可能没有这种情况,但是最常见的是如果不按照适合其平台要求对数据存放进行对齐,
会在存取效率上带来损失。比如有些平台每次读都是从偶地址开始,如果一个int型(假设为32位系统)如果存放在偶
地址开始的地方,那么一个读周期就可以读出这32bit, 而如果存放在奇地址开始的地方, 就需要2个读周期, 并对两次
读出的结果的高低字节进行拼凑才能得到该32bit数据. 显然在读取效率上下降很多。
三. 字节对齐对程序的影响
先让我们看几个例子吧(32bit, x86环境, GCC编译器):
结构体如下定义:
struct A {
int a;
char b;
short c;
};
struct B {
char b;
int a;
short c;
};
现在已知32位机器上各种数据类型的长度如下:
char: 1 (有无符号同)
short: 2 (有无符号同)
int: 4 (有无符号同)
long: 4 (有无符号同)
float: 4
double: 8
那么上面两个结构大小如何呢? 结果是:
sizeof(strcut A)值为8
sizeof(struct B)的值却是12
结构体A中包含了4字节长度的int一个,1字节长度的char一个和2字节长度的short型数据一个, B也一样; 按理
说A, B大小应该都是7字节。
之所以出现上面的结果是因为编译器要对数据成员在空间上进行对齐。上面是按照编译器的默认设置进行对齐的
结果,那么我们是不是可以改变编译器的这种默认对齐设置呢?当然可以.
例如:
#pragma pack (2) /*指定按2字节对齐*/
struct C {
char b;
int a;
short c;
};
#pragma pack () /*取消指定对齐,恢复缺省对齐*/
sizeof(struct C)值是8.
#pragma pack (1) /*指定按1字节对齐*/
struct D {
char b;
int a;
short c;
};
#pragma pack () /*取消指定对齐,恢复缺省对齐*/
sizeof(struct D)值为7.
后面我们再讲解#pragma pack()的作用.
四.编译器是按照什么样的原则进行对齐的
1.数据类型自身的对齐值:
对于char型数据,其自身对齐值为1,对于short型为2,对于int,float,double类型,其自身对齐值为4,单位字
节。
2.结构体或者类的自身对齐值:
其成员中自身对齐值最大的那个值。
3.指定对齐值:
#pragma pack (value)时的指定对齐值value。
4.数据成员、结构体和类的有效对齐值:
自身对齐值和指定对齐值中小的那个值。
有了这些值,我们就可以很方便的来讨论具体数据结构的成员和其自身的对齐方式。有效对齐值N是最终用来决
定数据存放地址方式的值,最重要. 有效对齐N,就是表示"对齐在N上", 也就是说该数据的 "存放起始地址%N = 0".
而数据结构中的数据变量都是按定义的先后顺序来排放的。第一个数据变量的起始地址就是数据结构的起始地址。
结构体的成员变量要对齐排放,结构体本身也要根据自身的有效对齐值圆整(就是结构体成员变量占用总长度需要是
对结构体有效对齐值的整数倍,结合下面例子理解)。这样就不能理解上面的几个例子的值了。
例子分析:
struct B {
char b;
int a;
short c;
};
假设B从地址空间0x0000开始排放.该例子中没有定义指定对齐值,该值默认为4.第一个成员变量b的自身对齐值是1, 比
指定或者默认指定对齐值4小,所以其有效对齐值为1,所以其存放地址0x0000符合0x0000%1=0. 第二个成员变量a,其
自身对齐值为4, 所以有效对齐值也为4, 所以只能存放在起始地址为0x0004到0x0007这四个连续的字节空间中, 复核
0x0004%4=0, 且紧靠第一个变量. 第三个变量c, 自身对齐值为2, 所以有效对齐值也是2, 可以存放在0x0008到0x0009
这两个字节空间中, 符合0x0008%2=0. 所以从0x0000到0x0009存放的都是B内容, 再看数据结构B的自身对齐值为其变量
中最大对齐值(这里是b)所以就是4, 所以结构体的有效对齐值也是4. 根据结构体圆整的要求, 0x0009 到 0x0000 =
10 字节, (10+2)%4=0。所以0x0000A到0x000B也为结构体B所占用. 故B从0x0000到0x000B共有12个字节,
sizeof(struct B)=12; 其实如果就这一个就来说它已将满足字节对齐了, 因为它的起始地址是0, 因此肯定是对齐的,
之所以在后面补充2个字节,是因为编译器为了实现结构数组的存取效率,试想如果我们定义了一个结构B的数组,那么第
一个结构起始地址是0没有问题,但是第二个结构呢? 按照数组的定义, 数组中所有元素都是紧挨着的, 如果我们不把结
构的大小补充为4的整数倍, 那么下一个结构的起始地址将是0x0000A, 这显然不能满足结构的地址对齐了, 因此我们要
把结构补充成有效对齐大小的整数倍. 其实诸如:
对于char型数据,其自身对齐值为1,对于short型为2,对于int, float, double类型,其自身对齐值为4,这些已
有类型的自身对齐值也是基于数组考虑的,只是因为这些类型的长度已知了,所以他们的自身对齐值也就已知了.
上面例子C:
#pragma pack (2) /*指定按2字节对齐*/
struct C {
char b;
int a;
short c;
};
#pragma pack () /*取消指定对齐,恢复缺省对齐*/
第一个变量b的自身对齐值为1,指定对齐值为2, 所以, 其有效对齐值为1,假设C从0x0000开始,那么b存放在0x0000,
符合0x0000%1=0; 第二个变量, 自身对齐值为4,指定对齐值为2,所以有效对齐值为2,所以顺序存放在0x0002, 0x0003,
0x0004, 0x0005 四个连续字节中, 符合0x0002%2=0. 第三个变量c的自身对齐值为2, 所以有效对齐值为2. 顺序存放
在0x0006、0x0007中,符合0x0006%2=0. 所以从0x0000到0x00007共八字节存放的是C的变量。又C的自身对齐值为4,
所以C的有效对齐值为2。又8%2=0,C只占用0x0000到0x0007的八个字节。所以sizeof(struct C)=8.
五. 如何修改编译器的默认对齐值
1.在VC IDE中,可以这样修改:
[Project]|[Settings], c/c++选项卡Category的Code Generation选项的Struct Member Alignment中修改
默认是8字节。
2.在编码时, 可以这样动态修改:
#pragma pack
注意: 是pragma而不是progma.
六. 针对字节对齐,我们在编程中如何考虑?
如果在编程的时候要考虑节约空间的话, 那么我们只需要假定结构的首地址是0, 然后各个变量按照上面的原则
进行排列即可, 基本的原则就是把结构中的变量按照类型大小从小到大声明,尽量减少中间的填补空间. 还有一种就
是为了以空间换取时间的效率,我们显示的进行填补空间进行对齐, 比如:有一种使用空间换时间做法是显式的插入
reserved成员:
struct A {
char a;
char reserved[3]; //使用空间换时间
int b;
}
reserved成员对我们的程序没有什么意义, 它只是起到填补空间以达到字节对齐的目的, 当然即使不加这个成员通常
编译器也会给我们自动填补对齐,我们自己加上它只是起到显式的提醒作用.
七. 字节对齐可能带来的隐患
代码中关于对齐的隐患, 很多是隐式的. 比如在强制类型转换的时候. 例如:
unsigned int i = 0x12345678;
unsigned char *p = NULL;
unsigned short *p1 = NULL;
p = &i;
*p = 0x00;
p1 = (unsigned short*)(p+1);
*p1 = 0x0000;
最后两句代码, 从奇数边界去访问unsigned short型变量, 显然不符合对齐的规定.
在x86上, 类似的操作只会影响效率, 但是在MIPS或者sparc上, 可能就是一个error, 因为它们要求必须字节对齐.
八. 如何查找与字节对齐方面的问题
如果出现对齐或者赋值问题首先查看
1. 编译器的big little端设置
2. 看这种体系本身是否支持非对齐访问
3. 如果支持看设置了对齐与否,如果没有则看访问时需要加某些特殊的修饰来标志其特殊访问操作。
*博客内容为网友个人发布,仅代表博主个人观点,如有侵权请联系工作人员删除。
c语言中从字中取高低字节,关于字节对齐相关推荐
- C语言中不同类型的取值范围
C语言中的不同类型的取值范围 前言 C语言中,我们知道最基本的数据类型有int整型,float和double浮点型,char字符型,在计算机里,他们的取值并不是任意和无限的,都有相应的取值范围,那么计 ...
- c语言如何判断当前是 空字符,c语言如何判断字串中没有没有某个字元?
c语言如何判断字串中没有没有某个字元?以下文字资料是由(历史新知网www.lishixinzhi.com)小编为大家搜集整理后发布的内容,让我们赶快一起来看一下吧! c语言如何判断字串中没有没有某个字 ...
- R语言,向量x=c(“我“,“你“,“我“,“我“,“你“,“他“,“们“,“他“,“人“)中,统计向量x中的字出现的次数。 写出R代码。
文章目录 前言 一.创建向量x 二.统计词频 方法1 方法2 前言 这篇文章主要讲述R语言的运用,统计向量中各个字出现的次数,下面有一个例子,用两种方法解决. 提示:以下是本篇文章正文内容,下面案例可 ...
- python中的除法、取整和求模_python中的除法,取整和求模-Go语言中文社区
首先注明:如果没有特别说明,以下内容都是基于python 3.4的. 先说核心要点: 1. /是精确除法,//是向下取整除法,%是求模 2. %求模是基于向下取整除法规则的 3. 四舍五入取整roun ...
- C语言中的数组名取地址
今天看到这样一道题目,有点懵,记录一下 c语言中的对数组名取地址是什么意思? c中对数组名取地址,实际得到的是指向该一维数组的指针,对于上述题目中的&arr,表示指向一维数组arr的指针,*( ...
- TIA博途中使用AT指令实现双字中高低字转换的具体方法示例
TIA博途中使用AT指令实现双字中高低字转换的具体方法示例 西门子PLC采用的是大端存储,有些PLC品牌或上位机采用的小端存储,那么在通信时为了获得正确的数据,我们需要将一个双字DWORD中的高低字进 ...
- C语言中关于字对齐的问题
在C语言中,有关存储的问题会设计到一些对齐概念的理解,我们知道, 为了能使CPU对变量进行高效快速的访问,变量的起始地址应该具有某些特性,即所谓的"对齐".例如对于4字节的int类 ...
- python语言的取余运算符_Python 中用于整数除法取余的运算符是()_学小易找答案...
[填空题]隐球菌病多由()传播. [单选题]下列选项中,哪一个符号是管道符号. ( ) [多选题]可采用分批法计算产品成本的企业有( ) [填空题]现有字符串 s="1234567" ...
- Cocos2d-x中图字原理之深入分析
[Cocos2d-x相关教程来源于红孩儿的游戏编程之路 CSDN博客地址:http://blog.csdn.net/honghaier] 红孩儿Cocos2d-X学习园地QQ群:249941957 加 ...
最新文章
- 5M1E,软件质量管理最佳解决方案
- Android动态加载插件APK
- LINUX下直接使用ISO文件
- macos 此服务器的证书无效_跨平台本地SSL证书生成工具,本地也能优雅的调试https...
- linux无盘windows系统,Linux无盘启动Win2000终端
- python selenium自动化面试_18年selenium3+python3+unittest自动化测试教程(上)
- Python内置函数——__import__ 的使用方法
- leaflet 的 marker 弹框 iframe 嵌套代码
- php 排除前后空格,php去除字符串前后空格的方法
- 常用射频接头之2.92mm
- ipad上的html编辑器,它让我开始尝试在 iPad 上写作:MWeb for iOS 使用体验
- 易康(eCognition)对象几何特征--1:几何(Geometry)_范围(Extent)
- 电脑网络连接怎么设置
- 模式识别的常用英文总结
- B - Restore Modulo
- 2021.02.02刷题总结
- 亚马逊运营技巧,卖家该如何提升BSR排名?
- MooTools and Sizzle
- c语言中找不到EXE,windows找不到文件c:\windows\system32\msdt.exe如何解决
- 360手机卫士插件化RePlugin今日开源,官方全面解读
热门文章
- 或许是迄今为止第一篇讲解 fps 计算原理的文章吧
- tkinter--键盘事件
- Python中的get()方法
- 分类问题学习笔记-决策树
- Linux内核补丁降级,linux内核生成补丁和打补丁的方法
- javascript写字技巧_JavaScript 如何书写更优雅
- vivo入驻华为测试鸿蒙,VIVO联动华为?官方宣传图出现华为智联,为鸿蒙合作埋下伏笔...
- API 网关 ( API gateway )
- 喜欢跟爱的区别[转载]
- 微信公众号流量主门槛变低 变现机会来了