Python泛型函数中默认参数的Type类型引发mypy类型检查报错的问题

嗨，我来帮你捋清楚这个问题～你的代码运行正常，但mypy的报错其实是合理的，不是它的bug，咱们一步步拆解来看：

首先还原你的场景，你写了一个动物工厂的泛型函数，代码如下：

from typing import Type
class Animal:
    def speak(self):
        assert False

class Dog(Animal):
    def speak(self):
        print("bark")

def make_animal[T : Animal](animal_class: Type[T] = Animal) -> T:
    return animal_class()

dog = make_animal(Dog)
dog.speak()
>>>bark

运行逻辑完全符合预期，但用mypy检查时会弹出这个错误：

$ mypy test.py
error: Incompatible default for argument "animal_class" (default has type "type[Animal]", argument has type "type[T]")  [assignment]
$ mypy --version
mypy 1.15.0 (compiled: yes)

为什么会触发这个报错？ #

mypy的校验在这里是严谨的：你的泛型参数T被约束为Animal的子类，但函数签名里的参数类型是type[T]。当用户调用make_animal()不传参数时，T会被推断为Animal，这时候默认值和参数类型匹配；但如果用户显式指定T为某个子类（比如make_animal[Dog]()），那type[T]就变成了type[Dog]，而你的默认值Animal是type[Animal]——Animal类根本无法实例出Dog类型的对象，mypy会认为这种场景存在类型风险，所以抛出了错误。

两种可行的修复方案 #

方案一：给TypeVar指定默认类型

你可以在定义TypeVar时，直接给它绑定默认类型Animal，这样当用户不传参数时，T会自动匹配为Animal，此时type[T]就和默认值完全兼容了：

from typing import Type, TypeVar

# 定义带默认值的TypeVar
T = TypeVar("T", bound=Animal, default=Animal)

class Animal:
    def speak(self):
        assert False

class Dog(Animal):
    def speak(self):
        print("bark")

def make_animal(animal_class: Type[T] = Animal) -> T:
    return animal_class()

方案二：使用函数重载明确场景

如果你想更清晰地区分“传参”和“不传参”的两种调用场景，可以用函数重载来定义不同的签名，让mypy能精准推断每种情况的类型：

from typing import Type, TypeVar, overload

class Animal:
    def speak(self):
        assert False

class Dog(Animal):
    def speak(self):
        print("bark")

T = TypeVar("T", bound=Animal)

# 重载1：传递子类时，返回对应子类实例
@overload
def make_animal(animal_class: Type[T]) -> T:
    ...

# 重载2：不传参数时，返回Animal实例
@overload
def make_animal() -> Animal:
    ...

# 统一实现逻辑
def make_animal(animal_class: Type[Animal] = Animal) -> Animal:
    return animal_class()

这两种方案都能让mypy顺利通过类型检查，同时也能保证代码的类型安全性～

备注：内容来源于stack exchange，提问作者Mike