Python中如何绕过C实现re.Match类的不可继承限制

CPython对C扩展类型的可继承判断逻辑非常直接：仅检查类型对象的tp_flags字段是否置位Py_TPFLAGS_BASETYPE（常量值固定为0x0010）标志，不存在其他额外的校验逻辑。完全可以在不修改C源码、不手写全量方法转发的前提下，直接补全这个标志位获得原生的类继承能力。

核心实现步骤 #

1. 兼容现代Python（3.10+）的无依赖实现 #

现代CPython已经将类型的tp_flags通过__flags__属性直接暴露给Python层，仅需3行代码即可完成标志补全，之后可以像普通类一样定义re.Match的子类：

import re

# 常量定义：Py_TPFLAGS_BASETYPE 为C层固定的允许基类标志位
TPFLAGS_ALLOW_SUBCLASS = 0x0010
# 给re.Match类型补上可继承标志
re.Match.__flags__ |= TPFLAGS_ALLOW_SUBCLASS

# 直接定义继承类，不会再触发"type 're.Match' is not an acceptable base type"报错
class Region(re.Match):
    # 可直接复用所有re.Match原生方法、属性，无需手动转发
    @property
    def matched_region(self):
        # 直接调用父类的group()、span()等原生方法
        return f"匹配范围[{self.start()}:{self.end()}] 内容：{self.group()}"

这种实现的特性完全符合Pythonic要求，也完全规避了你提到的两个待选方案的弊端：

• 不需要修改C源码、编译自定义Python解释器，所有修改在运行时完成
• 不需要手写全量的方法转发层，原生继承的体验和普通类完全一致
• 继承得到的类是原生类型，所有依赖re.Match实例的原生逻辑（比如正则引擎返回值、其他库的类型判断）都可以无缝兼容
• 方法、属性查找完全走Python原生MRO逻辑，不会出现代理类漏转发方法的问题
• 不需要引入任何第三方依赖，全部用Python标准库能力实现

2. 兼容低版本Python的实现 #

对于未开放__flags__可写属性的旧版本（3.9及更早），可以通过标准库ctypes直接定位类型对象的内存位置，修改对应的标志位，核心逻辑和上面完全一致，仅需要几行内存操作代码即可：

import re
import ctypes

# 拿到re.Match的类型对象实例
re_match_cls = type(re.fullmatch("test", "test"))
# 64位系统下PyTypeObject的tp_flags字段固定偏移为120，该结构字段位置跨3.x版本稳定
TPFLAGS_OFFSET = 120
# 读取当前标志值，补上可继承位
current_flags = ctypes.c_uint.from_address(id(re_match_cls) + TPFLAGS_OFFSET).value
ctypes.c_uint.from_address(id(re_match_cls) + TPFLAGS_OFFSET).value = current_flags | 0x0010

关键注意事项 #

标志位修改是进程级全局生效的，仅新增“允许作为基类”的能力，不会修改re.Match任何已有方法的逻辑，也不会影响原有正则匹配的运行结果。如果需要严格的隔离范围，可以在修改前记录原始__flags__值，不需要继承操作时再还原即可。

CPython默认不给re.Match开启这个标志，本质是核心开发者出于设计上的谨慎考虑（认为Match实例的生命周期由正则引擎托管，不建议用户随意扩展），并非这个类型存在本质上不可继承的技术障碍。实际使用中只要不重写C层实现的核心方法，仅在子类中新增自定义属性、方法，完全不会触发引擎的内部异常。

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