为什么 `instance_of_object.foo is instance_of_object.foo` 评估为 False？ [复制]

Question

如果我有一个

class A:
  def foo(self):
    pass

计算结果为 True:

getattr(A, 'foo') is A.foo

但这会计算为False：

a = A()
getattr(a, 'foo') is a.foo

也一样

a.foo is a.foo

为什么？

我发现getattr(a, 'foo')和a.foo都用

表示

<bound method A.foo of <__main__.A object at 0x7a2c4de10d50>>)

所以没有提示......

Answer 1

添加到@GManNickG答案：

getattr(a, 'foo').__func__ is a.foo.__func__ 

将返回True。

Answer 2

至少在 CPython 中，绑定方法被实现为类 method 的实例。每次请求绑定函数的值时，都会得到该类的 new 实例。

x = a.foo
y = a.foo

assert x is not y
id(x)  # E.g. 139664144271304
id(y)  # E.g. 139664144033992
type(x)  # <class 'method'>
type(y)  # <class 'method'>

这个类所做的只是存储对实例的引用和 unbound 函数，当您调用该类时，它会使用存储的实例（以及您的其他参数）调用未绑定函数。

未绑定的函数，如 A.foo，只是常规的旧函数 - 没有构建代理类的新实例，因此身份按预期工作。

造成这种差异的原因是a.foo的语义取决于两个东西，a的值和A.foo的值。为了能够在以后的任何时间点得到这个含义，这两个值都需要存储。这就是method 类的作用。

相反，A.foo 的含义仅取决于单个值：A.foo。所以不需要额外的工作来存储任何东西，并且使用值本身。

您可能会考虑预分配绑定方法实例的想法，以便a.foo 始终返回相同的不可变对象 - 但鉴于 Python 的动态特性，每次只构造一个新对象更简单、更便宜，即使它们可能相同。

Answer 3

存储在类中的一些对象是descriptors，它们不遵循对象查找的常规规则。您在示例中处理的 foo 方法是一种（函数对象是描述符）。

描述符是定义__get__（以及可选的__set__ 和__delete__）方法的类的实例。这些方法控制当您在存储描述符的类的实例上查找描述符时会发生什么。

我认为举个例子可以更清楚地说明这一点：

class DescriptorClass:
    def __get__(*args):
        print("__get__ was called")
        return "whatever"

class OtherClass:
    descriptor_instance = DescriptorClass() # the descriptor instance is a class variable

other_instance = OtherClass()

# this calls the descriptor's __get__ method, which prints "__get__ was called"
result = other_instance.descriptor_instance

print(result) # will print "whatever", since that's what the __get__ method returned

__get__ 方法不需要在每次调用时都返回相同的内容。事实上，它通常不会。在函数被用作描述符（即方法）的特定情况下，每次查找函数时都会创建一个新的“绑定方法”对象。因此is 运算符不会将多个绑定方法视为同一个对象，即使它们可能将同一个函数绑定到同一个实例。