Question

在下面的代码中，我不明白为什么useless_func在属于两个不同的对象时具有相同的ID？

class parent(object):
   @classmethod
   def a_class_method(cls):
     print "in class method %s" % cls

   @staticmethod
   def a_static_method():
     print "static method"

   def useless_func(self):
     pass

 p1, p2 = parent(),parent()

 id(p1) == id(p2) // False

 id(p1.useless_func) == id(p2.useless_func) // True

Answer 1

这是一个非常有趣的问题！

在您的条件下，它们看起来是一样的：

Python 2.7.2 (default, Oct 11 2012, 20:14:37) 
[GCC 4.2.1 Compatible Apple Clang 4.0 (tags/Apple/clang-418.0.60)] on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> class Foo(object):
...   def method(self): pass
... 
>>> a, b = Foo(), Foo()
>>> a.method == b.method
False
>>> id(a.method), id(b.method)
(4547151904, 4547151904)

然而，请注意，一旦你对它们采取任何措施，它们就会变得不同：

>>> a_m = a.method
>>> b_m = b.method
>>> id(a_m), id(b_m)
(4547151*9*04, 4547151*5*04)

然后，再次测试时，它们又发生了变化！

>>> id(b.method)
4547304416
>>> id(a.method)
4547304416

当访问实例上的方法时，＆＃34;绑定方法的实例＆＃34;退回。绑定方法存储对实例和方法的函数对象的引用：

>>> a_m
<bound method Foo.method of <__main__.Foo object at 0x10f0e9a90>>
>>> a_m.im_func is Foo.__dict__['method']
True
>>> a_m.im_self is a
True

（请注意，我需要使用Foo.__dict__['method']，而不是Foo.method，因为Foo.method会产生＆＃34;未绑定的方法＆＃34; ...其目的是作为锻炼给读者）

这个＆＃34;约束方法的目的＆＃34;对象是使方法＆＃34;表现得明智＆＃34;当它们像函数一样传递时。例如，当我调用函数a_m()时，相同与调用a.method()，即使我们没有明确引用a任何内容更多。将此行为与JavaScript（例如）进行对比，其中var method = foo.method; method() 不会产生与foo.method()相同的结果。

SO！这让我们回到最初的问题：为什么id(a.method)与id(b.method)产生的价值相同？我相信Asad是正确的：它与Python的引用计数垃圾收集器*有关：当评估表达式id(a.method)时，分配绑定方法，计算ID，以及绑定方法被解除分配。当分配下一个绑定方法 - 对于b.method - 时，它被分配到内存中的完全相同的位置，因为自从绑定方法以来没有任何（或已经是平衡数量的）分配已分配a.method。这意味着a.method似乎与b.method具有相同的内存位置。

最后，这解释了为什么第二次检查时内存位置似乎发生了变化：第一次和第二次检查之间发生的其他分配意味着第二次将它们分配到不同的位置（注意：它们被重新分配，因为它们的所有引用都丢失了;绑定的方法被缓存†，因此访问相同的方法两次将返回相同的实例：a_m0 = a.method; a_m1 = a.method; a_m0 is a_m1 => True）。

*：pedants注意：实际上，这与实际的垃圾收集器无关，垃圾收集器仅用于处理循环引用......但是......这是另一天的故事。
†：至少在CPython 2.7中; CPython 2.6似乎没有缓存绑定方法，这会让我发现没有指定行为。

Answer 2

以下是我的想法：

取消引用p1.useless_func时，会在内存中创建它的副本。此内存位置由id
由于没有对刚刚创建的方法副本的引用，因此GC会回收它，并且内存地址可以再次使用
取消引用p2.useless_func时，会在相同的内存地址（可用）中创建它的副本，您可以再次使用id检索它。
第二个副本是GCd

如果您要运行一堆其他代码并再次检查实例方法的ID，我会打赌id s彼此相同，但与原始运行不同。

此外，您可能会注意到，在David Wolver的示例中，只要获得对方法副本的持久引用，id就会变得不同。

为了证实这个理论，这里是一个使用Jython的shell会话（与PyPy相同的结果），它不使用CPython的引用计数垃圾收集：

Jython 2.5.2 (Debian:hg/91332231a448, Jun 3 2012, 09:02:34) 
[OpenJDK Server VM (Oracle Corporation)] on java1.7.0_21
Type "help", "copyright", "credits" or "license" for more information.
>>> class parent(object):
...     def m(self):
...             pass
... 
>>> p1, p2 = parent(), parent()
>>> id(p1.m) == id(p2.m)
False

为什么同一类的不同对象的方法具有相同的id？

2 个答案: