Question

T = TypeVar("T", bound=Union[str, int])


def connect_lists(list_1: list[T], list_2: list[T]) -> list[T]:
    out: list[T] = []
    out.extend(list_1)
    out.extend(list_2)
    return out

connect_lists([1, 2], ["a", "b"])

神话:

错误:不适用“联系——清单”第1类理由

T = TypeVar("T", bound=Union[str, int])


def connect_lists(list_1: Iterable[T], list_2: Iterable[T]) -> list[T]:
    out: list[T] = []
    out.extend(list_1)
    out.extend(list_2)
    return out

connect_lists([1, 2], ["a", "b"])

现在,迷惑不解。

清单与清单之间在这种情况下有什么区别?

Answer 1

<代码>Iterable is covariant - an Iterable [int]/code> is also an Iterable [intstr].

<代码>list is not covariant - a list [int] is not a list[int], 因为你可以在上添加斜体,你可以与“代码>>[int]做。

原文照搬了<代码>[1, 2]和[”a, “b”分别作为<编码>list [int]和list[str]。有了<代码>的第一个定义,便没有选择<代码>。 T使电话有效。但与第二项定义一样,<代码>[int] <>/code>为,即:Iterable[int], 和也是Iterable[int],> > >。

我没有想到的是,究竟是哪类推论如何奏效。永远不会有这样的幽灵。未来版本可能会以不同的推论来实施,例如,对两种投入清单采用<代码>>>list[int >>>>>>>>>>代码/代码,从而对密码通行证第一类进行核对。

友情链接