C 语言数据的储存
1. 回顾 C 语言数据类型
在 C 语言中基本常见的数据类型有:char
short
int ``long
long long
float
double
等等。现在我们来将 C 语言中数据类型系统地分一分类。大致可以分为以下几类:整型
浮点
自定义构造
指针
空
。
1.1 整型数据类型
🍒字符型 charsigned charunsigned char🍒短整型 shortsigned shortunsigned short🍒整型 intsigned shortunsigned int🍒长整形 longsigned long [int]unsigned long [int]
对于未标明是否带符号的数据类型,比如就单说int
char
short
long
…,一般情况下默认为有符号型,这个具体得看编译器,大部分编译器是默认为有符号型,所以本文所有未说明是否带符号的类型通通默认为带符号类型。
1.2 浮点型数据类型
🍒单精度浮点型:float🍒双精度浮点型:double
1.3 自定义构造型数据类型
🍒数组:array[ ]🍒结构体:struct🍒联合:union🍒枚举:enum
1.4 指针型数据类型
🍒整型指针:int*🍒字符指针:char*🍒短整型指针:short*🍒长整型指针:long*🍒单精度浮点指针:float*🍒双精度浮点指针:double*🍒结构体指针:struct*🍒万能指针:void*
1.5 空型数据类型
🍒void 表示空类型(无类型)🍒通常应用于函数的返回类型、函数的参数、指针类型。
2. 整形在内存中的存储
我们已经知道整型 int 在内存中占四个字节,但它究竟是怎样储存的呢?我们一探究竟。
2.1 原码,反码,补码的概念
计算机中的整数有三种表示方法,即原码、反码和补码。三种表示方法均有符号位
和数值位
两部分,符号位都是用 0 表示“正”,用 1 表示“负”,而数值位负整数的三种表示方法各不相同。
🍓原码
。就是二进制定点表示法,原码表示法在数值前面增加了一位符号位,正数该位为 0,负数该位为 1,其余位表示数值的大小,即最高位为符号位,0 表示正,1 表示负,其余位表示数值的大小。
🍓反码
。是数值存储的一种,多应用于系统环境设置。将原码除符号位外其他位取反就能得到反码。
🍓补码
。在计算机系统中,数值一律用补码来表示和存储。原因在于使用补码,可以将符号位和数值域统一处理;同时,加法和减法也可以统一处理。将反码加上1
就是补码。
正整数的原码,反码,补码都相同。负数三者均不同,三者转换关系为原码
除符号位取反得反码
,反码
加上1
就是补码
。对整型数据来说内存中存放的是补码。
2.2 大小端字节序介绍及判断
🍉大端模式
,是指数据的高字节保存在内存的低地址中,而数据的低字节保存在内存的高地址中,这样的存储模式有点儿类似于把数据当作字符串顺序处理:地址由小向大增加,而数据从高位往低位放;这和我们的阅读习惯一致。
🍉小端模式
,是指数据的高字节保存在内存的高地址中,而数据的低字节保存在内存的低地址中,这种存储模式将地址的高低和数据位权有效地结合起来,高地址部分权值高,低地址部分权值低。
比如数字16
,将内存中的二进制码转换成 16 进制就是00 00 00 10
,假设有四个地址0x009FFA60
0x009FFA61
0x009FFA62
0x009FFA63
。如果是大端字节序
进行储存,则储存顺序如下:
如果是小端字节序
进行储存,则储存顺序如下:
🍉为什么会有大小端模式之分呢?
这是因为在计算机系统中,我们是以字节为单位的,每个地址单元都对应着一个字节,一个字节为8bit
。但是在 C 语言中除了8bit
的char
之外,还有16bit
的short
型,32bit
的long
型(要看具体的编译器),另外,对于位数大于8
位的处理器,例如16
位或者32
位的处理器,由于寄存器宽度大于一个字节,那么必然存在着一个如果将多个字节安排的问题。因此就导致了大端存储模式和小端存储模式。例如一个 16bit
的 short 型 x
,在内存中的地址为 0x0010
, x
的值为0x1122
,那么0x11
为高字节, 0x22
为低字节。对于大端模式,就将0x11
放在低地址中,即 0x0010
中, 0x22
放在高地址中,即 0x0011
中。小端模式,刚好相反。我们常用的 X86
结构是小端模式,而 KEIL C51
则为大端模式。很多的 ARM,DSP 都为小端模式。有些 ARM 处理器还可以由硬件来选择是大端模式还是小端模式。🍉总结
:整型数据大端模式储存,高位在低地址,低位在高地址。小端模式储存则相反,高位在高地址,低位在低地址。🍉笔试题
:请简述大端字节序和小端字节序的概念,设计一个小程序来判断当前机器的字节序。
2.3 小试牛刀
🌽小试牛刀1
:下面程序会输出什么?
🔑:a
为 char 型-1
默认为有符号型,它的二进制原码为1000 0001
,内存中储存的为补码所以先要转成补码,除最高位取反得反码1111 1110
,加 1 的补码1111 1111
。在输出的时候以%d
形式输出,过程中会发生整型提升
(对于不了解整型提升的小伙伴可以阅读博主的一篇文章C语言中奇妙又有趣的符号——运算符(操作符)!C语言运算(操作)符最全集合(建议收藏)最后 3.1.2 部分,那里有说明整型提升),a
的补码会先整型提升为1111 1111 1111 1111 1111 1111 1111 1111
,它的原码为1000 0000 0000 0000 0000 0000 0000 0001
为数字-1
。b
为有符号型 char 型-1
,所以结果与a
一致,为-1
。c
为无符号 char 型,值为-1
,内存中存为补码,无符号型整数类原码,反码,补码相同,-1
补码为1111 1111
,同理以%d
形式输出需先进行整型提升,无符号型整型提升统一补0
,所以c
整型提升后补码为0000 0000 0000 0000 0000 0000 1111 1111
,因为原反补码相同,所以原码也是补码,所以输出c
的值为255
。💡运行结果
:
🌽小试牛刀2
:下面程序会输出什么?
🔑:a
为有符号 char 型,值为-128
,它比较特殊,在计算机内的补码为1000 0000
,当以%u
形式打印时会发生整型提升,补码会变为1111 1111 1111 1111 1111 1111 1000 0000
,因为是以无符号型整数输出,无符号整型原反补码相同,通过计算器可以得出输出的值为4294967168
。💡运行结果
:
🌽小试牛刀3
:下面程序会输出什么?
🔑:有符号 char 型的范围为-128 到127
,a
为有符号 char 型,赋值128
明显超出数据范围了,整数128
的二进制序列为0000 0000 0000 0000 0000 0000 1000 0000
将此值赋值给a
时会发生截断,所以储存在a
中的补码为1000 0000
,这样的话就和小试牛刀2
那题一模一样了,所以结果会输出4294967168
。💡运行结果
:
🌽小试牛刀4
:下面程序会输出什么?
🔑:i
为有符号整型,值为-20
,二进制原码为1000 0000 0000 0000 0000 0000 0001 0100
除符号位取反加一得补码1111 1111 1111 1111 1111 1111 1110 1100
j
为无符号型整数,值为10
,原码补码相同,补码为0000 0000 0000 0000 0000 0000 0000 1010
,将俩个补码相加得i+j
的补码1111 1111 1111 1111 1111 1111 1111 0110
,以%d
形式输出,由于符号位为1
所以需计算原码,减一取反后得1000 0000 0000 0000 0000 0000 0000 1010
,为数字-10
。💡运行结果
:
🌽小试牛刀5
:下面程序会输出什么?
🔑:i
为无符号整型,范围为0~2^32 -1
,所以这个i
随着 for 循环到0
后再减减,i
在内存中储存的补码为1111 1111 1111 1111 1111 1111 1111 1111
,由于无符号整型原反补码相同,所以i
实际值是一个非常大的数,因此这个循环为死循环,因为i
永远不会小于0
,循环永远跳不出去。
🌽小试牛刀6
:下面程序会输出什么?
🔑:定义了一个元素为有符号型 char 大小为1000
的数组a
,有符号 char 类型的范围为-128~127
,strlen函数
遇到\0
后才会停止计数,\0
的 ASCII 码为0
,所以strlen
会计算从开始到数组a
中第一个0
的地方。
整数i
从0
开始增加,则数组a
内的元素随着下标增大会减小,初始值为-1
。所以就相当于绕着如图这个圈逆时针旋转,数组a
中首个0
出现时,i
应该为128+127=255
,所以strlen
能够计算在i
为0~254
所对应字符数组a
的字符长度,即255
。根据这个图我们可以类推其他类型的整数的范围,以及超出范围后会一样进行一个类似的循环进行数据值的‘转换’。💡运行结果
:
🌽小试牛刀7
:下面程序会输出什么?
🔑:无符号 char 类型的范围为0 ~ 255
,i
是一个无符号 char 类型,无论i
怎么加加,它的有效值一定在0 ~ 255
范围内,而循环能进行的条件就是i
的值在0 ~ 255
所以这是一个死循环,会一直输出hello world
。
3. 浮点型在内存中的存储
进入正题之前先来看一道例题,通过这道题来引出浮点数在内存中究竟是这么存储的。🌽例题
:下面程序会输出什么?
如果你不知道浮点数在内存中怎么存储的,你可能会觉得会输出:
但是,实际上会得出以下结果:
那是为什么呢?要解释这个问题就要弄清楚浮点数在内存中的储存方式。
💡根据国际标准IEEE(电气和电子工程协会) 754
,任意一个二进制浮点数V
可以表示成下面的形式:(-1)^S * M * 2^E
(-1)^s
表示符号位
,当s=0
,V
为正数
;当s=1
,V
为负数
。M
表示有效数字
,大于等于1
,小于2
。2^E
表示指数位
。
举例来说: 十进制的5.0
,写成二进制是101.0
,相当于 1.01×2^2
。 那么,按照上面V
的格式,可以得出s=0
,M=1.01,E=2
。十进制的-5.0
,写成二进制是 -101.0
,相当于-1.01×2^2
。那么,s=1
,M=1.01,E=2
。
💡IEEE 754规定
: 对于 32 位的浮点数,最高的 1 位是符号位 S,接着的 8 位是指数 E,剩下的 23 位为有效数字 M。
对于 64 位的浮点数,最高的 1 位是符号位 S,接着的 11 位是指数 E,剩下的 52 位为有效数字 M。
IEEE 754 对有效数字 M 和指数 E,还有一些特别规定。 前面说过,
1≤M<2
,也就是说,M
可以写成1.xxxxxx
的形式,其中xxxxxx
表示小数部分。IEEE 754 规定,在计算机内部保存M
时,默认这个数的第一位总是1
,因此可以被舍去,只保存后面的xxxxxx
部分。比如保存1.01
的时候,只保存01
,等到读取的时候,再把第一位的1
加上去。这样做的目的,是节省1
位有效数字。以 32 位浮点数为例,留给M
只有23
位,将第一位的1
舍去以后,等于可以保存24
位有效数字。至于指数 E,情况就比较复杂。首先,E
为一个无符号整数
(unsigned int) 这意味着,如果E
为8
位,它的取值范围为0~255
;如果E
为11
位,它的取值范围为0~2047
。但是,我们知道,科学计数法中的 E 是可以出现负数的,所以 IEEE 754 规定,存入内存时 E 的真实值必须再加上一个中间数,对于 8 位的 E,这个中间数是127
;对于 11 位的 E,这个中间数是1023
。比如,2^10
的E
是10
,所以保存成32
位浮点数时,必须保存成10+127=137
,即10001001
。
指数 E 从内存中取出还可以再分成三种情况:🍇E 不全为 0 或不全为 1 这时,浮点数就采用下面的规则表示,即指数 E 的计算值减去127(1023)
,得到真实值,再将有效数字 M 前加上第一位的 1。 比如: 0.5(1/2)
的二进制形式为0.1
,由于规定正数部分必须为 1,即将小数点右移 1 位,则为1.0*2^(-1)
,其阶码为-1+127=126
,表示为01111110
,而尾数1.0
去掉整数部分为0
,补齐 0 到 23 位00000000000000000000000
,则其二进制表示形式为: 0 01111110 00000000000000000000000
。🍇E 全为 0 这时,浮点数的指数 E 等于1-127(或者1-1023)
即为真实值, 有效数字 M 不再加上第一位的 1,而是还原为0.xxxxxx
的小数。这样做是为了表示±0
,以及接近于 0 的很小的数字。🍇E 全为 1 这时,如果有效数字 M 全为 0,表示±无穷大(正负取决于符号位s)
。
下面,让我们回到一开始的问题:为什么 0x00000009
还原成浮点数,就成了0.000000
? 首先,将 0x00000009
拆分,得到第一位符号位s=0
,后面 8 位的指数 E=00000000
,最后 23 位的有效数字M=000 0000 0000 0000 0000 1001
。
由于指数 E 全为 0,所以符合上一节的第二种情况。因此,浮点数 V 就写成: V=(-1)^0 ×0.00000000000000000001001×2^(-126)=1.001×2^(-146)
显然,V 是一个很小的接近于 0 的正数,所以用十进制小数表示就是0.000000
。
再看例题的第二部分。 请问浮点数9.0
,如何用二进制表示?还原成十进制又是多少? 首先,浮点数9.0
等于二进制的1001.0
,即1.001×2^3
。
那么,第一位的符号位s=0
,有效数字 M 等于001
后面再加 20 个 0,凑满 23 位,指数 E 等于3+127=130
,即10000010
。 所以,写成二进制形式,应该是s+E+M
,即
这个 32 位的二进制数,还原成十进制,正是1091567616
。
版权声明: 本文为 InfoQ 作者【未见花闻】的原创文章。
原文链接:【http://xie.infoq.cn/article/6545e13e17d5a861203c004ea】。文章转载请联系作者。
评论