整形和浮点型数据的存储(2)

简介: 整形和浮点型数据的存储(2)

1.浮点型数据在内存中的存储

常看的浮点数:3.14159、1E10等,浮点数家族包括: float double long double 类型。

浮点数表示的范围: float.h 中定义

我们先看一段代码:

int main()
{
  int n = 9;
  float* pFloat = (float*)&n;
  printf("n的值为:%d\n", n);
  printf("*pFloat的值为:%f\n", *pFloat);
 
  *pFloat = 9.0;
  printf("num的值为:%d\n", n);
  printf("*pFloat的值为:%f\n", *pFloat);
  return 0;
}


运行结果:

fafb0d0519eb43a08244d69d25ccdb99.png

*pFloat和n明明存的是同一个数,为什么会输出不同的结果呢?下面我们来看看为什么。

要理解这个结果,⼀定要搞懂浮点数在计算机内部的表示方法。

根据国际标准IEEE(电气和电子工程协会) 754,任意⼀个⼆进制浮点数V可以表⽰成下⾯的形式:

V   =  (−1) ∗ S M ∗ 2 E

• (−1) S 表示 符号位,当S=0,V为正数;当S=1,V为负数

• M 表示有效数字,M是大于等于1,小于2的

• 2 E 表示 指数位

比如:

十进制的5.0,写成二进制是101.0,相当于上面公式中的 1.01* 2^2 。

那么它的

S==0

M==1.01

E==2

十进制的-5.0,写成二进制是 -101.0 ,相当于 -1.01×2^2 。那么,

S=1

M=1.01

E=2

IEEE754规定

32位机器中的浮点数最高位存储符号位S,后面8比特存储指数E,其余的23比特存储M。

64位的浮点数,最高的1位存储符号位S,接着的11位存储指数E,剩下的52位存储有效数字M。

a94f3c15eca74cd0a49b4a99ae51609a.png


2.浮点数存的过程

前面说过, 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。


3.浮点数取的过程

指数E从内存中取出还可以再分成三种情况:

E不全为0或不全为1

这时,浮点数就采用下面的规则表示,即指数E的计算值减去127(或1023),得到真实值,再将有效数字M前加上第⼀位的1。

比如:0.5 的二进制形式为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的很小的数字

0 00000000 00100000000000000000000

E全为1

这时,如果有效数字M全为0,表示±无穷大(正负取决于符号位s)

0 11111111 00010000000000000000000


4.代码解析

让我们回到开始时的代码

先看第1环节,为什么 9 还原成浮点数,就成了 0.000000 ?

9以整型的形式存储在内存中,得到如下⼆进制序列:

0000 0000 0000 0000 0000 0000 0000 1001

首先,将 9 的二进制序列按照浮点数的形式拆分,得到第⼀位符号位s=0,后面8位的指数

E=00000000 , 最后23位的有效数字M=000 0000 0000 0000 0000 1001。

由于指数E全为0,所以符合E为全0的情况。因此,浮点数V就写成:

V=(-1)^0 × 0.00000000000000000001001×2^(-126)=1.001×2^(-146)

显然,V是⼀个很小的接近于0的正数,所以用十进制小数表示就是0.000000。

再看第2环节,浮点数9.0,为什么整数打印是 1091567616

首先,浮点数9.0 等于⼆进制的1001.0,即换算成科学计数法是:1.001×2^3

所以:

9.0  =  (−1) ^0*(1.001)  ∗  2^3

那么,第⼀位的符号位S=0,有效数字M等于001后面再加20个0,凑满23位,指数E等于3+127=130,

即10000010

所以,写成⼆进制形式,应该是S+E+M,即

0 10000010 001 0000 0000 0000 0000 0000

这个32位的⼆进制数,被当做整数来解析的时候,就是整数在内存中的补码,原码正是

1091567616 。

