比较浮点数时,我被绊倒了

  • 📢欢迎点赞 :👍 收藏 ⭐留言 📝 如有错误敬请指正,赐人玫瑰,手留余香!
  • 📢本文作者:由webmote 原创
  • 📢作者格言:新的征程,我们面对的不是技术而是人心,人心不可测,海水不可量,唯有技术,才是深沉黑夜中的一座闪烁的灯塔 !

1.简单的比较,预期的结果

一天,我在飞快的写代码,当然这个"飞快"我打上了引号, 因为手速奇快吗?并没有。

我遇到一个非常普通的场景,对于码农多年的我老说,应该是小菜一碟了。

然而,这次不一样,我被比较浮点数,绊倒了。

简单描述下场景: 大概的业务逻辑是这样的, 在一个判断告警的逻辑里,需要判断某个值在小于0.9时,就进行告警动作。

代码如下:

csharp 复制代码
bool IsAlarm(float a)
{
 return a<0.9;
}

//不相干的业务逻辑,简化下。。。
if(IsAlarm(a)){
  Console.WriteLine("嘀嘀嘀,报警了!");
}

写完了代码,就转给测试了,然后反馈说不该报警的时候报警了。

这是什么鬼啊?

Review了N遍代码,也找不到原因是啥。

2.写单元测试

由于业务场景复杂,又不方便调试,因此,实在打不开思路的我,开始折腾起单元测试。

csharp 复制代码
[Fact]
public void TestAlarmSuccess()
{
	var a = 0.9F;
	var ret = IsAlarm(a);
	Assert.False(ret);
}

元凶终于浮出了水面,竟然时浮点比较出了问题。经过反复确认和排查,的的确确是

复制代码
0.9F < 0.9

顺便说一嘴,这里用的是C#, 0.9F 是单精度浮点数,而 0.9 默认应该是 双精度浮点数。

看到这里,聪明的你是不是恍然大悟了!

如果你还是不明白, 那么跟着我再来探究探究其中的奥秘。

3. 原因说明

由于无知,我甚至跑到了github上提了一个issue,哦哦,大神给了我这样的解释。

这是预期的结果! 更多的信息,可以参考: IEEE Standard for Floating-Point Arithmetic

看下面的例子:

csharp 复制代码
float data = 0.9F;
var firstComparisonValue = 0.9;
var secondComparisonValue = 0.9F;
Console.WriteLine(data < firstComparisonValue);
// return true

Console.WriteLine(data < secondComparisonValue);
// return false

Console.WriteLine(data == secondComparisonValue);
// return true

Console.WriteLine($"Data Value: {data.ToString("F99")}");
Console.WriteLine($"First Comparison Value: >{firstComparisonValue.ToString("F99")}");
Console.WriteLine($"Second Comparison Value: >{secondComparisonValue.ToString("F99")}"); ```

输出结果:

True

False

True

Data Value: 0,899999976158142089843750000000000000000000000000000000000000000000000000000000000000000000000000000

First Comparison Value: 0,900000000000000022204460492503130808472633361816406250000000000000000000000000000000000000000000000

Second Comparison Value: 0,899999976158142089843750000000000000000000000000000000000000000000000000000000000000000000000000000
正如你看到的那样,double 类型的值是大于float类型的值的.

总结

比较数字的时候, 先强制转换成统一类型的数字,然后比较,才会得到你预期的结果。

否则,你就需要了解更多的IEEE规范知识,要不然一不小心,就掉到了坑里。

👓都看到这了,还在乎点个赞吗?

👓都点赞了,还在乎一个收藏吗?

👓都收藏了,还在乎一个评论吗?

相关推荐
能工智人小辰16 分钟前
Codeforces Round 509 (Div. 2) C. Coffee Break
c语言·c++·算法
kingmax5421200817 分钟前
CCF GESP202503 Grade4-B4263 [GESP202503 四级] 荒地开垦
数据结构·算法
岁忧22 分钟前
LeetCode 高频 SQL 50 题(基础版)之 【高级字符串函数 / 正则表达式 / 子句】· 上
sql·算法·leetcode
梦星辰.25 分钟前
VSCode CUDA C++进行Linux远程开发
linux·c++·vscode
远方160933 分钟前
0x-2-Oracle Linux 9上安装JDK配置环境变量
java·linux·oracle
cui_win39 分钟前
每日一令:Linux 极简通关指南 - 汇总
linux·运维·服务器
知星小度S1 小时前
Linux权限探秘:驾驭权限模型,筑牢系统安全
linux·运维·服务器
阿翰1 小时前
自动 GitHub Readme 20 种语言翻译平台 - OpenAiTx 开源免费
c#·.net
eachin_z1 小时前
力扣刷题(第四十九天)
算法·leetcode·职场和发展
黄交大彭于晏1 小时前
发送文件脚本源码版本
java·linux·windows