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

(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.barOut[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