深度剖析数据在内存中的存储
本章重点
1.
数据类型详细介绍
2.
整形在内存中的存储:原码、反码、补码
3.
大小端字节序介绍及判断
4.
浮点型在内存中的存储解析
数据内型介绍
char
//
字符数据类型
1个字节
short
//
短整型
2个字节
int
//
整形
4个字节
long
//
长整型
8个字节
long long
//
更长的整形
8个字节
float
//
单精度浮点数
4个字节
double
//
双精度浮点数
8个字节
类型的意义:
1.使用这个类型开辟内存空间的大小(大小决定了使用范围)。
2.如何看待内存空间的视角。
类型的基本归类:
整形家族:
char
unsinged char
singed char
short
unsinged short [int]
singed short [int]
int
unsinged int
singed int
long
unsinged long [int]
singed long [int]
浮点数家族:
float
double
构造类型:
> 数组类型
> 结构体类型
struct
> 枚举类型
enum
> 联合类型
union
指针类型:
int *pi
char *pc
float *pf
void *pv
空类型:
void
表示空类型(无类型)
通常应用于函数的返回类型、函数的参数、指针类型
整形在内存中的存储
一个变量的创建是要在内存中开辟空间的。开辟空间的大小是根据不同类型所决定的。
我们来谈谈数据在所开辟的内存中是如何存储的
比如
int a = 20;
int b = -10;
我们知道a和b开辟了四个字节的空间。那他们是如何存储的呢?
所以我们来了解下面的概念
原码、反码、补码
计算机中的有符号数有三种表示方法,即原码、反码和补码。
三种表示方法均有
符号位
和
数值位
两部分,符号位都是用
0
表示
“
正
”
,用
1
表示
“
负
”
,而数值位
三种表示方法各不相同。
原码
直接将二进制按照正负数的形式翻译成二进制就可以。
反码
将原码的符号位不变,其他位依次按位取反就可以得到了。
补码
反码
+1
就得到补码。
正数的原、反、补码都相同。
对于整形来说:数据存放内存中其实存放的是补码。
那计算机为什么要这样存储呢?
在计算机系统中,数值一律用补码来表示和存储。原因在于,使用补码,可以将符号位和数值域统一处理; 同 时,加法和减法也可以统一处理(CPU
只有加法器
)此外,补码与原码相互转换,其运算过程是相同的,不需 要额外的硬件电路。
我们看看在内存中的存储
首先我们打开vs2022,写下如下代码。
![](https://i-blog.csdnimg.cn/blog_migrate/14a0487f3e5a46be0616ba7a89e5fbaf.png)
接下来如何操作呢?我们按下F11开启调试模式,然后找到上面的调试,找到窗口,找到内存,选择其中一个内存窗口。
![](https://i-blog.csdnimg.cn/blog_migrate/e7d757e910b2fde9acfefcc1c0cbbcc7.png)
我们在地址那里输入&a按下回车就可以看到变量a在内存里是怎么存储的
![](https://i-blog.csdnimg.cn/blog_migrate/109126570490aaad2ed6cfd152a84a93.png)
依次类推变量b也是如此
![](https://i-blog.csdnimg.cn/blog_migrate/f60b58fc5ac2b316f90c0020d8c774f3.png)
我们可以看到a和b分别存储的都是补码,但是我们马上就发现一个问题,为什么是反着存储的?
我们这时就引入大小端的概念
大小端介绍
什么是大小端
大端(存储)模式,是指数据的低位保存在内存的高地址中,而数据的高位,保存在内存的低地址中;
小端(存储)模式,是指数据的低位保存在内存的低地址中,而数据的高位
,
,保存在内存的高地址中。
为什么会有大小端
为什么会有大小端模式之分呢?这是因为在计算机系统中,我们是以字节为单位的,每个地址单元都对应着一 个字节,一个字节为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
处理器还可以由硬件来选择是大端模式还是小端模式。
接下来我们来举一个例题
百度
2015
年系统工程师笔试题:
请简述大端字节序和小端字节序的概念,设计一个小程序来判断当前机器的字节序。
![](https://i-blog.csdnimg.cn/blog_migrate/2490d47d092c63e0b356acf840d8e5cf.png)
我们写一段代码来理解这个题目。如何来理解这个代码呢?
![](https://i-blog.csdnimg.cn/blog_migrate/fd71e4e81351ff7c1279d82bb3cec4b7.png)
我们使用* (char *) &i 来取出i在内存中的第一个字节里面的内容,如果是小端存储的话,第一个字节里面的内容就是保存的低位,反之则是大端
整型提升的介绍
首先我们来思考一个题目
该段代码的输出是什么呢?
答案是这样的:
![](https://i-blog.csdnimg.cn/blog_migrate/c49b7999dc46363fb9bc53ef535434ff.png)
为什么会是这样的呢?我们都知道int占内存的四个字节char占内存的1个字节
当一个 int型 的数据放到 char 型中就会发生截断
-1的二进制序列为:100000000000000000000000000000001--原码
11111111111111111111111111111111111110--反码
11111111111111111111111111111111111111--补码
存储到char型变量时会截断
11111111
当使用%d也就是整形打印出的时候就会发生整形提升,也就是在前面补符号位,一直补到32个bit位
11111111111111111111111111111111--补码
11111111111111111111111111111110--反码
1000000000000000000000000001--原码
然后将 1000000000000000000000000001 打印出来就是 -1
我们再来解释一下为什么unsigned char c = -1 使用%d打印出来是255
首先还是以上的步骤,-1 存储到char型变量中发生截断得到:11111111
与有符号的变量不同的是无符号的变量在整型提升的时候是在前面补0,一直补到32个bit位
整形提升后为:00000000000000000000000011111111--原码
我们都知道整数的原码、反码、补码都相同,所以写成原码后是:00000000000000000000000011111111 因此将这个二进制位打印成十进制位就是 255。
浮点型在内存中的存储
浮点型和整型在内存中存储有什么区别呢?下面我们来举出一个例子。
我们来思考一下这段代码的输出是怎么样的。
我们很容易就发现和我们预想中的不一样,那么为什么会出现这样的情况
根据国际标准
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
。
![](https://i-blog.csdnimg.cn/blog_migrate/63c6ec1d52099d80dbb7d37350554929.png)
对于
64
位的浮点数,最高的
1
位是符号位
S
,接着的
11
位是指数
E
,剩下的
52
位为有效数字
M
。
![](https://i-blog.csdnimg.cn/blog_migrate/9d1be381547a05ad39c90f443faa7ae5.png)
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
);
好了我们把规则说到这里,我们再来解析一下前面的题目
我们把十进制整形9写成2进制:00000000000000000000000000001001
然后我们把浮点型9.0写成2进制:1001.0 -> 1.001 * 2 ^ 3 -> (-1)^0 * 1.001 * 2 ^ 3
此时 S=0 、M=1.001 、E=3
按照上面的形式存储到内存中的二进制序列为:01000001000100000000000000000000
当我们用整形将数据9放到内存后二进制是:00000000000000000000000000001001
然后我们用浮点型取出时:S=0 、E=-126 、M=0.00000000000000000001001(由于E全为0
而是还原为 0.xxxxxx的小数)
(-1)^ 0 * 0.00000000000000000001001 * 2 ^ -126
由于这个数值太小最后打印显示 0.000000(我们计算机打印浮点型的时候默认打印小数点后六位)
当我们用浮点型将数据9.0放到内存的二进制是:01000001000100000000000000000000
然后我们用整形将其取出,补码->反码->原码,由于正数的原码、反码、补码相等
所以原码也就是:01000001000100000000000000000000
最后我们用整形打印出来就是:1091567616
![](https://i-blog.csdnimg.cn/blog_migrate/dcc98030c10ab1efc3c7f5829853cce0.png)
本章详细介绍了在C语言中我们定义的数据是怎么样在内存中存储的
谢谢大家的观看!