博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
浮点数的表示和运算
阅读量:6659 次
发布时间:2019-06-25

本文共 8863 字,大约阅读时间需要 29 分钟。

参考了以下链接, 并修正了其中的一些错误。

一个在线转化工具

1 浮点数的表示

IEEE754用下面的格式来表示浮点数

S P M

其中S是符号位,P是阶码,M是尾数

单精度浮点数是32位(即4字节)的,双精度浮点数是64位(即8字节)的。两者的S,P,M所占的位数以及表示方法见下图:

以单精度浮点数为例,可以得到其二进制的表示格式如下

S(第31位) P(30位到23位) M(22位到0位)

其中S是符号位,只有0和1,分别表示正负;P是阶码,通常使用移码表示(移码和补码只有符号位相反,其余都一样。对于正数而言,原码,反码和补码都一样;对于负数而言,补码就是其绝对值的原码全部取反,然后加1)

为了简单起见,本文都只讨论单精度浮点数,双精度浮点数也是用一样的方式存储和表示的。
2 浮点数的表示约定
单精度浮点数和双精度浮点数都是用IEEE754标准定义的,其中有一些特殊约定。
(1) 当P = 0, M = 0时,表示0。
(2) 当P = 255, M = 0时,表示无穷大,用符号位来确定是正无穷大还是负无穷大。
(3) 当P = 255, M != 0时,表示NaN(Not a Number,不是一个数)。

e为8(单精度)或者13(双精度)

规约形式的浮点数

如果浮点数中指数部分的编码值在 之间,且在科学表示法的表示方式下,小数 (fraction) 部分最高有效位(即整数字)是1,那么这个浮点数将被称为规约形式的浮点数。“规约”是指用唯一确定的浮点形式去表示一个值。由于这种表示下的尾数有一位隐含的二进制有效数字,为了与二进制的尾数(mantissa)相区别,IEEE754称之为有效数(significant)。

举例来说,双精度 (64-bit) 的规约形式浮点数在指数偏移值的值域为

 (11-bit) 到 ,在小数部分则是 (52-bit)。

非规约形式的浮点数

如果浮点数的指数部分的编码值是0,小数部分非零,那么这个浮点数将被称为非规约形式的浮点数。一般是某个数字相当接近零时才会使用非规约型式来表示。 IEEE 754标准规定:非规约形式的浮点数的指数偏移值比规约形式的浮点数的指数偏移值小1。例如,最小的规约形式的单精度浮点数的指数部分编码值为1,指数的实际值为-126;而非规约的单精度浮点数的指数域编码值为0,对应的指数实际值也是-126而不是-127。实际上非规约形式的浮点数仍然是有效可以使用的,只是它们的绝对值已经小于所有的规约浮点数的绝对值;即所有的非规约浮点数比规约浮点数更接近0。规约浮点数的尾数大于等于1且小于2,而非规约浮点数的尾数小于1且大于0。

C++中,单精度和双精度浮点数的一些特殊常量值如下。通常是在float.h里面定义的。

20140225170017421

那么这些值是如何求出来的呢?

例如FLT_MAX, 根据上面的约定,我们可以知道阶码P的最大值是11111110(这个值是254,因为255用于特殊的约定,那么对于可以精确表示的数来说,254就是最大的阶码了)。尾数的最大值是11111111111111111111111。
那么这个最大值就是:0 11111110 11111111111111111111111。
也就是 2(254-127) * (1.11111111111111111111111)2 = 2127 * (1+1-2-23) = 3.40282346638529E+38

3 浮点数的精度问题

浮点数以有限的32bit长度来反映无限的实数集合,因此大多数情况下都是一个近似值。同时,对于浮点数的运算还同时伴有误差扩散现象。特定精度下看似相等的两个浮点数可能并不相等,因为它们的最小有效位数不同。
由于浮点数可能无法精确近似于十进制数,如果使用十进制数,则使用浮点数的数学或比较运算可能不会产生相同的结果。
如果涉及浮点数,值可能不往返。值的往返是指,某个运算将原始浮点数转换为另一种格式,而反向运算又将转换后的格式转换回浮点数,且最终浮点数与原始浮点数相等。由于一个或多个最低有效位可能在转换中丢失或更改,往返可能会失败。

单精和双精浮点数的有效数字分别是有存储的23和52个位,加上最左手边没有存储的第1个位,即是24和53个位。

由以上的计算,单精和双精浮点数可以保证7位和15位十进制有效数字。