目录
相关文章
|
存储 Java 应用服务中间件
MinIO对象存储详细安装教程
MinIO对象存储详细安装教程
1542 2
|
6月前
|
SQL 算法 API
微信基于 StarRocks 的实时因果推断实践
本文介绍了因果推断在业务中的应用,详细阐述了基于 StarRocks 构建因果推断分析工具的技术方案,通过高效算子的支持,大幅提升了计算效率。例如,t 检验在 6亿行数据上的执行时间仅需 1 秒。StarRocks 还实现了实时数据整合,支持多种数据源(如 Iceberg 和 Hive)的无缝访问,进一步增强了平台的灵活性与应用价值。
|
2月前
|
消息中间件 缓存 负载均衡
构建高效可扩展的后端架构:从设计到实现
本文探讨了如何构建高效、可扩展的后端架构,涵盖需求分析、系统设计、实现与优化全过程。内容包括微服务、数据库设计、缓存与消息队列等关键技术,并涉及API设计、自动化测试、CI/CD及性能优化策略,助力打造高性能、易维护的后端系统。
|
机器学习/深度学习 人工智能 安全
探索操作系统的未来:智能化与安全性的双轮驱动
在数字化时代的浪潮中,操作系统作为计算机系统的核心,其发展趋势备受关注。本文深入探讨了未来操作系统发展的两大主轴——智能化与安全性,分析了这两者如何相互影响并共同塑造操作系统的进化路径。文章首先概述了智能化操作系统的概念及其对用户体验的潜在改变,接着详细讨论了安全性在未来操作系统设计中的重要性,并提出了相应的策略和措施。最后,通过案例分析,展示了智能化和安全性如何在实际操作系统中得以实现和优化,为读者提供了对操作系统未来发展的深刻洞察。
148 29
|
存储 SQL 关系型数据库
MySQL事务日志奥秘:undo log大揭秘,一文让你彻底解锁!
【8月更文挑战第24天】本文深入探讨了MySQL中undo log的关键作用及其在确保事务原子性和一致性方面的机制。MySQL通过记录事务前的数据状态,在需要时能回滚至初始状态。主要介绍InnoDB存储引擎下的undo log实现,包括undo segment和record的结构,而MyISAM则采用redo log保障持久性而非一致性。通过一个简单的SQL回滚示例,展示了undo log如何在实际操作中发挥作用,帮助读者更好地理解并运用MySQL事务管理功能。
719 0
|
存储 大数据 关系型数据库
【数据库三大范式】让我们来聊一聊数据库的三大范式和反范式设计
数据库三大范式是指数据库设计中的规范化原则,它们分别是第一范式(1NF)第二范式(2NF)和第三范式(3NF)。第一范式(1NF)第二范式(2NF)第三范式(3NF)
|
数据采集 前端开发 开发者
解决PuppeteerSharp生成PDF颜色问题的最佳实践
使用PuppeteerSharp生成PDF时颜色丢失是个常见问题。本文介绍如何通过正确配置PdfOptions与CSS规则(如设置`PrintBackground`为`true`及使用`@media print`确保颜色准确显示),结合爬虫代理IP、User-Agent和Cookie设置等技巧来解决此问题,并提供了完整的代码示例。这些方法不仅有助于保持PDF的颜色准确性,还能增强爬虫的稳定性和效率。
181 1
解决PuppeteerSharp生成PDF颜色问题的最佳实践
|
负载均衡 算法 Go
Golang深入浅出之-Go语言中的服务注册与发现机制
【5月更文挑战第4天】本文探讨了Go语言中服务注册与发现的关键原理和实践,包括服务注册、心跳机制、一致性问题和负载均衡策略。示例代码演示了使用Consul进行服务注册和客户端发现服务的实现。在实际应用中,需要解决心跳失效、注册信息一致性和服务负载均衡等问题,以确保微服务架构的稳定性和效率。
383 3
|
SQL 关系型数据库 MySQL
【MySQL核心】MySQL无法启动?批量恢复MySQL 物理文件-拯救即将跑路的你
【MySQL核心】MySQL无法启动?批量恢复MySQL 物理文件-拯救即将跑路的你
|
Ubuntu Python
ubuntu升级Python版本
现在,你已成功升级了Python版本并可以使用新版本进行开发和运行程序。
888 1