Python如何定义一个只能被继承不能实例化的基类_结合ABC与__new__
使用 abc.ABC 实现抽象基类，避免在 __new__ 中手动拦截
在Python中设计一个仅用于继承、禁止直接实例化的基类，标准且推荐的做法是：继承 abc.ABC 并至少使用 @abstractmethod 装饰器定义一个抽象方法。这种方法简洁高效，符合Python语言的设计哲学。
部分开发者倾向于在 __new__ 方法内编写逻辑来阻止实例化，这种做法实属多此一举。它不仅冗余，还会干扰Python内置抽象基类（ABC）机制的正常工作，导致IDE智能提示、isinstance 类型检查等工具链功能失效，降低代码的可维护性。
一个典型的负面影响是错误信息的混淆。当类继承自 abc.ABC 但未完全实现其抽象方法时，Python会抛出清晰的错误：TypeError: Can't instantiate abstract class X with abstract method y。这条信息直接指明了缺失的具体方法。若在 __new__ 中抛出通用的 TypeError 或 RuntimeError，则会掩盖这一关键线索，增加调试难度。
掌握抽象基类的几个核心要点：
- 抽象方法必须使用
@abstractmethod装饰器明确标记，即使方法体仅为pass语句。 - 只要子类未完整实现基类中的所有抽象方法，该子类自身也无法被实例化，此机制由Python自动保障。
abc.ABC本质上是元类ABCMeta的语法糖，其核心机制在于元类层面的__call__方法，能在对象创建的最初阶段完成拦截。
为何应避免在 __new__ 方法中拦截实例化
理解这一点需要明确Python对象创建的完整流程。虽然 __new__ 是创建对象的第一步，但其调用时机发生在ABC元类完成抽象性检查之后。换言之，若一个类被判定为抽象类，其实例化请求会在执行流到达 __new__ 之前，就被元类的 __call__ 方法拦截。此时，在 __new__ 中编写的任何防御代码都不会被执行，成为无效逻辑。
此外，自定义 __new__ 可能引入新的风险。例如，若未在基类的 __new__ 中正确调用 super().__new__，可能导致连正常的子类对象也无法创建。或者，拦截逻辑设计有误，错误地阻止了子类的实例化，从而引发难以追踪的Bug。
立即学习“Python免费学习笔记（深入）”；
- ABC机制对实例化的拦截，发生在类被调用（即执行
X()）时，由ABCMeta.__call__触发，此时机远早于__new__方法。 - 手动在
__new__中编写拦截逻辑，会掩盖“抽象方法未实现”这一根本错误，误导调试方向。 - 诸如mypy等静态类型检查工具，仅识别标准的
@abstractmethod与abc.ABC约定，无法对__new__中的自定义逻辑提供理解与支持。
标准实践：使用带抽象方法的 abc.ABC 基类
以下是一个清晰、正确的代码示例，展示了如何正确定义一个抽象基类：
from abc import ABC, abstractmethod
class Shape(ABC):
@abstractmethod
def area(self) -> float:
pass
# 尝试实例化将立即报错：TypeError: Can't instantiate abstract class Shape...
# s = Shape()
class Circle(Shape):
def __init__(self, radius: float):
self.radius = radius
def area(self) -> float:
return 3.14159 * self.radius ** 2
c = Circle(2.0) # ✅ 子类实现抽象方法后可正常实例化
请注意，仅继承 ABC 并不足以触发实例化拦截。Python的规则是：只有当类包含至少一个使用 @abstractmethod 装饰的成员时，才会被识别为“抽象类”，从而激活实例化阻止机制。
若需运行时控制类定义，使用 __init_subclass__ 更安全
在某些特定边缘场景中，目标可能并非控制实例化，而是在子类被定义时施加约束（例如，禁止特定类继承，或强制要求子类设置某个类属性）。
针对这类需求，应使用 __init_subclass__ 这个类方法，而非修改 __new__ 或 __call__。
__init_subclass__在子类被创建（定义）时自动调用，时机精确，语义明确。- 它仅干预类的定义过程，完全不影响后续的对象实例化流程，也不会与ABC的抽象性校验产生任何冲突。
- 若目标确实是阻止某些子类的定义（而非阻止其实例化），此方法是最地道、最安全的实现方式。
总结而言，抽象基类的核心设计契约是“存在未实现的抽象方法，则禁止实例化”。将这一契约的执行完全交由Python内置的 abc 模块管理，远比在 __new__ 方法中进行修补更为可靠。一个关键认知是：类的抽象性是由其元类（ABCMeta）在背后保证的声明式、元层面的约束，而非通过普通方法中模拟抛出异常来实现。
