Python模式匹配与__subclasshook__的“暗黑魔法”：颠覆类型检查的潜能与边界

Python 3.10引入的模式匹配（pattern matching）与抽象基类（ABC）的__subclasshook__结合，创造了一种强大的、颠覆性的类型检查机制。通过自定义__subclasshook__，开发者能够以非传统方式定义类成员关系，甚至在目标类对抽象基类一无所知的情况下，实现对类的动态归属判断。这种能力进一步被模式匹配的解构特性放大，使得可以匹配包含特定字段的对象，而无需显式继承或声明。更进一步，通过动态创建ABC并组合逻辑（如“非”和“与”操作），可以构建出高度灵活的条件匹配器，极大地扩展了模式匹配的应用边界。

然而，这种“暗黑魔法”式的用法，尽管在技术上可行且富有创造性，却因__subclasshook__的内部缓存机制而受到限制，无法实现如状态化或条件性行为的持久化。尽管如此，利用__subclasshook__实现如“仅允许首次出现类型”或“交互式询问”等非典型行为仍是可能的。但作者明确警告，此类高级技巧应仅限于库的底层深处，切勿在日常协作代码中滥用，以免给团队带来维护负担和理解障碍。

Crimes with Python’s Pattern Matching

Let’s make the CPython team regret adding pattern matching to Python!

Hillel Wayne