c语言以及高级语言中的float到底是什么以及IEEE754

对内存里float4字节的好奇

初学计算机都要学那个什么二进制十进制什么补码 反码那些玩意儿哈,由于最近要做一个单片机往另外一个单片机发数据的需求,直接c语言指针 然后float4字节传过去不就得了吗,麻烦就麻烦在这里 另一端编程机是个啥鸟lua 麻烦的一逼,integer这种我们就不说了哈因为实在是太直白了没啥技术含量,我们今天来啃float这个硬骨头。你知不知道什么叫ieee754 。float到底可表示的范围是多少到多少。以前听过一个老手讲的课 ,说实话这玩意儿编程多年的老手 说的都模棱两可。当我啃着感觉稍微有点硬了 又不断的查资料 探索。我知道我又得写一篇博文以做记录了。还好不算很硬。没经过多少捣鼓就出来了。c#这玩意儿 用着还真是顺滑,当然纯c嵌入式我也干了一年多了 对这种“低级语言”以及计算机底层又有了稍微深刻一点的认识了。这么多年了c#用顺手了 习惯用它做基础算法和逻辑验证 ,然后移植为其它语言的。

c语言以及高级语言中的float到底是什么以及IEEE754

 关于ieee754的资料网上大把的 你就随便搜一篇吧 比如这:

https://blog.csdn.net/MaTF_/article/details/124842807

在线测试工具:

https://www.h-schmidt.net/FloatConverter/IEEE754.html

我们也是看了后 照着原理用代码实现的。

有没有想过c语言以及其他高级语言里编程基础里的float数据类型的4个字节在计算机里到底是怎么转换显示在你屏幕上的 是不是有时候我们从来没想过一个东西是怎么来的。float是4字节的,那么我们给一串4字节。如果是c#你还不知道有bitconverter这个函数怎么办?

我自己参考然后成功实现了过后的一些理解

看 整体概览中心思想 还是跟我们十进制一样的  底数+指数的形式 第一个有效数字肯定是1 开始的 所以最前面一位去掉(解析的时候默认它是有的)比如 1x10^3  这种形式。只不过我们这里的 指数和底数 都是二进制。小数部分 代码处理 为什么是负的次方 ,稍微停顿下 11.01 二进制还有小数这个比较费解,那么通行于二进制整数的规则 进位则x2  ,那么小数部分则是往后一位则/2 想想我们十进制数 2的负2次方 就是 1/(2x2) 就是四分之一   是不是啊   。那么我们这里也是同样的道理。 

指数部分 ,这里也是二进制的指数 不是10进制的   ,这里有8位 那么 就是 底数部分可以x2^-127 到128 次方 。虽然第一次理解有点别扭 ,稍微梳理下 整体感觉还是比较顺畅的。说明计算机科学家还是经过深思熟虑考虑过的。 

关于数值精确表示与非精确表示

然后另外一个 ,基于这种原理 机制,活了这么多年 你才发现 这个float有时候 并不能 精确表示一个数  0.125 这种 还好说,为啥能够精确标识啊,你看他小数点往后完全符合描述的 -2次方 也就是二分机制 ,相信通过上面那些理解  不用我搬那些高深的理论 讲解你也能够明白  从1 分下来 0.5  0.25 0.125   刚好分完。

看一个不能够精确分完的1567.37      -> 1567.36987304688 看  是不是很神奇的事情出现了  ,这不是bug  就是由于他机制本身的原因所致的。我们不能改变它  就只能与他共存。 就像有理数除某些数除不尽 一样的 这里也是机制本身决定的 暂且理解为类似的东西吧。

