python - 为什么 python 类属性的语义在分配给实例后会发生变化？

Question

我是 Python 的新手，对我看到的某些行为感到困惑。如果我定义

class Obj():
    a = 1
    b = 2

然后创建实例

x = Obj()

一切顺利

print(Obj.__dict__)
print(x.__dict__)
print(x.a,Obj.a)

产生

{'a': 1, '__module__': '__main__', 'b': 2, '__doc__': None}
{}
(1, 1)

但是如果我

x.a = 20

我明白了

{'a': 1, '__module__': '__main__', 'b': 2, '__doc__': None}
{'a': 20}
(20, 1)

我了解到，最初，a是类变量 Foo.a , 并且最初没有实例变量 a .我也明白，在这一点上。 x.a简单地指代 Obj.a .我也明白，当我分配给 x.a ，我创建一个实例变量x.a 屏蔽类变量Obj.a .但是，虽然我知道这(至少部分)与 Python 的其他赋值声明一致，但我对为什么类允许这样做感到困惑？天真地，我本以为分配给 x.a应该改变 Foo.a (因为那是它所指的那一点)或指的是 x.a在分配之前应该是一个错误(例如，“没有实例属性'a'。”)。

为什么允许这种行为。对于我们这些刚接触 Python 的人来说，这种行为与其他 OO 范例相对应吗？

换句话说:我想不出有什么地方可以说 x.a并表示 Obj.a然后，在下一行中说 x.a = ...让它不再意味着Obj.a .有可能我只是不记得了，一个这样的例子——或者确认没有这样的东西——将是一个完美的答案。

Answer 1

您完美地概括了语义。它以这种方式工作，因为:

1. 在对象上查找属性必须返回对象属性，怎么可能不呢？

2. 如果对象上不存在类属性，则在对象上查找属性必须找到类属性，因为这是对象获取方法以及类上定义的任何其他内容的方式。

3. 在对象上设置属性必须创建对象属性。

4. 因为在 Python 中没有声明，创建属性的唯一方法是实际设置它，所以#3 必须在对象上设置属性。

如果没有您描述的行为，我看不出有什么方法可以使 1 到 4 正常工作。

我不确定如何用其他语言来描述它。你说，“如何用面向对象的术语来思考这个问题。”不要陷入假设其他语言“定义”OO 的陷阱。面向对象在所有语言中的实现方式都不同。

补充:你说，

I'd have expected that either the assignment to x.a should change Foo.a (since that's what it has referred to up to that point) or that referring to x.a prior to the assignment should be an error (e.g., "There's no instance attribute 'a'.").

因为 Python 没有声明，属性在被赋值之前不以任何方式存在。如果分配给对象的属性并没有创建它，您将如何创建对象属性？也就是说，通过一个没有 x 属性的类的示例，以及该类的一个实例，o.x = 17 会做什么？