zoukankan      html  css  js  c++  java
  • 浮点数的表示和运算

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

    https://www.cnblogs.com/FlyingBread/archive/2009/02/15/660206.html

    一个在线转化工具

    http://www.binaryconvert.com/convert_float.html

    1 浮点数的表示

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

    SPM


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

    image

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

    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(双精度)

    image

    image

    规约形式的浮点数

    如果浮点数中指数部分的编码值在 之间,且在科学表示法的表示方式下,小数 (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里面定义的。


    那么这些值是如何求出来的呢?
    例如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 <iostream>
    #include <cstdio>
    #include <string>
    #include <cmath>
    #include <vector>
    #include <algorithm>
    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二进制str
    string 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,高位补0
    string 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);
    	f = mbstrtofloat("01100100110111000000000", 23);
    	printf("n is %d,f is %23.22f
    ", n,f);
    	f = bstrtofloat(str1, 32);
    	printf("%s is %23.22f
    ", str1.c_str(), f);
    
    	str1 = inttobstr(19);
    	printf("19 is %s
    ", str1.c_str());
    
    	str1 = floattobstr(0.0456);
    	printf("0.0456 is %s
    ", str1.c_str());
    	//简单方法在在c++中显示浮点数的ieee754表示, num的值即为9.0的ieee754 表示
    	int num = 9; /* num是整型变量,设为9 */
    	float* pFloat = (float*)&num; /* pFloat表示num的内存地址,但是设为浮点数 */
    	printf("num的值为:%d
    ", num); /* 显示num的整型值 */
    	printf("*pFloat的值为:%f
    ", *pFloat); /* 显示num的浮点值 */
    	*pFloat = 9.0; /* 将num的值改为浮点数 */
    	printf("num的值为:%d
    ", num); /* 显示num的整型值 */
    	printf("*pFloat的值为:%f
    ", *pFloat); /* 显示num的浮点值 */
    
    	return 0;
    
    }
    
    View Code


    5 浮点数的数学运算
    5.1 浮点数的加减法

    设两个浮点数 X=Mx*2Ex ,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*211,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*210
    5.2 浮点数的乘除法
    (1)阶码运算:阶码求和(乘法)或阶码求差(除法)
        即  [Ex+Ey]移= [Ex]移+ [Ey]补
              [Ex-Ey]移= [Ex]移+  [-Ey]补
    (2)浮点数的尾数处理:浮点数中尾数乘除法运算结果要进行舍入处理
    例题:X=0 .0110011*211,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*20




  • 相关阅读:
    <记录> axios 模拟表单提交数据
    PHP 设计模式(一)
    CSS3中translate、transform和translation的区别和联系
    微信小程序 支付功能 服务器端(TP5.1)实现
    微信小程序 用户登录 服务器端(TP5.1)实现
    <记录> curl 封装函数
    <记录>TP5 关联模型使用(嵌套关联、动态排序以及隐藏字段)
    PHP/TP5 接口设计中异常处理
    TP5 自定义验证器
    高并发和大流量解决方案--数据库缓存
  • 原文地址:https://www.cnblogs.com/mikewolf2002/p/10095995.html
Copyright © 2011-2022 走看看