问题描述
我试图永远调试我的代码,结果证明这是导致我出错的原因,这使查找它变得如此困难。一个简单的例子来演示我在说什么:
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)
它将按预期抛出错误。
那么,为什么首先要有此功能,才能在类的实例上创建新属性?幕后发生了什么事情来实现此行为?并且有什么方法可以禁用这种行为或至少在编程时以某种方式捕获它?
解决方法
标准Python类将实例属性存储在内部的dict
(名为__dict__
)上。没有特别的规则可以让它在__init__
中的分配与其他任何地方的分配之间做出有意义的区分。在__init__
之前是一个空的命名空间,__init__
可以添加到该命名空间,但是其他任何人也可以添加(现代CPython进行了一些优化,以减少内存使用,如果您仅在{{1 }},再也不会创建更多内容,但是如果您违反该规则以保留现有行为,它将退回到旧的,占用更多内存的存储空间。
这有时很方便,例如当该类上的另一个方法仅在调用该方法且需要进行计算时才希望懒惰地计算属性时。它只是使属性保持未定义状态,并在需要它的地方捕获__init__
并在那时计算(并缓存)该值。
这是高级脚本式语言(除了Python以外,其他默认允许该语言的语言包括Perl,Ruby和JavaScript,仅举几例),这是一种非常常见的设计,因为它们对类实例的基本定义是只是“一个在上面带有一些魔术的键控AttributeError
的字符串”。尽管他们可以制定规则以使事情变得更加严格,但这样做几乎没有好处,因此他们只是让事情变得尽可能灵活。
您注意到,这样的属性的自动生存可能会变得混乱,有时是不可取的。如果这是一个问题,并且您想预定义可以定义 的一组受限属性,只需使用有效属性的字符串名称在类本身上定义dict
。这将使用在基础属性数组中连续分配的插槽替换属性的基础__slots__
(插槽名称成为描述如何唯一访问每个插槽的描述符)。它通过避免每个实例相对浪费的dict
来节省内存,并且可以防止创建新属性。对于您的情况,您只需要这样做:
dict
尝试分配给class Test():
__slots__ = 'a',def __init__(self):
self.a = 0
属性(在类内或类外)的尝试将失败:
b
请注意,这还会禁用对类实例的弱引用;如果要允许,您必须在类中明确列出AttributeError: 'Test' object has no attribute 'b'
作为插槽。