Java与IEEE754浅浅谈

2024-06-15 08:18
文章标签 java 浅浅 ieee754

本文主要是介绍Java与IEEE754浅浅谈,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

  • 怎么用二进制来表示小数呢?
假设我们要用二进制来表示小数5.5,怎么搞?
按照常规思路,首先用二进制表示一下5,是101,那5.5岂不就是101.101(呵呵哒...)。
我们来看下分解过程,5=4+1,也就是1*2 2 + 0*2 1 + 1*2 0,即101。按照这个思路,0.101这个二进制表示的是1*2 -1 + 0*2 -2 + 1*2 -3,也就是0.625。
所以,5.5表示成二进制就可以是101.1(并不是101.101)。
再明确下这个规则:
              1···11.11···1  (中间的点表示小数点)
              1*2k + ··· + 1*21 + 1*20 + . + 1*2-1 + 1*2-2 + 1*2-k
这种表示法也叫作定点表示法。
然而,我们也会发现定点表示法的一些问题:
首先,我们用定点表示法表示下0.1这个十进制小数试试看,
0.1 = 0*2 -1 + 0*2 -2 + 0*2 -3 + 1*2 -4 (0.0625) + 1*2 -5 (0.03125) + 0*2 -6 + 0*2 -7 + 1*2 -8 (0.00390625) + 0*2 -9(0.001953125) + ... fuck!!!!
有编码长度限制的话,这种表示方式无法精确的表示0.1,只能随着编码长度的增加而越来越近似。
其次,这种表示方法没办法有效的表示很大的数,比如5 * 2 100这个数(二进制表示的话,后面100个0怎么表示,就算双精度的话也才64个bit)。
  • IEEE浮点表示法。
上面我们看了定点表示法,也大概了解了定点表示法存在的问题: 1.不精确。2.无法有效表示大数。
这一节来看一下 IEEE浮点表示法,这种表示法也是系统中普遍采用的表示小数的方式。
先看一下浮点表示标准形式: V = (-1)s×M×2 E     (可以当成一个公式来记!)
那具体怎么表示呢?假设是32位的话(比如Java的float、单精度),格式如下:
s          e                                f
1 - 11111111 - 11111111111111111111111 
s:1bit     e:8bit      f:23bit     
64位的话(比如Java的double、双精度),格式如下:  
s            e                                                                f
1 - 11111111111 - 1111111111111111111111111111111111111111111111111111        
s:1bit     e:11bit      f:52bit     
知道了格式和公式,两者怎么对应起来呢?
根据格式中e值的不同,编码会分为三种情况:
   1.规格化的值:
当e中所有bit的值既不全是0,又不全是1,这种情况就属于规格化的值。
规格化的值下
M=1+f,f是f所包含的bit组成的二进制小数。
E=e-Bias,e是e包含的bit组成的无符号数;Bias=2 k-1-1,k是e的bit个数,比如32位下,k=8,64位下,k=11。
   2.非规格化的值:
当e中所有bit的值全是0,这种情况就属于非规格化的值。
非规格化的值下
M=f,f是f所包含的bit组成的二进制小数。
E=1-Bias,Bias=2 k-1-1,k是e的bit个数,比如32位下,k=8,64位下,k=11。
3.特殊值:
当e中所有bit的值全是1,f中所有bit的值全是0,表示无穷大。
当e中所有bit的值全是1,f中所有bit的值不全是0,表示NaN(Not a Number)。
 可见,IEEE浮点表示方式,虽然解决了表示大数的问题(通过公式能看出可以表示M×2E这种形式的数),但还是没有解决精确问题
  • Java中怎么表示浮点数。
Java中提供了long和double来表示单精度浮点和双精度浮点的基本类型,就是按照IEEE754规范来的。也提供了对应的包装类。
我们按照上面的 IEEE规则来看一下,就看看5.5这个数。
首先我们用单精度来表示5.5这个数:
    float f = 5.5f;
       然后我们需要得到这个数二进制的格式,也就是上面 IEEE格式,Float包装类中提供了floatToIntBits进行支持。 
    int intBits = Float.floatToIntBits(f);
       最后我们需要将这个intBits以二进制的形式打印出来看看。 
    System.out.println(Integer.toBinaryString(intBits));
       输出如下: 
    1000000101100000000000000000000
