问题引入:
在写代码的过程中,我们常常使用数据类型,如int型,float型,double型。可是他们是如何在内存中存储的呢?int类型和float类型的存储方式又是否一样?你知道吗?
1,数据类型介绍
1.1 类型的意义:
1. 使用这个类型开辟内存空间的大小(大小决定了使用范围)。
2. 提供了如何看待内存空间的视角。
1.2 C语言有几种基本的内置类型:
字符型,整型及浮点型(小数):
构造类型:
指针类型:
空类型:
void 表示空类型(无类型),通常用于函数的返回类型,函数的参数,指针类型。
布尔(bool)类型:
C99标准中引入的新类型。布尔型的值只有两个:false(假)和true(真)。 且false的序号为0,true的序号是1(或者是非0)。
下面,我们主要来说明整型,浮点型在内存中的存储情况。
2,数据在内存中的存储
2.1 整型
2.1.1 原码,反码及补码
要知道整型在计算机中的存储,首先要知道整型在计算机中的表示方法。整型在计算机中,有三种不同的表现方式,也就是原码,反码及补码,但整型是以补码的方式存储在内存中的。浮点数不存在原码,反码和补码的概念。事实上,浮点型在计算机中的存储方式和整型是两种不同的存储方式。下面的说明基于32位(bit,1byte = 8bit,32个比特相当于4个字节)操作系统。64位也是同样的道理。
整型在存储进内存时,要先翻译成二进制。原码,补码和反码这三种表示方法均带有符号位和数值位两部分,最高位(第32位)是符号位,用“0”来表示正,“1”表示负。
原码:直接将二进制按照正负数的形式翻译成二进制。
反码:将原码的符号位不变,其他位(第1至31位)按位取反(每一位取反,是0就取反成1,是1就取反成0)。
补码:将反码加1就是补码。
数据在内存中的操作,是对补码进行操作的,比如加减法,是对内存中的补码进行操作。
对于正数来说,他的原码,反码,补码都是相同的,可以直接输出;
对于负数来说,他的原码,反码,补码遵守这样的规则:将这个负数翻译成二进制(原码),在符号位不变,其他位按位取反(反码)后加一(补码)存在内存中。在内存中进行操作之后的结果,还原成原码(补码-->反码-->原码)输出。
如:
上面的数2147483647就是int型(有符号整型)在正整数范围内的的最大数。如果动用了符号位,那么由上面的规定可知这时它就变成了负值。只有在unsigned int 型(无符号整型)下,动用符号位就可以得到unsigned int型的最大值4294967295。类似的,我们通过类型占用内存的大小,我们就可以计算出字符型,整型,带有符号位的和不带有符号位的范围。下面,我们来看看-1的情况。(在64位操作系统下,打开微软自带的计算器,转到程序员,BIN,输入64个1,会看到他的DEC计算结果为-1,32位也是可以的。)
我们看到,-1在内存中是以补码的形式存放的。如果是原码,那么就不会32位全是1。这就证明了,整型在内存中确实是以补码的形式存在的。对整型的操作如加减法,是对他的补码进行操作之后,转换成他的原码进行输出。 那么,对于占用字节数少的,如char类型,short类型进行计算呢?
2.1.2 整型提升
实际上,加法操作符不能作用于字符型。但有时我们会遇见这样的情况:
这是为什么?我们通过1.2的表知道,char类型的范围是-128~127,对于这样的结果看char的范围我们不难理解,但是为什么呢?在这个过程,发生了截断和整型提升。整型提升也叫整形升级,还叫类型提升。整型提升是隐式类型转换的一种,隐式类型转换顾名思义就是偷偷的进行转换。整型提升过程中,多余的空出来的位统统补他的符号位的数。关于截断,你可以这样理解:你有个1L的瓶子,还有1个4L的瓶子,要将4L瓶子里的水倒给1L的瓶子里,1L瓶子肯定装不下,就会满出来,最后只能留下1L的水。
但如果是一个整型和一个浮点型进行操作呢?这个时候就要发生算术转换。
2.1.3 算术转换
许多操作数类型为算术类型的双目运算符会引发转化,并以类似的方式产生结果类型。他的目的是产生一个普通类型,同时也是运算结果的类型。
转换规则:
当有char、short或者int型(无论signed或unsigned)参与的表达式,先进行整型提升,提升后若有int(signed或unsigned)或long等更长的类型,在按照算数转换进行转换。否则直接进行算数转换。(float类似)
2.1.4 大小端存储模式
在内存中,我们会看到这样的一个场景:
看起来有点不对劲。但这是正常的。这只不过是存储模式的不同罢了。上面的存储方式,叫小端存储。
在计算机系统中,我们是以字节为单位的,每个地址单元都对应着一个字节,一个字节为8 bit。但是在C语言中除了8 bit的char之外,还有16 bit的 short型,32 bit的long型(要看具体的编译器),另外,对于位数大于8位的处理器,例如16位 或者32位的处理器,由于寄存器宽度大于一个字节,那么必然存在着一个如何将多个字节安排的问题,因此就导致了大端存储模式和小端存储模式。比如0x11223344,它在内存中可能的存放形式有 44 33 22 11(0x) ,11 22 33 44 (0x) 或其他的,但其他的存放方式不容易记下顺序,而44 33 22 11(0x)和11 22 33 44(0x)就相对的方便。我们常用的 X86 结构是小端模式,而 KEIL C51 则 为大端模式。很多的ARM,DSP都为小端模式。有些ARM处理器还可以由硬件来选择是大端模式 还是小端模式。
大端(存储)模式,是指数据的低位保存在内存的高地址中,而数据的高位,保存在内存的低地 址中;
小端(存储)模式,是指数据的低位保存在内存的低地址中,而数据的高位,,保存在内存的高地 址中。
简单记忆,就是在内存条中,内存地址由低到高。大端是高对高;小端是低对高。
下面,来介绍浮点型的存储方式。
2.2 浮点型
根据国际标准IEEE(电气和电子工程协会) 754,任意一个二进制浮点数V可以表示成下面的形式:
(-1)^S * M * 2^E
符号说明:
(-1)^s表示符号位,当s=0,V为正数;当s=1,V为负数。
M表示有效数字,大于等于1,小于2。
2^E表示指数位。
比如浮点型数字5.5:
IEEE 754规定:
对于32位的浮点数,最高的1位是符号位s,接着的8位是指数E,剩下的23位为有效数字M。
IEEE 754对有效数字M和指数E,还有一些特别规定。
对于M:
M的范围是[1,2),也就是说,M可以写成 1.xxxxxx 的形式,其中xxxxxx表示小数部分。 IEEE 754规定,在计算机内部保存M时,默认这个数的第一位总是1,因此可以被舍去,只保存后面的 xxxxxx部分。比如保存1.01的时候,只保存01,等到读取的时候,再把第一位的1加上去。这样做的目的,是节省1位有效数字。以32位浮点数为例,留给M只有23位,将第一位的1舍去以后,等于可以保存24位有效数字。
对于E:
E为一个无符号整数(unsigned int/ size_t) 这意味着,如果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取出的时候,还要再分:
1,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。
2,E全为0
这时,浮点数的指数E等于1-127(或者1-1023),就是他的真实值,有效数字M不再加上第一位的1,而是还原为0.xxxxxx的小数。这样做是为了表示±0,以及接近于0的很小的数字。
3,E全为1
这时,如果有效数字M全为0,表示±无穷大(正负取决于符号位s);
3,练习
下面的代码的结果是:
#include <stdio.h>
int main()
{
char a = -128;
printf("%u\n",a);
return 0;
}