下面是阅读了上面的参考文献后经过验证的代码成功实现

 我代码里注释已经写得相当详尽了

  1 //ieee754 格式float解析   2 public void iee754BytesToVal(byte[] bytes)   3 {   4    //所有的位序列   5     bool[] bits = new bool[32];   6    7    8    9     //先进行翻转  10     Array.Reverse(bytes);  11   12     //进行数据预处理  13     int bitarIndx=0;  14     for (int i = 0; i < 8; i++)  15     {  16         bits[bitarIndx++] = (bytes[0] & (0x80>>i))>0?true:false;  17     }  18   19     for (int i = 0; i < 8; i++)  20     {  21         bits[bitarIndx++] = (bytes[1] & (0x80 >> i)) > 0 ? true : false;  22     }  23   24     for (int i = 0; i < 8; i++)  25     {  26         bits[bitarIndx++] = (bytes[2] & (0x80 >> i)) > 0 ? true : false;  27     }  28   29     for (int i = 0; i < 8; i++)  30     {  31         bits[bitarIndx++] = (bytes[3] & (0x80 >> i)) > 0 ? true : false;  32     }  33   34     for (int i = 0; i < bits.Length; i++)  35     {  36         Console.Write(bits[i] == true ? "1" : "0");  37         Console.Write("  ");  38     }  39      40   41     //获取某个位 与上 指定的位  42     //获取符号位  43     int singl = -1;  44   45     if (bits[0]== true)  46     {  47         singl = -1;  48         Console.WriteLine("负数");  49     }  50     else  51     {  52         singl = 1;  53         Console.WriteLine("正数");  54     }  55   56   57     //阶码0 1字节  58     //取出对应的阶码位 7f80  59   60     sbyte  exponent = 0;  61     for (int i = 0; i < 8; i++)  62     {  63         byte bitSetPoint=0x00;  64         if( bits[1+i]==true)  65         {  66             bitSetPoint = 0x80;  67         }  68         else  69         {  70             bitSetPoint = 0x00;  71         }  72   73         exponent = (sbyte)(exponent | (bitSetPoint >> i));  74          75     }  76   77   78     //0x7f  79     sbyte exponentID = 0x7f;  80     sbyte exponentReal = (sbyte)(exponent - exponentID);  81   82   83     //尾数 23位  84     double mantissa=0;  85     for (int i = 0; i < 23; i++)  86     {  87         if(bits[9+i]==true)  88         {  89             mantissa = mantissa + Math.Pow(2, -(i + 1));  90         }  91         else  92         {  93             mantissa = mantissa + 0;  94         }                  95     }  96     mantissa = (1 + mantissa) * singl * Math.Pow(2, exponentReal);  97   98   99     Console.WriteLine("最终的数是:" + mantissa); 100  101 }

  1 public void iee754ValToBytes(float val)   2 {   3     Console.WriteLine(val.ToString());   4     string valStr = val.ToString();   5    6     //符号位   7     int singl = 1;   8     if (valStr.IndexOf('-') != -1)   9     {  10         singl = -1;  11         valStr.Replace("-", "");  12     }  13     else  14         singl = 1;  15   16     string[] valPartStrs = valStr.Split('.');  17   18     string frontPartStr = "0";  19     if (valPartStrs.Length > 0)  20         frontPartStr = valPartStrs[0];  21     string afterPartStr = "0";  22     if (valPartStrs.Length > 1)  23         afterPartStr = valPartStrs[1];  24   25     //整数部分处理  26     List<bool> frontBits = new List<bool>();  27     int frontNum = int.Parse(frontPartStr);  28     if (frontNum != 0)  29     {  30   31   32         //整数部分 采用短除法  33         long dividend = frontNum;  34         int indx = 0;  35         do  36         {  37             long yu = dividend % 2;  38             dividend /= 2;  39             frontBits.Add(yu == 1 ? true : false);  40         } while (dividend > 0);  41         indx = 0;  42   43         //注意这里有一个反转  整数部分短除法 和小数部分的x2取整不一样的  44         frontBits.Reverse();  45   46         Console.WriteLine("整数部分");  47         for (int i = 0; i < frontBits.Count; i++)  48         {  49             Console.Write(frontBits[i] == true ? "1" : "0");  50             Console.Write(" ");  51         }  52         Console.WriteLine();  53     }  54   55     // 小数部分采用*2取整方法  56     List<bool> afterBits = new List<bool>();  57     int afterNum = int.Parse(afterPartStr);  58     if (afterNum != 0)  59     {  60         afterPartStr = "0." + afterPartStr;  61   62   63   64         float afterApendOne = float.Parse(afterPartStr);  65         for (int i = 0; i < 23 - frontBits.Count; i++)  66         {  67   68             afterApendOne = afterApendOne * 2;  69             if (Math.Floor(afterApendOne) == 1)  70                 afterBits.Add(true);  71             else  72                 afterBits.Add(false);  73             string[] tmpxiaoshu = afterApendOne.ToString().Split('.');  74             if (tmpxiaoshu.Length > 1)  75             {  76                 afterApendOne = float.Parse("0." + tmpxiaoshu[1]);  77                 if (afterApendOne == 0)  78                     break;  79             }  80             else  81             {  82                 break;  83             }  84         }  85   86     }  87     //指数部分  88     sbyte exponent = (sbyte)((sbyte)127 + (sbyte)frontBits.Count - 1);  89   90     //总览数据----------------------------------------------------------------------  91     List<bool> finalBits = new List<bool>();  92     //附上符号位  93   94     if (singl > 0)  95         finalBits.Add(false);  96     else  97         finalBits.Add(true);  98   99  100     Console.WriteLine("指数部分"); 101     for (int i = 0; i < 8; i++) 102     { 103         bool exponentBit = (exponent & (0x80 >> i)) > 0 ? true : false; 104         finalBits.Add(exponentBit); 105  106         Console.Write(exponentBit == true ? "1" : "0"); 107         Console.Write(" "); 108     } 109     Console.WriteLine(); 110  111     //附上整数部分 112     for (int i = 1; i < frontBits.Count; i++) 113     { 114         finalBits.Add(frontBits[i]); 115     } 116  117     //附上小数部分 118     for (int i = 0; i < afterBits.Count; i++) 119     { 120         finalBits.Add(afterBits[i]); 121     } 122  123  124     //IEEE754 float 标准 32位 不足的补0 125     Console.WriteLine("---------------------------------"); 126     for (int i = 0; i < finalBits.Count; i++) 127     { 128         Console.Write(finalBits[i] == true ? "1" : "0"); 129         Console.Write(" "); 130     } 131     if (finalBits.Count < 32) 132     { 133         int beaddcount = 32 - finalBits.Count; 134         for (int i = 0; i < (beaddcount); i++) 135         { 136             finalBits.Add(false); 137             Console.Write("0"); 138             Console.Write(" "); 139         } 140     } 141     Console.WriteLine(); 142     Console.WriteLine("---------------------------------"); 143  144     //利用前面的例子进行反向转换测试 145  146     UInt32 reconvert = 0x00000000; 147  148  149     for (int i = 0; i < 32; i++) 150     { 151         UInt32 bitSetPoint = 0x00000000; 152         if (finalBits[i] == true) 153         { 154             bitSetPoint = 0x80000000; 155         } 156         else 157         { 158             bitSetPoint = 0x00000000; 159         } 160         reconvert = reconvert | (bitSetPoint >> i); 161     } 162      163     byte[] recdata = BitConverter.GetBytes(reconvert); 164  165     Console.WriteLine("-------------开启再次转换过程--------------------"); 166     iee754BytesToVal(recdata); 167 }

那么怎么验证我们的算法是正确的呢,很简单啊把我们拿出去的float变量转的bytes 再转float 结果一致就代表成功了,我们也可以利用c#自带的BitConverter.GetBytes(float)得到的4字节进行验证。

 1 iee754ValToBytes(1567.37f);  2 //floattobytes(19.625f);  3 return;  4 float f = -7434.34f;  5 byte[] floatar = BitConverter.GetBytes(f);  6 Console.Write("{0:X2}", floatar[0]);  7 Console.Write("{0:X2}", floatar[1]);  8 Console.Write("{0:X2}", floatar[2]);  9 Console.Write("{0:X2}", floatar[3]); 10 Console.WriteLine(); 11 iee754BytesToVal(floatar);

关于代码的正确性已经毋庸置疑了哈,文章开头的图已经给出结果了。

关于通用性

首先所有的编程环境都遵循这个标准 ,不管你c c++ c# java ,c# 里提取的bytes 放到 c++下去解析 是能解析出来的 已经测试过了(都不用解析 就是一个指针内存操作),Java我没试过相信是一样的。关于c++的处理 , 看c++指针直接操作内存的优势和 便利性就出来了。

c语言里获取的字节码转换为float:

1 float channelUpLimit = *(float *)&value[0];

float转换为字节以相反方式操作就可以了,指针用伪数组操作方式就可以了,你懂的,c语言特别善于玩儿这种内存控制。

 编写代码时精度问题的陷阱

这又隐申出另外的问题,就是编程语言的数制精度问题。c语言中 float fff = 4796 / 10.0;得到的不是479.6 而是个不知道什么的玩意儿 479.600006 无论用 什么floor这些函数*10+0.5 又/10 处理都相当棘手。网上说用double 可以避免很多问题 ,试了下 用 double fff = 4796 / 10.0; 得到的确实是479.600000

https://www.yisu.com/zixun/371395.html

老早就看到前同事在代码中写一些这种玩意儿 ,刚入行不久一脸懵逼 这是什么神经病代码

1 float a=0, b=0, c=0; 2 if (a - b < 0.00001) 3     c = 0; 4 else 5     c = a - b;

我了个去c语言中都这么麻烦的吗。2.5 有时候可能并不是2.5 由于计算机底层cpu运算的一些奇奇怪怪的玄机 我们也懒得去管。总之就算2.5 有可能实际是2.49999999999999999999999999

包括javascript 很多都有数制问题。

这段代码的问题在c# c 中都存在 并且float的标准都是遵循统一的规范 IEEE754 的(c#的二进制在c中解析的结果一样

1 float test = 0.1f; 2 if (test == (1 - 0.9)) 3 { 4     Console.WriteLine("正常"); 5 } 6 else 7 { 8     Console.WriteLine("what!!!"); 9 }

c语言以及高级语言中的float到底是什么以及IEEE754

 

聪明如你,看了上面的相信你已经知道怎么解决了。c#里更加无脑 傻瓜化的用decimal就可以了。

 

 

发表评论

相关文章