为何为Python Dataclass字段设置默认值会使其变为类属性？

先看本质：Python类里的赋值语句本来就会创建类属性，bar: int = 0就是给类A直接定义了一个名为bar的类属性，值为0；而foo: int只是类型注解，没有赋值动作，所以类A上根本不存在foo这个属性，自然访问A.foo会报错。

dataclass是基于Python类的规则做封装的，它对这两类字段的处理逻辑如下：

• 对于没有默认值的foo：dataclass自动生成的__init__方法会把它设为必填参数，当你创建实例A(1)时，会把传入的参数值赋值给实例的self.foo，所以只有实例才有foo属性，类上不会有。
• 对于带默认值的bar：dataclass生成的__init__会把bar设为可选参数，默认值直接复用类属性A.bar的值。创建实例时，如果没传bar，就会把类属性的0赋值给self.bar，所以实例也会有自己的bar属性；但类本身的bar属性依然存在，这就是你能直接访问A.bar得到0的原因。

至于dataclass阻止可变默认值，是因为如果直接写bar: list = []这种写法，类属性bar会是同一个列表实例，所有没传bar参数的dataclass实例都会共享这个列表，这会导致意外的bug。所以dataclass强制要求用field(default_factory=list)来生成可变默认值，这样每次创建实例时都会生成新的列表，避免共享问题。

简单来说，这个差异本质是Python类属性的基本规则，dataclass只是在这个基础上做了封装，利用类属性存储字段默认值，同时通过生成的__init__确保实例拥有独立的属性。

内容的提问来源于stack exchange，提问作者mahkitah