Python中的is和id用法分析
本文实例讲述了Python中的is和id用法。分享给大家供大家参考。具体分析如下：
(ob1 is ob2) 等价于 (id(ob1) == id(ob2))
首先id函数可以获得对象的内存地址，如果两个对象的内存地址是一样的，那么这两个对象肯定是一个对象。和is是等价的。Python源代码为证。
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;
但是请看下边代码的这种情况怎么会出现呢？
...: 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模块去看下两个比较语句到底做了什么。
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。根据文档：
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是没有意义的。
一个更明显的例子是，
输出的结果也是True
看 id 的文档：
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
print id(fb) == id(Fb)
即把两个表达式的结果绑定到名字上，再来比是不是同一个对象，你才能得到正确的结果。
is表达式也是一样的，你现在得到了正确的结果，完全是因为 CPython 现在的实现细节决定的。现在的is的实现，是左右两边的对象都计算出来，然后再比较这两个对象的地址是否一样。万一哪天改成了，先算左边，保存地址，把左边释放掉，再算右边，再比较的话，你的is的结果可能就错了。官方文档里也提到了这个问题 。我认为正确的方法也是像id那样，先把左右两边都计算下来，并显式绑定到各自的名字上，然后再用is判断。
希望本文所述对大家的Python程序设计有所帮助。
相关文章
这篇文章主要为大家详细介绍了Pandas时序数据，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下，希望能够给你带来帮助2022-03-03
密码的使用最早可以追溯到古罗马时期，《高卢战记》有描述恺撒曾经使用密码来传递信息，即所谓的“恺撒密码”。本文将利用Python实现简易的凯撒密码，感兴趣的可以了解一下2022-09-09
这篇文章主要介绍了Python获取DLL和EXE文件版本号的方法,实例分析了Python获取系统文件信息的技巧,需要的朋友可以参考下2015-03-03
本章中我们将讲述Python的对象类型，包括数字、整型、布尔型、长整形、浮点型、复数型、字符串、列表、元组、字典等。2014-10-10
Matlab 擅长于操作矩阵,而图像其实就是矩阵,这篇文章主要给大家介绍了关于matlab原始处理图像几何变换的相关资料,需要的朋友可以参考下2021-07-07
这篇文章主要介绍了pyhton中__pycache__文件夹的产生与作用详解，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2019-11-11
今天小编就为大家分享一篇对python修改xml文件的节点值方法详解，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧2018-12-12
Python Pickling 和 Unpickling 的区别
Python中的Pickling和Unpickling是与数据序列化和反序列化相关的重要概念,本文主要介绍了Python Pickling和Unpickling的区别,具有一定的参考价值,感兴趣的可以了解一下2023-11-11
这篇文章主要介绍了简单了解python的内存管理机制,文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下2019-07-07
这篇文章主要介绍了小试Python中的pack()使用方法，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教2022-06-06
最新评论