python - 通用列表联盟没有按我期望的方式工作

所以我有一个函数，它接受一个 obj 列表或一个 obj 并返回一个列表。

这是它的样子：

from typing import Union, List, TypeVar, Type

T = TypeVar('T')


def to_list(obj_type: Type[T], obj_or_list: Union[List[T], T]) -> List[T]:
    ...

如果我传入一个 str ，这很好用。例如

result: List[str] = to_list(str, "hi")

但是当我传入 str 列表（或任何对象的列表）时失败（通过 pyright 进行类型检查错误），例如

input_data: List[str] = ["hi"]
result: List[str] = to_list(str,input_data)

这是错误消息

“List[str | List[str]]”类型的表达式不能分配给声明的类型“List[str]”

看起来类型检查器（pyright）正在考虑to_list返回List[Union[List[str],str]]而不是List[str].

基本上，它没有解释T为str，而是解释T为Union[List[str], str] 这有点烦人，因为我认为它足够聪明，可以确定 T 是 str ，因为我明确地str将obj_type.

我的两个问题是：

from typing import Union, List, TypeVar, Type

T = TypeVar('T')


def to_list(obj_type: Type[T], obj_or_list: Any) -> List[T]:
    ...

是否有确定通用参数如何解析的技术名称？所以我可以搜索并了解它？
- 例如，基本上，如果我传入List[str]一个 type 的参数Union[List[T],T]，那么有两种可能性：
  - T是List[str]
  - T是str，
- 我想知道的是是否有一个特定的/学术/技术名称来确定什么T是

标签： pythongenericstypestype-hinting