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 相关文章推荐
Android应用开发中Action bar编写的入门教程
Feb 26 Python
Python实现字符串匹配算法代码示例
Dec 05 Python
Diango + uwsgi + nginx项目部署的全过程(可外网访问)
Apr 22 Python
Python3的介绍、安装和命令行的认识(推荐)
Oct 20 Python
python ipset管理 增删白名单的方法
Jan 14 Python
Python Selenium 之关闭窗口close与quit的方法
Feb 13 Python
pybind11和numpy进行交互的方法
Jul 04 Python
Python批量安装卸载1000个apk的方法
Apr 10 Python
实现ECharts双Y轴左右刻度线一致的例子
May 16 Python
Python爬虫小例子——爬取51job发布的工作职位
Jul 10 Python
如何通过python实现IOU计算代码实例
Nov 02 Python
Python使用Turtle模块绘制国旗的方法示例
Feb 28 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
浅谈php+phpStorm+xdebug配置方法
2015/09/17 PHP
zend framework重定向方法小结
2016/05/28 PHP
php导出csv文件,可导出前导0实例代码
2016/11/16 PHP
JQuery 学习笔记 选择器之五
2009/07/23 Javascript
javaScript函数中执行C#代码中的函数方法总结
2013/08/07 Javascript
js动态创建标签示例代码
2014/06/09 Javascript
jQuery 如何给Carousel插件添加新的功能
2016/04/18 Javascript
深入解析Vue 组件命名那些事
2017/07/18 Javascript
node.js支持多用户web终端实现及安全方案
2017/11/29 Javascript
jQuery实现判断上传图片类型和大小的方法示例
2018/04/11 jQuery
jQuery实现的简单对话框拖动功能示例
2018/06/05 jQuery
jQuery实现的页面详情展开收起功能示例
2018/06/11 jQuery
微信小程序实现批量倒计时功能
2020/11/01 Javascript
详解一些适用于Node.js的命名约定
2019/12/08 Javascript
如何HttpServletRequest文件对象并储存
2020/08/14 Javascript
Vue+Element UI 树形控件整合下拉功能菜单(tree + dropdown +input)
2020/08/28 Javascript
如何在JavaScript中使用localStorage详情
2021/02/04 Javascript
[01:38]完美世界DOTA2联赛(PWL)宣传片:第一站
2020/10/26 DOTA
Python使用py2exe打包程序介绍
2014/11/20 Python
举例讲解Python中的身份运算符的使用方法
2015/10/13 Python
python实现求解列表中元素的排列和组合问题
2018/03/15 Python
Python批处理更改文件名os.rename的方法
2018/10/26 Python
selenium设置proxy、headers的方法(phantomjs、Chrome、Firefox)
2018/11/29 Python
浅谈Python中的可迭代对象、迭代器、For循环工作机制、生成器
2019/03/11 Python
值得收藏的10道python 面试题
2019/04/15 Python
python中pytest收集用例规则与运行指定用例详解
2019/06/27 Python
使用Bazel编译TensorBoard教程
2020/02/15 Python
通过实例简单了解Python sys.argv[]使用方法
2020/08/04 Python
美国正宗奢华复古手袋、珠宝及配饰网站:What Goes Around Comes Around
2018/07/21 全球购物
介绍一下linux文件系统分配策略
2012/11/17 面试题
JPA的特点
2014/10/25 面试题
历史教育专业个人求职信
2013/12/13 职场文书
《夸父追日》教学反思
2014/02/26 职场文书
装修活动策划方案
2014/08/27 职场文书
学习保证书
2015/01/17 职场文书
68句权威创业名言
2019/08/26 职场文书