详解python中的 is 操作符


Posted in Python onDecember 26, 2017

大家可以与Java中的 == 操作符相互印证一下,加深一下对引用和对象的理解。原问题: Python为什么直接运行和在命令行运行同样语句但结果却不同,他们的缓存机制不同吗?

其实,高票答案已经说得很详细了。我只是再补充一点而已。

is 操作符是Python语言的一个内建的操作符。它的作用在于比较两个变量是否指向了同一个对象。

与 == 的区别

class A():
 def __init__(self, v): 
  self.value = v
 def __eq__(self, t): 
  return self.value == t.value
a = A(3)
b = A(3)
print a == b
print a is b

这个结果是True,False。因为我们重写了__eq__方法就使得a, b在比较的时候,只比较它们的value即可。只要它们的value相等,那么a, b就是相等的。

而 is 操作符是判断两个变量是否引用了同一个对象。

同一个对象?

is 的用法说起来其实挺简单的,但是真正用起来,它的难点恰恰就在于判断哪些对象是同一个对象。

看下面的几个测试,先不看结果,自己能答对多少?

a = 10
b = 10
print a is b
a = 10.0
b = 10.0
print a is b
a = 10
def f():
 return 10
print f() is a
a = 1000
def f():
 return 1000
print f() is a
a = 10.0
def f():
 return 10.0
print f() is a

嗯。这个结果是True, True, True, False, False。你答对了吗?

这个结果中牵扯到两个问题:第一,就是小整数的缓存,第二,就是pyc文件中CodeObject的组织问题。

Python中把-127到128这些小整数都缓存了一份。这和Java的Integer类是一样的。所以,对于-127到128之间的整数,整个Python虚拟机中就只有一个实例。不管你什么时候,什么场景下去使用 is 进行判断,都会是True,所以我们知道了这两个测试一定会是True:

a = 10
b = 10
print a is b
a = 10
def f():
 return 10
print f() is a

接着,我们重点看下,这两个测试:

a = 10.0
b = 10.0
print a is b
a = 10.0
def f():
 return 10.0
print f() is a

为什么一个是True,一个是False。要探究这个问题,就要从字节码的角度去分析了。我们先把这个文件编译一下:

python -m compileall testis.py

然后再使用这个工具查看一下字节码文件: 

  https:// github.com/hinus/railgu n/blob/master/src/main/python/rgparser/show.py

得到这样的输出:

<argcount> 0 </argcount>
 <nlocals> 0</nlocals>
 <stacksize> 2</stacksize>
 <flags> 0040</flags>
 <code>
  6400005a00006400005a01006500006501006b080047486400005a000064
  01008400005a02006502008300006500006b0800474864020053
 </code>
 <dis>
 1   0 LOAD_CONST    0 (10.0)
    3 STORE_NAME    0 (a)

 2   6 LOAD_CONST    0 (10.0)
    9 STORE_NAME    1 (b)

 3   12 LOAD_NAME    0 (a)
    15 LOAD_NAME    1 (b)
    18 COMPARE_OP    8 (is)
    21 PRINT_ITEM   
    22 PRINT_NEWLINE  

 5   23 LOAD_CONST    0 (10.0)
    26 STORE_NAME    0 (a)

 6   29 LOAD_CONST    1 (<code object f>)
    32 MAKE_FUNCTION   0
    35 STORE_NAME    2 (f)

 8   38 LOAD_NAME    2 (f)
    41 CALL_FUNCTION   0
    44 LOAD_NAME    0 (a)
    47 COMPARE_OP    8 (is)
    50 PRINT_ITEM   
    51 PRINT_NEWLINE  
    52 LOAD_CONST    2 (None)
    55 RETURN_VALUE  
 </dis>
 <names> ('a', 'b', 'f')</names>
 <varnames> ()</varnames>
 <freevars> ()</freevars>
 <cellvars> ()</cellvars>
 <filename> 'testis.py'</filename>
 <name> '<module>'</name>
 <firstlineno> 1</firstlineno>
 <consts>
  10.0
  <code>
   <argcount> 0 </argcount>
   <nlocals> 0</nlocals>
   <stacksize> 1</stacksize>
   <flags> 0043</flags>
   <code> 64010053</code>
   <dis>
 7   0 LOAD_CONST    1 (10.0)
    3 RETURN_VALUE  
   </dis>
   <names> ()</names>
   <varnames> ()</varnames>
   <freevars> ()</freevars>
   <cellvars> ()</cellvars>
   <filename> 'testis.py'</filename>
   <name> 'f'</name>
   <firstlineno> 6</firstlineno>
   <consts>
   None
   10.0
   </consts>
   <lnotab> 0001</lnotab>
  </code>
  None
 </consts>
 <lnotab> 060106010b0206010902</lnotab>

大家注意看,整个python文件其实就是一个大的<code>对象,f 所对应的那个函数也是一个<code>对象,这个code对象做为整体是大的<code>对象的consts域里的一个const项。再注意,在大<code>对象里,有10.0这样的一个const项,f 这个<code>对象所对应的conts里呢,也有一个10.0这个浮点数。

