类__init__与方法中可变泛型变量的类型不匹配问题求助

在使用TypeVarTuple实现强类型装饰器时，类初始化中定义的self.handlers: list[Union[*HandlerTypes]]与pet_handler方法中的handler_func: Union[*HandlerTypes]在调用append时触发Pylance类型不匹配错误，提示Union[*HandlerTypes@AppModule]无法赋值给*HandlerTypes@AppModule。

解决办法 #

方法1：使用类型断言明确类型 #

通过typing.cast将handler_func强制转换为Union[*HandlerTypes]，让类型检查器认可该赋值操作：

from typing import Callable, Generic, Tuple, TypeVarTuple, Union, cast

# 省略其他类定义...

HandlerTypes = TypeVarTuple('HandlerTypes')

class AppModule(Generic[*HandlerTypes]):
    def __init__(self) -> None:
        self.handlers: list[Union[*HandlerTypes]] = []

    def pet_handler(self, handler_func: Union[*HandlerTypes]) -> Union[*HandlerTypes]:
        # 使用cast明确类型匹配
        self.handlers.append(cast(Union[*HandlerTypes], handler_func))
        return handler_func

方法2：定义Union类型别名简化声明 #

提前定义HandlerUnion别名，统一类内的类型引用，避免类型检查器的解析歧义：

from typing import Callable, Generic, Tuple, TypeVarTuple, Union

# 省略其他类定义...

HandlerTypes = TypeVarTuple('HandlerTypes')

class AppModule(Generic[*HandlerTypes]):
    def __init__(self) -> None:
        HandlerUnion = Union[*HandlerTypes]
        self.handlers: list[HandlerUnion] = []

    def pet_handler(self, handler_func: Union[*HandlerTypes]) -> Union[*HandlerTypes]:
        self.handlers.append(handler_func)
        return handler_func

方法3：临时忽略类型检查（不推荐） #

如果确认代码逻辑正确且需要快速消除报错，可以使用# type: ignore注释跳过该行的类型检查：

def pet_handler(self, handler_func: Union[*HandlerTypes]) -> Union[*HandlerTypes]:
    self.handlers.append(handler_func)  # type: ignore
    return handler_func

问题原因 #

Pylance对TypeVarTuple展开的Union类型在不同上下文（类初始化 vs 成员方法）中的解析存在差异，误将list[Union[*HandlerTypes]]的元素类型识别为*HandlerTypes（即每个元素必须是泛型参数中的某一具体类型），而非预期的Union[*HandlerTypes]，导致类型不匹配报错。

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