如何为Qt的Slot装饰器添加可变泛型类型提示？

问题背景 #

这是面向类型提示专业人士的技术问题，源自Qt框架。现有Slot()装饰器接受可变数量的类型参数，这些类型需与被装饰方法去掉self后的参数签名匹配，但目前无类型检查，希望实现该检查。

QtCore.pyi中的原始定义 #

class Slot(object):
    def __init__(self, *types: type, name: Optional[str] = ..., result: Optional[str] = ...) -> None: ...
    def __call__(self, function: Callable[P, T]) -> Callable[P, T]: ...

使用示例 #

from PySide6.QtCore import Slot

class C:
    @Slot(str, int)  # 这些参数需匹配foo()的参数数量与类型
    def foo(self, text: str, num: int) -> None:
        print(f"{text.lower()}, {num.__abs__()}")

C().foo("ABC", -123)

已尝试的方案 #

单个/固定数量参数的适配 #

已实现单个或固定数量类型参数的适配，但不够优雅，使用了3个TypeVar：

T_arg = TypeVar('T_arg')
T_self = TypeVar('T_self')
T_ret = TypeVar('T_ret')

class Slot(Generic[T_arg]):
    def __init__(self, types: Type[T_arg], name: Optional[str] = ..., result: Optional[str] = ...) -> None: ...
    def __call__(self, function: Callable[[T_self, T_arg], T_ret]) -> Callable[[T_self, T_arg], T_ret]: ...

尝试用TypeVarTuple扩展可变参数 #

之后尝试用TypeVarTuple扩展到可变参数，但未能按预期工作：

T_args = TypeVarTuple('T_args')
T_self = TypeVar('T_self')
T_ret = TypeVar('T_ret')

class Slot(Generic[*T_args]):
    def __init__(self, types: Type[*T_args], name: Optional[str] = ..., result: Optional[str] = ...) -> None: ...
    def __call__(self, function: Callable[[T_self, *T_args], T_ret]) -> Callable[[T_self, *T_args], T_ret]: ...

其中types: Type[*T_args]写法有误，但能传达核心意图。

核心问题 #

请问是否可通过纯类型注解实现这种参数匹配检查，还是必须依赖类型检查器的自定义插件？

补充说明 #

已找到相关讨论，这种可变参数的类型标注可能是Python typing模块的计划特性。

回答 #

目前标准Python typing体系下，直接用原生类型注解实现这种严格的可变参数匹配存在限制——你尝试的Type[*T_args]写法不符合当前语法规范，TypeVarTuple虽支持可变类型参数的泛型定义，但无法直接用于标注__init__的可变位置参数类型。

如果想仅靠原生类型注解实现近似效果，可以借助Unpack和Type的组合，但需要依赖mypy、pyright等类型检查器的新版本支持，写法如下：

from typing import TypeVarTuple, Generic, Callable, Type, Unpack, Optional, TypeVar

T_args = TypeVarTuple('T_args')
T_self = TypeVar('T_self')
T_ret = TypeVar('T_ret')

class Slot(Generic[Unpack[T_args]]):
    def __init__(self, *types: Type[Unpack[T_args]], name: Optional[str] = ..., result: Optional[str] = ...) -> None: ...
    def __call__(self, func: Callable[[T_self, Unpack[T_args]], T_ret]) -> Callable[[T_self, Unpack[T_args]], T_ret]: ...

注意这种写法在部分旧版本类型检查器中可能存在兼容性问题，因为Type[Unpack[T_args]]的用法并未被所有工具完全支持。

如果需要完全可靠的类型检查，目前更可行的方案是编写类型检查器的自定义插件：

• 针对mypy，可以通过插件机制拦截Slot装饰器的使用，手动校验装饰器参数与被装饰方法的参数签名是否匹配
• 针对pyright，可以利用其自定义规则功能实现类似的校验逻辑

你提到的“typing模块计划特性”确实存在相关社区讨论，未来Python的typing体系可能会支持更灵活的可变参数类型标注，但目前尚未正式落地。

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