Python中关于浮点数的冷知识


Posted in Python onSeptember 22, 2019

本周的PyCoder's Weekly 上分享了一篇小文章,它里面提到的冷知识很有意思,我稍作补充,分享给大家。

它提到的部分问题,读者们可以先思考下:

  • 若两个元组相等,即 a==b 且 a is b,那么相同索引的元素(如 a[0] 、b[0])是否必然相等呢?
  • 若两个对象的 hash 结果相等,即 hash(a) == hash(b),那么它们是否必然相等呢?

答案当然都为否(不然就不叫冷知识了),大家可以先尝试回答一下,然后再往下看。

-----思考分割线-----

好了,先来看看第一个问题。两个相同的元组 a、b,它们有如下的关系:

>>> a = (float('nan'),)
>>> b = a
>>> a  # (nan,)
>>> b  # (nan,)

>>> type(a), type(b)
(<type 'tuple'>, <type 'tuple'>)

>>> a == b
True

>>> a is b # 即 id(a) == id(b)
True

>>> a[0] == b[0]
False

以上代码表明:a 等于 b(类型、值与 id 都相等),但是它们的对位元素却不相等。

两个元组都只有一个元素(逗号后面没有别的元素,这是单元素的元组的表示方法,即 len(a)==1 )。float() 是个内置函数,可以将入参构造成一个浮点数。

为什么会这样呢?先查阅一下文档,这个内置函数的解析规则是:

sign      ::= "+" | "-"
infinity    ::= "Infinity" | "inf"
nan      ::= "nan"
numeric_value ::= floatnumber | infinity | nan
numeric_string ::= [sign] numeric_value

它在解析时,可以解析前后的空格、前缀的加减号(+/-)、浮点数,除此之外,还可以解析两类字符串(不区分大小写):"Infinity"或"inf",表示无穷大数;“nan”,表示不是数(not-a-number),确切地说,指的是除了数以外的所有东西。

前面分享的第一个冷知识就跟“nan”有关,作为整体,两个元组相等,但是它们唯一的元素却不相等。之所以会这样,因为“nan”表示除了数以外的东西,它是一个范围,所以不可比较。

作为对比,我们来看看两个“无穷大的浮点数”是什么结果:

>>> a = (float('inf'),)
>>> b = a
>>> a  # (inf,)
>>> b  # (inf,)

>>> a == b # True
>>> a is b # True
>>> a[0] == b[0] # True

注意最后一次比较,它跟前面的两个元组恰好相反,由此,我们可以得出结论:两个无穷大的浮点数,数值相等,而两个“不是数的东西”,数值不相等。

化简一下,可以这样看:

>>> a = float('inf')
>>> b = float('inf')
>>> c = float('nan')
>>> d = float('nan')

>>> a == b # True
>>> c == d # False

以上就是第一个冷知识的揭秘。接着看第二个:

>>> hash(float('nan')) == hash(float('nan'))
True

前面刚说了两个“不是数的东西”不相等,这里却显示它们的哈希结果相等,这挺违背常理的。

我们可以推理出一条简单的结论:不相等的两个对象,其哈希结果可能相等。

原因在于,hash(float('nan')) 的结果等于 0,它是个固定值,作比较时当然就相等了。

其实,关于 hash() 函数,还埋了一个彩蛋:

>>> hash(float('inf')) # 314159
>>> hash(float('-inf')) # -314159

有没有觉得这个数值很熟悉啊?它正是圆周率的前五位 3.14159,去除小数点后的结果。在早期的 Python 版本中,负无穷大数的哈希结果其实是 -271828,正是取自于自然对数 e。这两个数都是硬编码在 Python 解释器中的,算是某种致敬吧。

由于 float('nan') 的哈希值相等,这通常意味着它们不可以作为字典的不同键值,但是事实却出人意料:

>>> a = {float('nan'): 1, float('nan'): 2}
>>> a
{nan: 1, nan: 2}

# 作为对比:
>>> b = {float('inf'): 1, float('inf'): 2}
>>> b
{inf: 2}

如上所示,两个 nan 键值在表示上一模一样(注意,它们没有用引号括起来),它们可以共存,而 inf 却只能归并成一个,再次展示出了 nan 的神奇。

好了,两个很冷的小知识分享完毕,背后的原因都在于 float() 取浮点数时,Python 允许了 nan(不是数)的存在,它表示不确切的存在,所以导致了这些奇怪的结果。