4 将浮点数表示为二进制
4.1 无小数的浮点数转换成二进制表示
首先,我们用一个不带小数的浮点数来说明如何将一个浮点数转换成二进制表示。假设要转换的数据是45678.0f。
在处理这种不带小数的浮点数时,直接将整数部分转化为二进制表示:
1011_0010_0110_1110.0
然后将小数点向左移,一直移到离最高位只有1位,也就是 1.0110010011011100,一共移动了15位,我们知道,左移位表示乘法,右移位表示除法。所以原数就等于这样:1.011001001101110 * ( 215 )。为了满足规格化的要求,高位的1可以省略。尾数的二进制就变成了:011001001101110。
最后在尾数的后面补0,一直到补够23位,就是:011_0010_0110_1110_0000_0000。
再回来看指数,根据前面的定义,P-127=15,那么P = 142,表示成二进制就是:10001110。
45678.0f这个数是正的,所以符号位是0,那么我们按照前面讲的格式把它拼起来,就是:0 10001110 01100100110111000000000。
这就是45678.0f这个数的二进制表示,如果我们要得到16进制的表示,非常简单,我们只需要把这个二进制串4个一组,转换成16进制数就可以了。但是要注意的是x86架构的CPU都是Little Endian的(也就是低位字节在前,高位字节在后),所以在实际内存中该数字是按上面二进制串的倒序存储的。要知道CPU是不是little endian的也很容易。

BitConverter.IsLittleEndian;

4.2 含小数的浮点数表示为二进制

对于含小数的浮点数,会有精度的问题,下面举例说明。假设要转换的小数为123.456。
对于这种带小数的就需要把整数部和小数部分开处理。对于整数部分的处理不再赘述,直接化成二进制为:01111011。小数部份的处理比较麻烦一些,我们知道,使用二进制表示只有0和1,那么对于小数就只能用下面的方式来表示:
a1*2-1+a2*2-2+a3*2-3+......+an*2-n
其中a1等数可以是0或者1,从理论上将,使用这种表示方法可以表示一个有限的小数。但是尾数只能有23位,那么就必然会带来精度的问题。
在很多情况下,我们只能近似地表示小数。来看0.456这个十进制纯小数,该如何表示成二进制呢?一般说来,我们可以通过乘以2的方法来表示。
首先,把这个数字乘以2,小于1,所以第一位为0,然后再乘以2,大于1,所以第二位为1,将这个数字减去1,再乘以2,这样循环下去,直到这个数字等于0为止。
在很多情况下,我们得到的二进制数字都大于23位,多于23位的就要舍去。舍入原则是0舍1入。通过这样的办法,我们可以得到二进制表示:1111011.01110100101111001。
现在开始向左移小数点,一共移了6位,这时候尾数为:1.11101101110100101111001,阶码为6加上127得133,二进制表示为:10000101,那么总的二进制表示为:
0  10000101  11101101110100101111001
表示成十六进制是:42  F6  E9  79
由于CPU是Little Endian的,所以在内存中表示为:79  E9  F6  42。
4.3 将纯小数表示成二进制
对于纯小数转化为二进制来说,必须先进行规格化。例如0.0456,我们需要把它规格化,变为1.xxxx * (2n )的形式,要求得纯小数X对应的n可用下面的公式:
n = int( 1 + log 2X )
0.0456我们可以表示为1.4592乘以以2为底的-5次方的幂,即1.4592 * ( 2-5 )。转化为这样形式后,再按照上面处理小数的方法处理,得到二进制表示
1. 01110101100011100010001
去掉第一个1,得到尾数
01110101100011100010001
阶码为:-5 + 127 = 122,二进制表示为
0  01111010  01110101100011100010001

最后转换成十六进制

11 C7 3A 3D

下面是用c++写的把string 串表示的ieee754格式单精度数转化为float类型数,以及把float类型单精度浮点数转化成ieee754表示的二进制串的函数。

