为何定义Callable别名后作为泛型使用会报参数数量错误？

核心原因 #

直接赋值MyCallableAlias = Callable并没有创建泛型类型别名，只是将Callable这个泛型类型本身赋值给了变量。Mypy会把这种简单赋值的变量判定为非泛型别名，因此不允许传入[P, T]这类类型参数。

Callable是typing模块提供的特殊泛型类型，原生支持接收参数规格（ParamSpec）和返回值类型作为类型参数，但直接赋值得到的别名不会继承它的泛型特性。

正确的泛型别名定义方式 #

要创建支持类型参数的Callable别名，有两种可行方案：

方案1：使用TypeAlias标注（兼容Python 3.10+） #

from typing import Callable, TypeVar, ParamSpec, TypeAlias

T = TypeVar("T")
P = ParamSpec("P")

MyCallableAlias: TypeAlias = Callable[P, T]

def some_decorator(f: MyCallableAlias[P, T]): ...  # 可正常通过类型检查

方案2：Python 3.12+ 泛型别名新语法 #

from typing import Callable, TypeVar, ParamSpec

T = TypeVar("T")
P = ParamSpec("P")

type MyCallableAlias[P, T] = Callable[P, T]

def some_decorator(f: MyCallableAlias[P, T]): ...

补充说明 #

Mypy对类型别名的处理逻辑是：

• 若只是简单变量赋值（如X = Y），仅当Y是具体类型时，X才会被视为等价类型别名；
• 若Y是泛型类型，这种赋值不会让X成为泛型别名，而是将其视为无类型参数的“裸”泛型，传入参数时自然触发错误。

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