为什么当你设置一个不存在的类的属性时，python 不会抛出异常

Question

我一直试图调试我的代码，结果发现这是我错误的原因，很难找到。一个简单的例子来演示我在说什么：

class Test():
  def __init__(self):
    self.a = 0

x = Test()
x.b = 2
print(x.a)
print(x.b)

此代码不会抛出任何错误。事实上，它会成功打印出 0 和 2。所以即使 Test 不包含实例变量b，它仍然会在我分配它时创建它。如果我初始化第二个测试变量

y = Test()
print(y.b)

它会按预期抛出错误。

那么，为什么首先存在此功能，以便能够在类的实例上创建新属性？幕后发生了什么来实现这种行为？有什么方法可以禁用这种行为，或者至少在编程时以某种方式捕获它？

Answer 1

标准 Python 类将实例属性存储dict在引擎盖下（名为__dict__）。没有特殊的规则让它在内部__init__赋值和别处赋值之间做出有意义的区分；在__init__它是一个空命名空间之前，__init__可以添加到该命名空间，但其他任何人也可以（现代 CPython 有一些优化来减少内存使用，如果你只在其中创建相同的属性集__init__并且不再创建更多，但它会回退到旧的，如果您违反该规则以保留现有行为，则需要更多内存密集型存储）。

这有时很方便，例如，当类上的另一个方法仅在调用该方法并且需要计算时才想要懒惰地计算属性。它只是使属性未定义，并在需要它的地方捕获AttributeError并计算（和缓存）当时的值。

这是高级脚本类语言中非常常见的设计（除了 Python，其他默认允许这样做的语言包括 Perl、Ruby 和 JavaScript，仅举几例），因为它们对类实例的基本定义只是“一个弦上dict有一些魔法键”。虽然他们可以制定规则使事情变得更加严格，但这样做并没有什么好处，所以他们只是让事情尽可能灵活。

正如您所注意到的，像这样的属性自动激活可能会变得混乱，而且有时是不可取的。如果这是一个问题，并且您想预先定义一组可以定义的受限属性，只需__slots__使用有效属性的字符串名称在类本身上定义即可。这将用底层dict属性数组中连续分配的插槽替换底层for 属性（插槽名称成为知道如何唯一访问每个插槽的描述符）。它通过避免相对浪费的dict每个实例来节省内存，并且会阻止创建新属性。对于您的情况，您只需执行以下操作：

class Test():
  __slots__ = 'a',
  def __init__(self):
      self.a = 0

并尝试分配给b属性（在类内部或外部）将因以下原因而死亡：

AttributeError: 'Test' object has no attribute 'b'

请注意，这也禁止对类的实例进行弱引用；'__weakref__'如果你想允许，你必须明确地列为类中的一个插槽。