整数与浮点数都是数字,但它们在内存中到底是否是以同样方式存储呢?我们写出如下代码并运行:
#include<stdio.h>
int main()
{
int n = 5;
float* p = (float*)&n;
printf("n的值为:%d\n", n);
printf("p的值为:%f\n", *p);
*p = 5.0;
printf("n的值为:%d\n", n);
printf("p的值为:%f\n", *p);
return 0;
}
运行结果如下:
由此可以看出整数与浮点数在内存中的储存方式不同,接下来,我将介绍两种数据类型在内存中的具体储存方式。
一、整数在内存中的存储方式
整数的二进制表示方式有三种,分别为原码、反码、补码。
对于有符号整数来说,这三种码均有符号位和数值位两部分,最高位的一位为符号位(0表示正数,1表示负数),剩余都是数值位。
对于负数来说,原码、反码、补码各不相同。
原码:直接将数值按照正负数的形式翻译成二进制。
反码:原码的符号位不变,其余位次均取反得到。
补码:反码+1得到补码。
注:补码得到原码也可以用取反后+1的操作,或者上述的逆运算。
对于正数来说,原码、反码、补码完全相同。
对于整型来说,内存中存储的是补码。
为什么要以补码的形式存放?
在计算机系统中,整数以补码形式存放的原因在于,使用补码可以将符号位与数值位统一处理。同时,加法和减法可以统一处理(CPU只有加法器)。此外原码与补码之间的转换运算相同(上已有注明),不需要额外的硬件电路。
我们用1-2为例
int main()
{
int a = 1 - 2;//1+(-2)
//00000000000000000000000000000001- 1的原码
//10000000000000000000000000000010- -2的原码
//10000000000000000000000000000011- 相加结果为-3
//使用补码计算则正确
//00000000000000000000000000000001- 1的补码
//00000000000000000000000000000010
//11111111111111111111111111111101- -2的补码
//11111111111111111111111111111110- 结果的补码
//10000000000000000000000000000001- 结果的原码,相加结果为-1
return 0;
}
二、浮点数在内存中的存储方式
根据国际标准IEEE(电器和电子工程协会)754,任何一个二进制浮点数V都能用以下形式表示:
所以浮点数并不像整数一样,在内存中以二进制的补码的形式储存,而是通过储存S、M、E的值来储存浮点数。
十进制的5.0,二进制是101.0,用科学记数法就表示为1.01*2^2,其中S=0,M=1.01,E=2
十进制的5.5,二进制则是101.1,用科学记数法表示为1.011*2^2,其中S=0,M=1.011,E=2
1. 浮点数存的过程
IEEE 754规定:
对于32位的浮点数(float),最高1位存储符号位S,接着的8位存储指数E,剩下的23位存储有效数字M
对于64位的浮点数(double),最高1位存储符号位S,接着的11位存储指数E,剩下的52位存储有效数字M
那S、E、M各自的范围又是多少呢?
显然的,S只有可能是0或者1。
而因为最后要写成科学记数法的形式,所以M小于2而大于等于1,即M可以写成1.XXXXXX……的形式。IEEE 754规定,在计算机内部保存M时,默认这个数的第一位总是1,因此可以被舍去,只保存后面的小数部分,等到读取的时候再将第一位的1加上去,这样可以节省1位有效数字,以32位浮点数为例,留给M只有23位,将第一位的1舍去后,则可以保存24位有效数字。
而对于指数E,E是一个无符号整数(unsigned int)。所以如果E是8位,它的取值范围就是0~255;如果E为11位,它的取值范围为0~2047。但是,在科学记数法中,E可以出现负数,所以IEEE 754规定:存入内存时,E的真实值必须再加上一个中间数(保证E最后在内存中储存数字为正数),然后把加完中间数的结果转换为二进制存进内存,如果E是8为,则中间数为127;如果E是11位,这个中间数是1023。
注:如果小数点后的位数(不一定原本位数就很多)转换为二进制后位数太多,可能导致浮点数在内存中无法精确保存,所以浮点数判断相等一般取决于精度
2. 浮点数取的过程
2.1 E不全为0或不全为1
E的计算值减去127(或1023),得到真实值,再将有效数字M前加上第一位的1,则还原为原浮点型的二进制形式 。
2.2 E全为0
此时E为1-127(或1-1023),得到真实值,有效数字M不再加上第一位的1,而是还原为0.xxxxxxxxx的小数,为了表示0,以及接近0的很小的数字。
2.3 E全为1
此时,如果有效数字M为0,表示±无穷大(正负取决于符号位S)。