// floatarith1.cpp : 此文件包含 "main" 函数。程序执行将在此处开始并结束。//https://www.cnblogs.com/mikewolf2002/#include "pch.h"#include 
#include
#include
#include
#include
#include
using namespace std;bool floatiszero(float d){ if (d >= -FLT_EPSILON && d <= FLT_EPSILON) return true; else return false;}bool doubleiszero(double d){ if (d >= -DBL_EPSILON && d <= DBL_EPSILON) return true; else return false;}//二进制串转化成整数,转化阶码int pbstrtoint(string str, int n){ int i; int sum = 0; int bitnum = 1; for (i = 0; i < n; i++) { if (str[n - 1 - i] == '0') sum += 0 * bitnum; else if (str[n - 1 - i] == '1') sum += 1 * bitnum; bitnum = bitnum << 1; } return sum-127;}//二进制尾数转化成实数float mbstrtofloat(string str, int n){ int i; double sum = 1.0; int bitnum = 2; float fbitnum; for (i = 0; i < n; i++) { fbitnum = 1.0 / bitnum; if (str[i] == '0') sum += 0 * fbitnum; else if (str[i] == '1') sum += 1 * fbitnum; bitnum = bitnum << 1; } return sum;}//ieee754表示的二进制串转化成浮点数float bstrtofloat(string str, int n){ double sum=0; float sign = 1.0; float m; int p; if (n == 32) { //单精度浮点数 if (str[0] == '0') sign = 1.0; else if (str[0] == '1') sign = -1.0; p = pbstrtoint(str.substr(1, 8), 8); m = mbstrtofloat(str.substr(9,23), 23); sum = sign * pow(2.0, p*1.0) *m; } else if (n == 64) { //双精度浮点数 } return sum;}//整数to二进制strstring inttobstr(int n){ string str = ""; int m = 0; while (n > 0) { m = n % 2; if (m == 1) str.append("1"); else str.append("0"); n = n >> 1; } reverse(str.begin(), str.end()); return str;}// 整数to二进制str,only 8 bits binary,高位补0string inttobstr8(int n){ string str = ""; int m = 0; int t = 0; if (n > 255) return ""; while (n > 0) { m = n % 2; if (m == 1) str.append("1"); else str.append("0"); n = n >> 1; t++; } if (t < 8) str.append(8 - t, '0'); reverse(str.begin(), str.end()); return str;}//尾数to二进制字符串string mfloattostr(float f){ string str=""; int m = 0; do { f = f * 2.0; if (f >= 1.0) { str.append("1"); f = f - 1.0; } else str.append("0"); m++; } while ((!floatiszero(f)) | (m<23)); return str;}//a为整数部分,b为小数部分string floattobstr(float f){ string str = "00000000000000000000000000000000"; string str1 = ""; string str2 = ""; string str3 = ""; string str4 = ""; int i;// int j; if (f < 0) str[0] = '1'; else str[0] = '0'; f = abs(f); //取绝对值 int a; float b; int pcode = 0;//移码 a = floor(f);//向下取整,整数部分 b = f - a; //小数部分 str1 = inttobstr(a); str2 = mfloattostr(b); if (str1.length() > 0) { //整数部分小数部分都有 pcode = 127 + str1.length() - 1;//such as 110111.110, 此时pcode=127+5,小数点位左移 str3 = str1 + str2; } else { //只有小数部分,阶码为0或负值,找str2最左边的第一个1. for (i = 0; i < str2.length(); i++) { if (str2[i] == '1') break; } i = i + 1; //skip first 1 pcode = 127 - i; str3 = str2.substr(i, str2.length() - i); } str4 = inttobstr8(pcode); for (i = 0; i < 8; i++) str[i + 1] = str4[i]; for (i = 0; i < (str3.length()) && i < 23; i++) str[9 + i] = str3[i];// for (j = i; j < 23; j++)// str[9 + j] = '0'; //fill 0 in the end return str;}int main(){ string str1; //str1 = "01000010111101101110100101111001"; str1 = "00111101001110101100011100010001"; //‭01000001000100000000000000000000‬ //01000111001100100110111000000000 //0 10000101 1110110111010010111100 //0 01111010 11101011000111000100010 int n; float f; n = pbstrtoint("10001110", 8); printf("n is %d\n", n); f = mbstrtofloat("01100100110111000000000", 23); printf("n is %d,f is %23.22f\n", n,f); f = bstrtofloat(str1, 32); printf("%s is %23.22f\n", str1.c_str(), f); str1 = inttobstr(19); printf("19 is %s\n", str1.c_str()); str1 = floattobstr(0.0456); printf("0.0456 is %s\n", str1.c_str()); //简单方法在在c++中显示浮点数的ieee754表示, num的值即为9.0的ieee754 表示 int num = 9; /* num是整型变量,设为9 */ float* pFloat = (float*)# /* pFloat表示num的内存地址,但是设为浮点数 */ printf("num的值为:%d\n", num); /* 显示num的整型值 */ printf("*pFloat的值为:%f\n", *pFloat); /* 显示num的浮点值 */ *pFloat = 9.0; /* 将num的值改为浮点数 */ printf("num的值为:%d\n", num); /* 显示num的整型值 */ printf("*pFloat的值为:%f\n", *pFloat); /* 显示num的浮点值 */ return 0;}
View Code

