开发者社区> 行者武松> 正文
阿里云
为了无法计算的价值
打开APP
阿里云APP内打开

Python解惑:整数比较

简介:
+关注继续查看

Python解惑:整数比较


在 Python 中一切都是对象,毫无例外整数也是对象,对象之间比较是否相等可以用==,也可以用is。==和is操作的区别是:

  • is比较的是两个对象的id值是否相等,也就是比较俩对象是否为同一个实例对象,是否指向同一个内存地址。
  • ==比较的是两个对象的内容是否相等,默认会调用对象的__eq__()方法。

清楚is和==的区别之后,对此也许你有可能会遇到下面的这些困惑,于是就有了这样一篇文章,试图把Python中一些隐晦的东西趴出来,希望对你有一定的帮助。我们先来看两段代码:

片段一:


  1. >>> a = 256 
  2.  
  3. >>> b = 256 
  4.  
  5. >>> a == b 
  6.  
  7. True 
  8.  
  9. >>>  

片段二:


  1. >>> a = 256 
  2.  
  3. >>> b = 256 
  4.  
  5. >>> a is b 
  6.  
  7. True 
  8.  
  9. >>>  

在交互式命令行执行上面两段代码,代码片段一中的a==b返回True很好理解,因为两个对象的值都是256,对于片段二,a is b也返回True,这说明a和b是指向同一个对象的,可以检查一下他们的id值是否相等:


  1. >>> id(a) 
  2.  
  3. 8213296 
  4.  
  5. >>> id(b) 
  6.  
  7. 8213296 
  8.  
  9. >>>  

结果证明他俩的确是同一个对象,指向的是同一个内存地址。那是不是所有的整数对象只要两个对象的值(内容)相等,它们就是同一个实例对象呢?换句话说,对于整数对象只要==返回True,is操作也会返回True吗?带着这个问题来看下面这两段代码:

片段一:


  1. >>> a = 257 
  2.  
  3. >>> b = 257 
  4.  
  5. >>> a == b 
  6.  
  7. True 
  8.  
  9. >>>  

片段二:


  1. >>> a = 257 
  2.  
  3. >>> b = 257 
  4.  
  5. >>> a is b 
  6.  
  7. False 
  8.  
  9. >>>  

对于257,a is b返回的竟然是False,结果可能在你的意料之中,也有可能出乎你的意料,但不管怎么,我们还是要刨根问底,找出问题的真相。

解惑一

出于对性能的考虑,Python内部做了很多的优化工作,对于整数对象,Python把一些频繁使用的整数对象缓存起来,保存到一个叫small_ints的链表中,在Python的整个生命周期内,任何需要引用这些整数对象的地方,都不再重新创建新的对象,而是直接引用缓存中的对象。Python把这些可能频繁使用的整数对象规定在范围[-5, 256]之间的小对象放在small_ints中,但凡是需要用些小整数时,就从这里面取,不再去临时创建新的对象。因为257不再小整数范围内,因此尽管a和b的值是一样,但是他们在Python内部却是以两个独立的对象存在的,各自为政,互不干涉。

弄明白第一个问题后,我们继续在Python交互式命令行中写一个函数,再来看下面这段代码:

片段一:


  1. >>> c = 257 
  2.  
  3. >>> def foo(): 
  4.  
  5. ... a = 257 
  6.  
  7. ... b = 257 
  8.  
  9. ... print a is b 
  10.  
  11. ... print a is c 
  12.  
  13. ... 
  14.  
  15. >>> foo() 
  16.  
  17. True 
  18.  
  19. False  

呃,什么情况,是的,你没看错,片段一中的这段代码 a、b 值都是257的情况下,出现了a is b返回True,而a is c 返回的False,a、b、c的值都为257,为什么会出现不同的结果呢?这对于刚刚好不容易建立起来的认知就被彻底否决了吗,那这段代码中究竟发生了什么?难道解惑一中的结论是错误的吗?

解惑二

