Python注册虚拟子类时为何不强制要求实现抽象方法？

这既不是Python的设计bug，也不是未文档化的隐藏行为，本质是对abc模块虚拟子类的机制存在理解偏差。

两类子类的约束差异 #

abc模块对两种和抽象基类（ABC）绑定的类，执行的校验规则完全不一样：

• 对直接继承ABC的普通实体子类：Python会在类定义结束、类实例化两个阶段自动做检查，强制要求类实现所有被@abstractmethod标记的方法，缺任何一个都会直接抛TypeError，这就是常规认知里"抽象方法必须被子类实现"的适用范围。
• 对通过register()注册的虚拟子类：这个接口从设计上就直接跳过了所有抽象方法实现校验。注册动作只会修改类型判断的结果：注册完之后issubclass(io.FileIO, MyFile)、isinstance(任意io.FileIO实例, MyFile)都会返回True，但既不会把ABC里的方法、属性注入到虚拟子类里（也就是提到的虚拟子类没法调用超类方法的特性），也不会检查虚拟子类到底有没有实现ABC里定义的抽象方法。

实际行为验证 #

示例代码运行不报错是完全符合设计预期的：

import abc
import io

class MyFile(abc.ABC):
    @abc.abstractmethod
    def self_destruct(self):
        raise NotImplementedError

MyFile.register(io.FileIO)

# 类型判断会按虚拟子类规则返回True
print(issubclass(io.FileIO, MyFile))  # 输出: True

# 但调用不存在的方法会直接抛属性错误，根本不会触发抽象方法的校验拦截
f = io.FileIO("test.txt", "w")
f.self_destruct()  # 抛出 AttributeError: 'FileIO' object has no attribute 'self_destruct'

设计逻辑说明 #

register()本质是给开发者留的手动类型声明入口：调用这个方法的动作，就等于向Python运行时承诺"我保证传入的这个类完全符合当前ABC定义的接口规范"，Python不会替开发者做接口合规性检查，后续如果出现方法缺失的问题，责任完全在写register调用的开发者身上。
之前的预期偏差在于，把只对实体继承子类生效的"必须实现抽象方法"规则，错误套用到了手动注册的虚拟子类上。

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