5 浮点数的数学运算
5.1 浮点数的加减法
设两个浮点数 X=Mx*2
Ex ,Y=My*2
Ey
实现X±Y要用如下5步完成:
(1)对阶操作:小阶向大阶看齐
(2)进行尾数加减运算
(3)规格化处理:尾数进行运算的结果必须变成规格化的浮点数,对于双符号位(就是使用00表示正数,11表示负数,01表示上溢出,10表示下溢出)的补码尾数来说,就必须是
001×××…×× 或110×××…××的形式
若不符合上述形式要进行左规或右规处理。
(4)舍入操作:在执行对阶或右规操作时常用“0”舍“1”入法将右移出去的尾数数值进行舍入,以确保精度。
(5)判结果的正确性:即检查阶码是否溢出
若阶码下溢(移码表示是00…0),要置结果为机器0;
若阶码上溢(超过了阶码表示的最大值)置溢出标志。
现在用一个具体的例子来说明上面的5个步骤
例题:假定X=0 .0110011*2
11,Y=0.1101101*2
-10(此处的数均为二进制), 计算X+Y;
首先,我们要把这两个数变成2进制表示,对于浮点数来说,阶码通常用移码表示,而尾数通常用补码表示。
要注意的是-10的移码是00110
        [X]
: 0        1 010  1100110
        [Y]
: 0        0 110  1101101
                   符号位 阶码   尾数
(1)求阶差:│ΔE│=|1010-0110|=0100
(2)对阶:Y的阶码小,Y的尾数右移4位
        [Y]
变为 0 1 010 0000110 1101暂时保存
(3)尾数相加,采用双符号位的补码运算
     00 1100110
   +00 0000110
     00 1101100
(4)规格化:满足规格化要求
(5)舍入处理,采用0舍1入法处理
故最终运算结果的浮点数格式为: 0 1 010 1101101
即X+Y=+0. 1101101*2
10
5.2 浮点数的乘除法
(1)阶码运算:阶码求和(乘法)或阶码求差(除法)
    即  [Ex+Ey]移= [Ex]移+ [Ey]补
          [Ex-Ey]移= [Ex]移+  [-Ey]补
(2)浮点数的尾数处理:浮点数中尾数乘除法运算结果要进行舍入处理
例题:X=0 .0110011*2
11,Y=0.1101101*2
-10  求X*Y
解:[X]
: 0 1 010 1100110
        [Y]
: 0 0 110 1101101
(1)阶码相加
[Ex+Ey]移=[Ex]移+[Ey]补=1 010+1 110=1 000
1 000为移码表示的0
(2)原码尾数相乘的结果为:
0 10101101101110
(3)规格化处理:已满足规格化要求,不需左规,尾数不变,阶码不变。
(4)舍入处理:按舍入规则,加1进行修正
所以 X※Y= 0.1010111*2
0

转载于:https://www.cnblogs.com/mikewolf2002/p/10095995.html

你可能感兴趣的文章
linux 部署 webservice
查看>>
c# 第19节 Arraylist数组
查看>>
【转】vmwaer虚拟机部署-ubuntu piix4_smbus: Host SMBus controller not enabled!
查看>>
hdu 1518 Square (dfs)
查看>>
HDU 2883 kebab【最大流】
查看>>
2 GPS utility methods
查看>>
Scrum立会报告+燃尽图(十一月十九日总第二十七次):功能开发与修复上一阶段bug...
查看>>
Scrum立会报告+燃尽图(十二月十一日总第四十二次):贡献分配和收集用户报告...
查看>>
Jmail在ASP.NET中的应用
查看>>
xpath使用
查看>>
K均值算法-python实现
查看>>
ie6 height与各个浏览器兼容的问题
查看>>
几个不错的JQuery UI框架
查看>>
在Golang中获取系统的磁盘空间内存占用
查看>>
asp.net 面向对象方式的传值
查看>>
git版本工具(团队开发常用)
查看>>
常见的几种最优化方法
查看>>
js事件循环机制辨析
查看>>
Windows的四类消息
查看>>
作为程序猿,怎么证明你的代码打得稳?这个回答绝了
查看>>