使用TypeVar约束Union类型遇报错：输入输出类型匹配问题求助

我希望确保函数的输入与输出类型一致，尝试使用TypeVar进行类型约束但未成功。

原代码 #

from typing import TypeVar, Union, Any
import pandas as pd

class my_Class():
    def __init__(self):
        self.days = []
        self.count = 0

    def __call__(self, 
                 input: Union[dict, list[dict]], 
                 *args, 
                 **kwargs
                 ) -> Union[dict, list[dict]]:
        "some code"

尝试代码 #

from typing import TypeVar, Union, Any
import pandas as pd

T = TypeVar("T", bound=Union[dict, list[dict]])

class my_Class():
    def __init__(self):
        self.days = []
        self.count = 0
    def __call__(self, input: T, *args, **kwargs) -> T:
        "some code"

类型检查提示「期望类型T，实际传入Dict或List」，本以为通过bound约束后，TypeVar会适配定义的Union类型，想请教哪里出错了？

解决方法 #

你对bound参数的用法理解有误：bound是用来指定TypeVar的上界，要求T必须是该上界类型的子类型。但dict和list[dict]并不是Union[dict, list[dict]]的子类型——Union是联合类型，它的成员类型和自身是平级关系，不存在继承，所以类型检查器无法将传入的dict或list[dict]推断为T。

正确的做法是直接给TypeVar枚举允许的具体类型，而非使用bound：

from typing import TypeVar, Union, Any
import pandas as pd

# 直接指定T的可选类型为dict或list[dict]
T = TypeVar("T", dict, list[dict])

class my_Class():
    def __init__(self):
        self.days = []
        self.count = 0
    def __call__(self, input: T, *args, **kwargs) -> T:
        "some code"

这样类型检查器就能正确推断：传入dict时，T会被绑定为dict，返回值也必须是dict；传入list[dict]时，T绑定为list[dict]，返回值对应该类型，完全满足输入输出类型一致的约束。

额外说明：如果你的函数逻辑确实能保证输入输出类型严格匹配，这个写法完全适用；若逻辑中存在类型转换（比如把输入的dict转为list，或反之），则需要调整类型标注以匹配实际逻辑。

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