如何为TypeVar设置默认值？使Mypy自动推导默认类型

问题原因 #

你代码里的TypeVar("T", default=str)不生效，是因为标准库的TypeVar在Python 3.12之前并不支持default参数——这个参数是PEP 695引入的新特性，旧版Python或旧版Mypy会忽略这个参数，导致未指定类型时Mypy推导为Any。

解决方案 #

方案1：Python 3.12+（推荐） #

使用PEP 695引入的新泛型语法，直接给类型参数设置默认值，Mypy 1.5+完全支持：

from typing import Generic

# 直接在类定义里给T设置默认类型str
class BookCollection[T: str](Generic[T]):
    pass

books = BookCollection()  # Mypy会正确推导T为str

如果坚持用TypeVar，可以用Python 3.12+标准库的TypeVar（自带default参数）：

from typing import TypeVar, Generic

T = TypeVar("T", default=str)

class BookCollection(Generic[T]):
    pass

books = BookCollection()  # 此时Mypy会推导T为str

方案2：兼容Python 3.11及以下版本 #

如果需要兼容旧版Python，可以通过重载构造函数的方式让Mypy识别默认类型：

from typing import TypeVar, Generic, overload

T = TypeVar("T")

class BookCollection(Generic[T]):
    # 重载：无参数时返回BookCollection[str]
    @overload
    def __new__(cls) -> "BookCollection[str]": ...
    # 重载：指定类型时返回对应泛型实例
    @overload
    def __new__(cls, *args, **kwargs) -> "BookCollection[T]": ...
    # 实际构造逻辑
    def __new__(cls, *args, **kwargs):
        return super().__new__(cls)

books = BookCollection()  # Mypy推导为BookCollection[str]

这种方式不需要依赖新语法，旧版Mypy也能正确识别。

方案3：使用类型别名（简单但不够灵活） #

如果只是需要快速创建默认类型的实例，可以定义一个类型别名：

from typing import TypeVar, Generic

T = TypeVar("T")

class BookCollection(Generic[T]):
    pass

# 定义默认类型的别名
BookCollectionStr = BookCollection[str]

books = BookCollectionStr()  # 直接使用别名，类型明确

注意：bound参数的作用是限制类型参数的上限（比如T = TypeVar("T", bound=str)表示T必须是str的子类），它不能设置默认类型，所以确实无法满足你的需求。

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