如何为添加Mixin的类装饰器编写适配pyright/mypy的类型标注

1. add_mixin的正确标注方式 #

你之前的写法错误在于试图继承Type[_T1]，Type[T]表示的是「类本身的类型」而非「类实例的类型」，不能作为基类继承。正确的做法是使用**交集类型（Intersection Type）**标注返回值，告诉类型检查器返回的类的实例同时具备原类和Mixin的所有属性方法。

兼容主流版本的写法 #

from typing import TypeVar, Type

class Mixin:
    def foo(self) -> int:
        return 1

# 定义泛型接收任意类类型
_T = TypeVar("_T")

def add_mixin(cls: Type[_T]) -> Type[_T & Mixin]:
    class WithMixin(cls, Mixin):
        __name__ = cls.__name__
        __doc__ = cls.__doc__
        # 你的其他动态选择Mixin、自定义逻辑可放在此处
    return WithMixin

@add_mixin
class B:
    def bar(self) -> int:
        return 2

b = B()
print(b.foo()) # 类型检查器可正常识别返回值为int
print(b.bar()) # 类型检查器可正常跳转定位到bar方法

这种写法在mypy 0.990+、pyright 1.1.270+版本都可以正常识别，不需要额外配置。如果需要兼容更旧版本的类型检查器，可以用Protocol预定义Mixin的接口，结合泛型返回实现相同效果。

2. Python类型系统进阶学习资源 #

• 核心PEP全集：除了你已经读过的PEP 483、484，还需要系统性阅读所有和类型系统相关的PEP：包括PEP 526（变量注解）、PEP 544（结构子类型/Protocol）、PEP 585（标准库容器泛型）、PEP 586（字面量类型）、PEP 604（联合类型简写语法）、PEP 612（参数规范）、PEP 646（可变泛型）、PEP 647（自定义类型守护）、PEP 673（Self类型）、PEP 695（新版泛型语法）、PEP 692（TypedDict作为kwargs注解）。这些PEP包含了类型系统每一个特性的设计动机、底层处理规则，是最权威的学习资料。
• 类型检查器官方文档：mypy和pyright的官方文档都有专门的进阶指南章节，包含了大量Python官方typing文档没有覆盖的特殊规则，比如装饰器的类型处理逻辑、类型推导的优先级、边缘场景的标注规则，还有大量实际案例可以参考。
• 主流类型友好库的源码：可以阅读pydantic、FastAPI、attrs这类重度依赖类型标注的库的源码，里面有大量复杂场景的标注实践，包括动态生成类的标注、高阶装饰器的泛型标注、复杂类型转换的类型守护实现等等，能快速积累复杂场景的标注经验。
• 类型检查器源码：如果需要彻底搞懂类型检查器的底层处理逻辑，可以直接阅读mypy或者pyright的核心模块源码，比如泛型处理模块、装饰器处理模块、类型推导模块的实现，能从根本上理解每一种标注的生效逻辑。

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