Python如何定义一个只能被继承不能实例化的基类_结合ABC与__new__

Python如何定义一个只能被继承不能实例化的基类_结合ABC与__new__

用 abc.ABC 就够了，__new__ 不该掺和这事

想在Python里设计一个只能被继承、不能直接拿来创建对象的基类？其实标准答案非常明确：继承 abc.ABC，并且至少定义一个用 @abstractmethod 装饰的方法。就这么简单。

有些开发者习惯在 __new__ 方法里手动加判断来拦截实例化，这其实是画蛇添足。为什么这么说？因为这么做不仅多余，还会破坏Python内置的抽象基类（ABC）机制原本清晰的语义，连带着让IDE的智能提示、isinstance 检查这些工具链支持都变得不可靠。

一个典型的反面教材就是错误提示被“污染”。当你的类继承了 abc.ABC 但抽象方法没实现完，Python会抛出非常明确的错误：TypeError: Can't instantiate abstract class X with abstract method y。瞧，这报错信息一目了然，直接告诉你问题出在哪个抽象方法上。但如果你自己在 __new__ 里抛出一个通用的 TypeError 或 RuntimeError，这个清晰的线索就被掩盖了，调试起来会平添不少麻烦。

这里有几个关键点需要把握：

• 抽象方法必须用 @abstractmethod 这个装饰器明确标记出来，哪怕方法体里只有一个 pass。
• 只要子类没有实现基类中所有的抽象方法，它自己也无法被实例化，这个机制是自动的，不需要额外干预。
• abc.ABC 本质上是元类 ABCMeta 的一个便捷别名，它的魔法在于元类层面的 __call__ 方法，在对象创建的最早期就完成了拦截。

为什么不要在 __new__ 里做实例化拦截

要理解这一点，得先搞清楚对象创建的流程。__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 是不够的，必须至少声明一个 @abstractmethod。Python的规则是，只有当类包含至少一个抽象成员时，它才会被视作“真正的抽象类”，从而触发实例化拦截机制。

真需要运行时控制？用 __init_subclass__ 更安全

当然，存在一些更特殊的边缘场景。比如，你可能不是想控制实例化，而是想在子类被定义的那一刻就施加一些约束（例如禁止特定类继承，或者强制要求子类必须设置某个类属性）。

对于这类需求，正确的工具是 __init_subclass__ 这个类方法，而不是去碰 __new__ 或 __call__。

• __init_subclass__ 在子类被创建（定义）时自动调用，时机精准，语义清晰。
• 它只干预类的定义过程，完全不影响后续对象实例化的流程，也不会和ABC的抽象性校验产生任何冲突。
• 如果你的目标确实是阻止某些子类被定义（而非阻止其实例化），那么这就是最地道、最安全的实现方式。

说到底，抽象基类的核心设计契约就是“存在未实现的抽象方法，则禁止实例化”。把这个契约的执行权完全交给Python内置的 abc 模块来管理，远比自己在 __new__ 方法里缝缝补补要可靠得多。一个容易忽略的认知是：类的抽象性是由其元类（ABCMeta）在背后保证的，它是一种声明式的、元层面的约束，而不是靠我们在普通方法里模拟抛异常来实现的。