为何仅实现@property getter就能实例化Python抽象类？

为什么PartialImplementation能被实例化？ #

Python的abc模块判断抽象方法是否被实现时，是按属性/方法的名称来检查的，不会把property的getter和setter当成两个独立的抽象成员。

在基类Base里，value的getter和setter都被标记为抽象，但它们共享同一个名称value。当子类PartialImplementation实现了带@property装饰的getter后，这个类里就存在了value的定义，abc机制会判定该抽象名称已经被覆盖，因此允许实例化。

核心逻辑就是：ABC只看名称是否被实现，不管你实现的是property的哪一部分。

为什么要把setter纳入抽象接口？ #

把setter标记为抽象，是在接口契约层面明确：这个属性的设计初衷是支持读写操作的。子类可以选择只实现getter（做成只读属性），但这是子类主动的设计选择，而非基类契约的缺失。

如果子类没实现setter，调用实例的value赋值操作时会触发AttributeError: can't set attribute，这是合理的——因为子类仅提供了只读实现，基类的抽象setter只是定义了“应当具备设置能力”的契约，子类有权选择不满足这个契约，但这是明确的设计决策。

另外，要是你想强制子类必须同时实现getter和setter，默认ABC机制做不到，得自己加额外检查（比如在基类__init__里验证，或者自定义元类），但Python原生ABC就是按名称来处理抽象成员的。

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