[六]基础数据类型之浮点数简介
Java中,基本数据float 和double的包装类Float和Double都是浮点类型
所以对于浮点数在计算机中的表示方法需要有一个基本了解,否则很难了解清楚Float和Double的实现原理
本文对计算机中的浮点数表示IEEE754标准,进行了简单介绍
浮点数的表示
IEEE754 标准
因为指数有正有负，指数位中我们就要拿出第一位来指示符号,但是处理起来会不方便
所以给指数的真值 加上 指数偏移值 ，就能保证结果总是一个非负数
标准规定 指数偏移值为 2(e−1) -1 e为指数的位数 |
|---|
单精度 指数偏移值为127 对于双精度 指数偏移值为1023 |
指数无符号数表示的范围 单精度8位 0~255 双精度11位 0~2047 |
指数真值也就是实际的值 单精度 -127 ~ 128 双精度 -1022 ~ 1023 |
不过头尾 被保留, 会另做他用 ,下面会继续说明所以实际的值要去掉头尾,也就是 单精度 -126 ~ 127 双精度 -1022 ~ 1023 |
规范化形式
综上,一个实数在计算机中表示形式为:sign s 符号位exponent 指数部分fraction 尾数部分 |
|---|
按照我们上面讲的,指数真值也就是实际的值 单精度 -127 ~ 128 双精度 -1022 ~ 1023 也就是不包括头尾, 也就是指数部分不包括 指数全是0 (0) 或者全是1(255)的情况 这就是规范化形式,对于规范化形式,表示的数值如下 S = 符号位 M=1.f E=指数值-指数偏移值 |
表示的数值为: |
这是浮点数的规范化表示形式S表示符号位尾数部分前隐含一个小数点,小数点前隐含一个1指数的真值E 也就是 指数部分表示的无符号数减掉指数偏移值 |
取值范围
单精度
单精度指数的范围(指数 - 指数偏移值之后的值 ) 为: -126 ~ 127 |
|---|
正数最大值指数为正数的最大值 127尾数 也为最大值 全部都是1 也就是23个1 (-1)0 × 1.11111...(23个1) × 2127 也就是(2−2−23)×2127 |
1.11111...(23个1) = 20 +2-1 +2-2 + ....2-23 公比 q= 1/2 a1 = 20 代入公式 |
正数最小值 指数为负数的最小值 -126 尾数 也为最小值, 全部都是0 也就是23个0 1.0 × 2-126 |
双精度
双精度指数的范围(指数 - 指数偏移值之后的值 ) 为: -1022 ~ 1023 |
|---|
正数最大值 指数为正数的最大值 1023 尾数 也为最大值 全部都是1 也就是52个1 (-1)0 * 1.11111...(52个1) * 21023 也就是 (2−2−52)×21023 (还是等比数列求和) |
正数最小值 指数为负数的最小值 -1022 尾数 也为最小值, 全部都是0 也就是52个0 1.0 × 2-1022 |
非标准化形式
试想,对于单精度 1.001×2−125 和1.01×2−125, 它们的差值是0.001×2−125=1.0×2−128
两个数值之间的差小于能够表示的最小值
也就意味着两个不相等的数进行减法运算,将会瞬间下溢, 得到的结果将会是0
其实这就是精度不够的问题
所以又规定了非标准化形式
那么怎么区分什么时候是标准什么时候是非标准呢? 就是使用保留的指数的取值范围
对于指数部分,如果所有的比特位全都是0 ,那么这就是一个非标准化形式
在非标准化情况下,尾数部分之前有隐含的小数点, 但是小数点之前,隐含的不在是1 而是0 |
|---|
对于指数的真值,不再是指数部分表示的无符号数减掉指数偏移量 一旦指数部分为0 (也就是所有的比特位都是0),这就是一个标记符号了,不再有指数大小的含义 这种情况下 指数的真值为 1 - 指数偏移量 单精度为 1-127= -126 双精度为 1-1023 = -1022 |
单精度 (−1)s × (0.f) × 2-126 双精度 (−1)s × (0.f) × 2-1022 |
取值范围
很显然,对于非标准化形式来说,指数的真值变成了固定值
想要获得正数的最小值,只需要最后一位为1 其他所有的尾数部分全都是0即可
单精度 | 0.0000...1(23位,最后一位为1) × 2-126 = 2-23 × 2-126 = 2-149 |
|---|---|
双精度 | 0.0000...1(52位,最后一位为1) × 2-1022 = 2-52 × 2-1022 = 2-1074 |
特殊值
指数部分表示的无符号数,头尾被保留,用于表示一些特别的含义
对于标准化形式,指数部分 既不是全0 也不是全1
非标准化情况下,指数部分为全0
当指数部分中所有bit的值全是1，f中所有bit的值全是0，表示无穷大 根据符号位来区分正无穷和负无穷 |
|---|
当指数部分中所有bit的值全是1，f中所有bit的值不全是0 表示NaN(Not a Number) |
如果 指数 是0 并且 小数部分 是0, 这个数是0 根据符号位区分+0 和 -0 |
腾讯云开发者
