举例讲解Python中is和id的用法


Posted in Python onApril 03, 2015

(ob1 is ob2) 等价于 (id(ob1) == id(ob2))

首先id函数可以获得对象的内存地址,如果两个对象的内存地址是一样的,那么这两个对象肯定是一个对象。和is是等价的。Python源代码为证。
 

static PyObject *
 cmp_outcome(int op, register PyObject *v, register PyObject *w)
{
 int res = 0;
 switch (op) {
 case PyCmp_IS:
 res = (v == w);
 break;
 case PyCmp_IS_NOT:
res = (v != w);
 break;

但是请看下边代码的这种情况怎么会出现呢?

In [1]: def bar(self, x):
...:   return self.x + y
...:
 
In [2]: class Foo(object):
...:   x = 9
...:   def __init__(self ,x):
...:     self.x = x
...:   bar = bar
...:  
 
In [3]: foo = Foo(5)
 
In [4]: foo.bar is Foo.bar
Out[4]: False
 
In [5]: id(foo.bar) == id(Foo.bar)
Out[5]: True

两个对象用is判断是False,用id判断却是True,这与我们已知的事实不符啊,这种现象该如何解释呢?遇到这种情况最好的解决方法就是调用dis模块去看下两个比较语句到底做了什么。

In [7]: dis.dis("id(foo.bar) == id(Foo.bar)")
     0 BUILD_MAP    10340
     3 BUILD_TUPLE   28527
     6 <46>     
     7 DELETE_GLOBAL  29281 (29281)
     10 STORE_SLICE+1 
     11 SLICE+2    
     12 DELETE_SUBSCR 
     13 DELETE_SUBSCR 
     14 SLICE+2    
     15 BUILD_MAP    10340
     18 PRINT_EXPR  
     19 JUMP_IF_FALSE_OR_POP 11887
     22 DELETE_GLOBAL  29281 (29281)
     25 STORE_SLICE+1 
 
In [8]: dis.dis("foo.bar is Foo.bar")
     0 BUILD_TUPLE   28527
     3 <46>     
     4 DELETE_GLOBAL  29281 (29281)
     7 SLICE+2    
     8 BUILD_MAP    8307
     11 PRINT_EXPR  
     12 JUMP_IF_FALSE_OR_POP 11887
     15 DELETE_GLOBAL  29281 (29281)

真实情况是当执行.操作符的时候,实际是生成了一个proxy对象,foo.bar is Foo.bar的时候,两个对象顺序生成,放在栈里相比较,由于地址不同肯定是False,但是id(foo.bar) == id(Foo.bar)的时候就不同了,首先生成foo.bar,然后计算foo.bar的地址,计算完之后foo.bar的地址之后,就没有任何对象指向foo.bar了,所以foo.bar对象就会被释放。然后生成Foo.bar对象,由于foo.bar和Foo.bar所占用的内存大小是一样的,所以又恰好重用了原先foo.bar的内存地址,所以id(foo.bar) == id(Foo.bar)的结果是True。

下面内容由邮件Leo Jay大牛提供,他解释的更加通透。

用id(expression a) == id(expression b)来判断两个表达式的结果是不是同一个对象的想法是有问题的。

foo.bar 这种形式叫 attribute reference [1],它是表达式的一种。foo是一个instance object,bar是一个方法,这个时候表达式foo.bar返回的结果叫method object [2]。根据文档:

    When an instance attribute is referenced that isn't a data attribute,
    its class is searched. If the name denotes a valid class attribute
    that is a function object, a method object is created by packing
    (pointers to) the instance object and the function object just found
    together in an abstract object: this is the method object.

foo.bar本身并不是简单的名字,而是表达式的计算结果,是一个 method object,在id(foo.bar)这样的表达式里,method object只是一个临时的中间变量而已,对临时的中间变量做id是没有意义的。
一个更明显的例子是,
 

print id(foo.bar) == id(foo.__init__)

输出的结果也是True

看 id 的文档[3]:

    Return the “identity” of an object. This is an integer (or long
    integer) which is guaranteed to be unique and constant for this object
    during its lifetime. Two objects with non-overlapping lifetimes may
    have the same id() value.
    CPython implementation detail: This is the address of the object in memory.

只有你能保证对象不会被销毁的前提下,你才能用 id 来比较两个对象。所以,如果你非要比的话,得这样写:
 

fb = foo.bar
Fb = Foo.bar
print id(fb) == id(Fb)

即把两个表达式的结果绑定到名字上,再来比是不是同一个对象,你才能得到正确的结果。

is表达式 [4] 也是一样的,你现在得到了正确的结果,完全是因为 CPython 现在的实现细节决定的。现在的is的实现,是左右两边的对象都计算出来,然后再比较这两个对象的地址是否一样。万一哪天改成了,先算左边,保存地址,把左边释放掉,再算右边,再比较的话,你的is的结果可能就错了。官方文档里也提到了这个问题 [5]。我认为正确的方法也是像id那样,先把左右两边都计算下来,并显式绑定到各自的名字上,然后再用is判断。

Python 相关文章推荐
python从入门到精通(DAY 3)
Dec 20 Python
pandas带有重复索引操作方法
Jun 08 Python
python实现朴素贝叶斯算法
Nov 19 Python
Python使用post及get方式提交数据的实例
Jan 24 Python
python实现蒙特卡罗方法教程
Jan 28 Python
详解如何管理多个Python版本和虚拟环境
May 10 Python
Python中的四种交换数值的方法解析
Nov 18 Python
对tensorflow 中tile函数的使用详解
Feb 07 Python
Python使用qrcode二维码库生成二维码方法详解
Feb 17 Python
Python动态导入模块:__import__、importlib、动态导入的使用场景实例分析
Mar 30 Python
Python连接Impala实现步骤解析
Aug 04 Python
python+opencv实现车道线检测
Feb 19 Python
详解Python2.x中对Unicode编码的使用
Apr 03 #Python
对于Python中线程问题的简单讲解
Apr 03 #Python
python BeautifulSoup设置页面编码的方法
Apr 03 #Python
用Python编写一个简单的FUSE文件系统的教程
Apr 02 #Python
用Python中的__slots__缓存资源以节省内存开销的方法
Apr 02 #Python
用Python的线程来解决生产者消费问题的示例
Apr 02 #Python
用实例分析Python中method的参数传递过程
Apr 02 #Python
You might like
PHP中实现图片的锐化
2006/10/09 PHP
Linux下ZendOptimizer的安装与配置方法
2007/04/12 PHP
无法在发生错误时创建会话,请检查 PHP 或网站服务器日志,并正确配置 PHP 安装(win+linux)
2012/05/05 PHP
PHP基于数组实现的分页函数实例
2014/08/20 PHP
将FCKeditor导入PHP+SMARTY的实现方法
2015/01/15 PHP
Laravel实现构造函数自动依赖注入的方法
2016/03/16 PHP
CCPry JS类库 代码
2009/10/30 Javascript
仅img元素创建后不添加到文档中会执行onload事件的解决方法
2011/07/31 Javascript
自定义的一个简单时尚js下拉选择框
2013/11/20 Javascript
Extjs4实现两个GridPanel之间数据拖拽功能具体方法
2013/11/21 Javascript
jquery UI Datepicker时间控件的使用方法(终结版)
2015/11/07 Javascript
下一代Bootstrap的5个特点 超酷炫!
2016/06/17 Javascript
JavaScript实现多重继承的方法分析
2018/01/09 Javascript
react-native 圆弧拖动进度条实现的示例代码
2018/04/12 Javascript
vue-cli的工程模板与构建工具详解
2018/09/27 Javascript
JQuery常见节点操作实例分析
2019/05/15 jQuery
jQuery实现提交表单时不提交隐藏div中input的方法
2019/10/08 jQuery
JS页面获取 session 值,作用域和闭包学习笔记
2019/10/16 Javascript
element中el-container容器与div布局区分详解
2020/05/13 Javascript
Vue执行方法,方法获取data值,设置data值,方法传值操作
2020/08/05 Javascript
[03:20]次级联赛厮杀超职业 现超级兵对拆世纪大战
2014/10/30 DOTA
OPENCV去除小连通区域,去除孔洞的实例讲解
2018/06/21 Python
对Python _取log的几种方式小结
2019/07/25 Python
Python 列表的清空方式
2020/01/13 Python
如何实现更换Jupyter Notebook内核Python版本
2020/05/18 Python
python怎么判断素数
2020/07/01 Python
sqlalchemy实现时间列自动更新教程
2020/09/02 Python
canvas简单连线动画的实现代码
2020/02/04 HTML / CSS
大学生护理专业自荐信
2013/10/03 职场文书
环保专项行动方案
2014/05/12 职场文书
经济信息系毕业生自荐信
2014/06/02 职场文书
2014世界杯球队球队口号
2014/06/05 职场文书
2014物价局民主生活会对照检查材料思想汇报
2014/09/24 职场文书
2016小学教师读书心得体会
2016/01/13 职场文书
Go语言读取txt文档的操作方法
2022/01/22 Golang
Promise静态四兄弟实现示例详解
2022/07/07 Javascript