当python在加载这个文件的时候,就会完成主<code>里的10.0这个浮点数的加载,生成一个PyFloatObject。也就是说静态的pyc文件的常量表在被加载以后,就变成了内存中的常量表,文件的表里的10.0就变成了内存中的一个PyFloatObject。所以,a, b两个变量都会引用这个PyFloatObject。

但是 f 里的那个10.0呢?它是要等到MAKE_FUNCTION被调用的时候才会真正地初始化。做为 f 方法的返回值,它必然与我们之前所说的主<code>里的10.0不是同一个对象了。

本质上讲,这是Python的一个设计缺陷(例如Java以一个文件为编译单元,共享同一个常量池就会减轻这个问题。但如果跨文件使用 == 操作符,也会出现同样的问题。仍然没有解决这个问题。实际上,我自己也不知道该怎么解决这个问题。)我们应该尽量避免 is 的这种用法。始终把 is 的用法限制在本文的第一个例子中。这样相对会安全一些。

Python 相关文章推荐
Python2.5/2.6实用教程 入门基础篇
Nov 29 Python
python装饰器使用方法实例
Nov 21 Python
Python和GO语言实现的消息摘要算法示例
Mar 10 Python
python中尾递归用法实例详解
Apr 28 Python
Python字符串拼接的几种方法整理
Aug 02 Python
python根据unicode判断语言类型实例代码
Jan 17 Python
Python 实现一行输入多个值的方法
Apr 21 Python
Python实现的个人所得税计算器示例
Jun 01 Python
Python3.6日志Logging模块简单用法示例
Jun 14 Python
Pandas之MultiIndex对象的示例详解
Jun 25 Python
scrapy数据存储在mysql数据库的两种方式(同步和异步)
Feb 18 Python
Python用access判断文件是否被占用的实例方法
Dec 17 Python
matplotlib简介,安装和简单实例代码
Dec 26 #Python
Python中xrange与yield的用法实例分析
Dec 26 #Python
Python简单计算数组元素平均值的方法示例
Dec 26 #Python
Python爬虫获取整个站点中的所有外部链接代码示例
Dec 26 #Python
Python之web模板应用
Dec 26 #Python
通过python+selenium3实现浏览器刷简书文章阅读量
Dec 26 #Python
如何在python中使用selenium的示例
Dec 26 #Python
You might like
php实现图片局部打马赛克的方法
2015/02/11 PHP
使用PHP实现下载CSS文件中的图片
2015/12/06 PHP
深入解析PHP的Laravel框架中的event事件操作
2016/03/21 PHP
PHP实现链式操作的三种方法详解
2017/11/16 PHP
Laravel框架路由和控制器的绑定操作方法
2018/06/12 PHP
thinkPHP框架实现的短信接口验证码功能示例
2018/06/20 PHP
PHP中常用的三种设计模式详解【单例模式、工厂模式、观察者模式】
2019/06/14 PHP
Yii框架的布局文件实例分析
2019/09/04 PHP
PHP autoload使用方法及步骤详解
2020/09/05 PHP
javascript 二分法(数组array)
2010/04/24 Javascript
js中substring和substr的详细介绍与用法
2013/08/29 Javascript
JavaScript设计模式之抽象工厂模式介绍
2014/12/28 Javascript
jquery判断类型是不是number类型的实例代码
2016/10/07 Javascript
微信小程序 scroll-view组件实现列表页实例代码
2016/12/14 Javascript
jQuery中select与datalist制作下拉菜单时的区别浅析
2016/12/30 Javascript
socket.io学习教程之基础介绍(一)
2017/04/29 Javascript
基于vue实现swipe轮播组件实例代码
2017/05/24 Javascript
详解一个基于套接字实现长连接的express
2019/03/28 Javascript
解决Layui中layer报错的问题
2019/09/03 Javascript
vue + axios get下载文件功能
2019/09/25 Javascript
bootstrap-closable-tab可实现关闭的tab标签页插件
2020/08/09 Javascript
JS实现放大镜效果
2020/09/21 Javascript
[36:33]2018DOTA2亚洲邀请赛 4.3 突围赛 EG vs Newbee 第二场
2018/04/04 DOTA
PYTHON正则表达式 re模块使用说明
2011/05/19 Python
Python解析xml中dom元素的方法
2015/03/12 Python
理论讲解python多进程并发编程
2018/02/09 Python
Python中反射和描述器总结
2018/09/23 Python
如何利用python 读取配置文件
2021/01/06 Python
The Hut德国站点:时装、家居用品、美容等
2016/09/23 全球购物
巴西美妆购物网站:Kutiz Beauté
2019/03/13 全球购物
自动化专业毕业生自荐信
2013/11/01 职场文书
高中校园广播稿
2014/01/11 职场文书
销售人员获奖感言
2014/02/05 职场文书
农村文化建设标语
2014/10/07 职场文书
导游词之茶卡盐湖
2019/11/26 职场文书
nginx基于域名,端口,不同IP的虚拟主机设置的实现
2021/03/31 Servers