A Python program is constructed from code blocks. A block is a piece of Python program text that is executed as a unit. The following are blocks: a module, a function body, and a class definition. Each command typed interactively is a block. A script file (a file given as standard input to the interpreter or specified as a command line argument to the interpreter) is a code block. A script command (a command specified on the interpreter command line with the ‘-c‘ option) is a code block. structure-of-a-program

为了弄清楚这个问题,我们有必要先理解程序代码块的概念。Python程序由代码块构成,代码块作为程序的一个最小基本单位来执行。一个模块文件、一个函数体、一个类、交互式命令中的单行代码都叫做一个代码块。在上面这段代码中,由两个代码块构成,c = 257作为一个代码块,函数foo作为另外一个代码块。Python内部为了将性能进一步的提高,凡是在一个代码块中创建的整数对象,如果存在一个值与其相同的对象于该代码块中了,那么就直接引用,否则创建一个新的对象出来。Python出于对性能的考虑,但凡是不可变对象,在同一个代码块中的对象,只有是值相同的对象,就不会重复创建,而是直接引用已经存在的对象。因此,不仅是整数对象,还有字符串对象也遵循同样的原则。所以 a is b就理所当然的返回True了,而c和a不在同一个代码块中,因此在Python内部创建了两个值都是257的对象。为了验证刚刚的结论,我们可以借用dis模块从字节码的角度来看看这段代码。


  1. >>> import dis 
  2.  
  3. >>> dis.dis(foo) 
  4.  
  5.   2           0 LOAD_CONST               1 (257) 
  6.  
  7.               3 STORE_FAST               0 (a) 
  8.  
  9.   
  10.  
  11.   3           6 LOAD_CONST               1 (257) 
  12.  
  13.               9 STORE_FAST               1 (b) 
  14.  
  15.   
  16.  
  17.   4          12 LOAD_FAST                0 (a) 
  18.  
  19.              15 LOAD_FAST                1 (b) 
  20.  
  21.              18 COMPARE_OP               8 (is
  22.  
  23.              21 PRINT_ITEM           
  24.  
  25.              22 PRINT_NEWLINE       
  26.  
  27.   
  28.  
  29.   5          23 LOAD_FAST                0 (a) 
  30.  
  31.              26 LOAD_GLOBAL              0 (c) 
  32.  
  33.              29 COMPARE_OP               8 (is
  34.  
  35.              32 PRINT_ITEM           
  36.  
  37.              33 PRINT_NEWLINE       
  38.  
  39.              34 LOAD_CONST               0 (None) 
  40.  
  41.              37 RETURN_VALUE  

可以看出两个257都是从常量池的同一个位置co_consts[1]获取的。

总结

一番长篇大论之后,得出两点结论:1、小整数对象[-5,256]是全局解释器范围内被重复使用,永远不会被GC回收。2、同一个代码块中的不可变对象,只要值是相等的就不会重复创建新的对象。似乎这些知识点对日常的工作一点忙也帮不上,因为你根本不会用is来比较两个整数对象的值是否相等。那为什么还要拿出来讨论呢?嗯,程序员学知识,不应该浅尝辄止,要充分发挥死磕到底的精神。


作者:佚名

来源:51CTO

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

相关文章
《Python编程快速上手——让繁琐工作自动化》——1.5 第一个程序
本节书摘来自异步社区《Python编程快速上手——让繁琐工作自动化》一书中的第1章,第1.5节,作者[美] Al Sweigart,王海鹏 译,更多章节内容可以访问云栖社区“异步社区”公众号查看。 1.5 第一个程序 虽然交互式环境对于一次运行一条 Python指令很好,但要编写完整的Python程序,就需要在文件编辑器中输入指令。
1972 0
+关注
行者武松
杀人者,打虎武松也。
17111
文章
2568
问答
文章排行榜
最热
最新
相关电子书
更多
低代码开发师(初级)实战教程
立即下载
阿里巴巴DevOps 最佳实践手册
立即下载
冬季实战营第三期:MySQL数据库进阶实战
立即下载