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

Question

所以我有一个函数，它接受一个 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] 传递给Union[List[T],T] 类型的参数，那么有两种可能性：
    • T 是 List[str]
    • T 是 str，
  • 我想知道的是，确定T 是什么的过程是否有一个特定的/学术/技术名称

Answer 1

• 部分回答我的第二个问题： 此过程的技术名称称为 TypeVar 匹配（有时也称为 TypeVar“求解”）。相关链接：https://github.com/microsoft/pyright/issues/910#issuecomment-667553334