为何使用TypeAlias时mypy无法捕获类型错误？

问题原因 #

这不是mypy的bug，而是你忽略了泛型类型别名的参数化绑定细节。

你定义的T_hint: TypeAlias = tuple[V, V]是一个全局泛型类型别名，但在MyObj类的方法中直接使用T_hint时，mypy无法将类的泛型参数V与别名中的V自动关联起来。此时别名相当于未被参数化的泛型，mypy无法进行有效的类型检查。

正确的使用方式 #

有两种方法可以修复这个问题，让mypy正确捕获类型错误：

1. 显式参数化类型别名 #

在类方法中使用类型别名时，明确指定它绑定到类的泛型参数V：

from typing import Generic, TypeVar, TypeAlias

V = TypeVar("V")

T_hint: TypeAlias = tuple[V, V]

class MyObj(Generic[V]):
    def foo(self, arg: T_hint[V]) -> None:
        ...

mo = MyObj[int]()
mo.foo((3, 3.4))  # mypy报错：Argument 1 to "foo" of "MyObj" has incompatible type "tuple[int, float]"; expected "tuple[int, int]"

2. 将类型别名定义在泛型类内部 #

把类型别名放在泛型类里面，它会自动继承类的泛型参数，无需显式绑定：

from typing import Generic, TypeVar, TypeAlias

V = TypeVar("V")

class MyObj(Generic[V]):
    T_hint: TypeAlias = tuple[V, V]
    
    def foo(self, arg: T_hint) -> None:
        ...

mo = MyObj[int]()
mo.foo((3, 3.4))  # mypy正确报错

结论 #

可以用这种方式创建泛型类型别名，但必须确保别名的泛型参数与使用场景的泛型参数正确绑定——要么显式参数化，要么将别名定义在泛型类内部。

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