注意这里的打印结果会将bit位中前面的0省略(把符号位给省略了),我们补上0,然后调整成 IEEE格式。
0 10000001 01100000000000000000000
注意到,这符合上面提到的规格化的值,套用一下规则:
s = 0
M=1+f,M=1.375
E=e-Bias,e=129,Bias=2 8 -1-1=127,所以E=2
V = (-1) s×M×2 E  =  (-1) 0×1.375×2 = 1×1.375×4  = 5.5
结果就是5.5 对上了!!!
       最后来看个特殊值的例子: 
	public static void main(String[] args) {int intBits1 = 0x7f800000;// 0 11111111 00000000000000000000000float f1 = Float.intBitsToFloat(intBits1);int intBits2 = 0xff800000;// 1 11111111 00000000000000000000000float f2 = Float.intBitsToFloat(intBits2);System.out.println("f1="+f1+",f2="+f2);int intBits3 = 0xff800001;// 1 11111111 00000000000000000000001float nan = Float.intBitsToFloat(intBits3);System.out.println("nan="+nan);}
       输出如下: 
    f1=Infinity,f2=-Infinitynan=NaN
OK!可以自己多写几种例子来加深下印象。
如果之前不了解这部分的话,可以对Java中float和double的内存布局有一点点的直观认识了。
        参考资料:《深入理解计算机系统》 

这篇关于Java与IEEE754浅浅谈的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1062907

相关文章

SpringBoot简单整合ElasticSearch实践

《SpringBoot简单整合ElasticSearch实践》Elasticsearch支持结构化和非结构化数据检索,通过索引创建和倒排索引文档,提高搜索效率,它基于Lucene封装,分为索引库、类型... 目录一:ElasticSearch支持对结构化和非结构化的数据进行检索二:ES的核心概念Index:

Java方法重载与重写之同名方法的双面魔法(最新整理)

《Java方法重载与重写之同名方法的双面魔法(最新整理)》文章介绍了Java中的方法重载Overloading和方法重写Overriding的区别联系,方法重载是指在同一个类中,允许存在多个方法名相同... 目录Java方法重载与重写:同名方法的双面魔法方法重载(Overloading):同门师兄弟的不同绝

Spring配置扩展之JavaConfig的使用小结

《Spring配置扩展之JavaConfig的使用小结》JavaConfig是Spring框架中基于纯Java代码的配置方式,用于替代传统的XML配置,通过注解(如@Bean)定义Spring容器的组... 目录JavaConfig 的概念什么是JavaConfig?为什么使用 JavaConfig?Jav

Java数组动态扩容的实现示例

《Java数组动态扩容的实现示例》本文主要介绍了Java数组动态扩容的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1 问题2 方法3 结语1 问题实现动态的给数组添加元素效果,实现对数组扩容,原始数组使用静态分配

Java中ArrayList与顺序表示例详解

《Java中ArrayList与顺序表示例详解》顺序表是在计算机内存中以数组的形式保存的线性表,是指用一组地址连续的存储单元依次存储数据元素的线性结构,:本文主要介绍Java中ArrayList与... 目录前言一、Java集合框架核心接口与分类ArrayList二、顺序表数据结构中的顺序表三、常用代码手动

JAVA项目swing转javafx语法规则以及示例代码

《JAVA项目swing转javafx语法规则以及示例代码》:本文主要介绍JAVA项目swing转javafx语法规则以及示例代码的相关资料,文中详细讲解了主类继承、窗口创建、布局管理、控件替换、... 目录最常用的“一行换一行”速查表(直接全局替换)实际转换示例(JFramejs → JavaFX)迁移建

Spring Boot Interceptor的原理、配置、顺序控制及与Filter的关键区别对比分析

《SpringBootInterceptor的原理、配置、顺序控制及与Filter的关键区别对比分析》本文主要介绍了SpringBoot中的拦截器(Interceptor)及其与过滤器(Filt... 目录前言一、核心功能二、拦截器的实现2.1 定义自定义拦截器2.2 注册拦截器三、多拦截器的执行顺序四、过

JAVA线程的周期及调度机制详解

《JAVA线程的周期及调度机制详解》Java线程的生命周期包括NEW、RUNNABLE、BLOCKED、WAITING、TIMED_WAITING和TERMINATED,线程调度依赖操作系统,采用抢占... 目录Java线程的生命周期线程状态转换示例代码JAVA线程调度机制优先级设置示例注意事项JAVA线程

JavaWeb项目创建、部署、连接数据库保姆级教程(tomcat)

《JavaWeb项目创建、部署、连接数据库保姆级教程(tomcat)》:本文主要介绍如何在IntelliJIDEA2020.1中创建和部署一个JavaWeb项目,包括创建项目、配置Tomcat服务... 目录简介:一、创建项目二、tomcat部署1、将tomcat解压在一个自己找得到路径2、在idea中添加

Java使用Spire.Doc for Java实现Word自动化插入图片

《Java使用Spire.DocforJava实现Word自动化插入图片》在日常工作中,Word文档是不可或缺的工具,而图片作为信息传达的重要载体,其在文档中的插入与布局显得尤为关键,下面我们就来... 目录1. Spire.Doc for Java库介绍与安装2. 使用特定的环绕方式插入图片3. 在指定位