最后,我们作下小结:

  • 包含 float('nan') 的两个元组,当做整体作比较时,结果相等;两个相等的元组,其对位的元素可能不相等
  • float('nan') 表示一个“不是数”的东西,它本身不是确定值,两个对象作比较时不相等,但是其哈希结果是固定值,作比较时相等;可用作字典的键值,而且是不冲突的键值
  • float('inf') 表示一个无穷大的浮点数,可看作确定的值,两个对象做比较时相等,其哈希结果也相等;可用作字典的键值,但是会产生冲突
  • float('nan') 的哈希结果为 0,float('inf') 的哈希结果为 314159

参考资料:

https://docs.python.org/3/library/functions.html#float

https://www.pythondoeswhat.com/2019/09/welcome-to-float-zone.html

总结

以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,谢谢大家对三水点靠木的支持。

Python 相关文章推荐
Python 流程控制实例代码
Sep 25 Python
详解使用python的logging模块在stdout输出的两种方法
May 17 Python
一个月入门Python爬虫学习,轻松爬取大规模数据
Jan 03 Python
基于Python socket的端口扫描程序实例代码
Feb 09 Python
解决csv.writer写入文件有多余的空行问题
Jul 06 Python
实例讲解Python爬取网页数据
Jul 08 Python
Python中的枚举类型示例介绍
Jan 09 Python
Python内置random模块生成随机数的方法
May 31 Python
Python异常处理例题整理
Jul 07 Python
Python高阶函数、常用内置函数用法实例分析
Dec 26 Python
在Python IDLE 下调用anaconda中的库教程
Mar 09 Python
OpenCV全景图像拼接的实现示例
Jun 05 Python
Python安装及Pycharm安装使用教程图解
Sep 20 #Python
Python实现语音识别和语音合成功能
Sep 20 #Python
使用python将最新的测试报告以附件的形式发到指定邮箱
Sep 20 #Python
Python使用__new__()方法为对象分配内存及返回对象的引用示例
Sep 20 #Python
Python 类方法和实例方法(@classmethod),静态方法(@staticmethod)原理与用法分析
Sep 20 #Python
Python 类属性与实例属性,类对象与实例对象用法分析
Sep 20 #Python
使用python脚本自动创建pip.ini配置文件代码实例
Sep 20 #Python
You might like
《Re:从零开始的异世界生活 冰结之绊》
2020/04/09 日漫
php 高性能书写
2010/12/11 PHP
一个简单的PHP验证码实现代码
2014/05/10 PHP
PHP实现下载断点续传的方法
2014/11/12 PHP
教你php如何实现验证码
2016/01/20 PHP
Yii2 加载css、js 载静态资源的方法
2017/03/10 PHP
PHP+JQUERY操作JSON实例
2017/03/23 PHP
PDO操作MySQL的基础教程(推荐)
2017/08/18 PHP
css3实现背景模糊的三种方式
2021/03/09 HTML / CSS
JavaScript中的对象化编程
2008/01/16 Javascript
js跳转页面方法实现汇总
2014/02/11 Javascript
AngularJS ng-repeat数组有重复值的解决方法
2016/10/23 Javascript
js字符串操作总结(必看篇)
2016/11/22 Javascript
js document.getElementsByClassName的使用介绍与自定义函数
2016/11/25 Javascript
Node.js 8 中的重要新特性
2017/06/28 Javascript
微信小程序日期时间选择器使用方法
2018/02/01 Javascript
vue如何在自定义组件中使用v-model
2018/05/14 Javascript
获取layer.open弹出层的返回值方法
2018/08/20 Javascript
js 获取本周、上周、本月、上月、本季度、上季度的开始结束日期
2020/02/01 Javascript
[01:00:26]Ti4主赛事胜者组第一天 EG vs NEWBEE 1
2014/07/19 DOTA
教你安装python Django(图文)
2013/11/04 Python
通过pycharm使用git的步骤(图文详解)
2019/06/13 Python
Python经纬度坐标转换为距离及角度的实现
2020/11/01 Python
python实现企业微信定时发送文本消息的实例代码
2020/11/25 Python
python中reload重载实例用法
2020/12/15 Python
联想德国官网:Lenovo Germany
2018/07/04 全球购物
FitFlop美国官网:英国符合人体工学的鞋类品牌
2018/10/05 全球购物
使用索引有什么好处
2016/07/27 面试题
怎样在 Applet 中建立自己的菜单(MenuBar/Menu)?
2012/06/20 面试题
运动会演讲稿50字
2014/08/25 职场文书
干部竞争上岗演讲稿
2014/09/11 职场文书
2015年敬老月活动总结
2015/03/27 职场文书
毕业设计致谢语
2015/05/14 职场文书
Golang 如何实现函数的任意类型传参
2021/04/29 Golang
Nginx使用Lua模块实现WAF的原理解析
2021/09/04 Servers
Echarts如何重新渲染实例详解
2022/05/30 Javascript