主页 / coding / 问题 / 78664393
Accepted
bzm3r
Asked: 2024-06-25 03:54:49 +0800 CST

缩小泛型类型时，什么决定了类型变量的顺序？

  • 772

注意：本问题涉及 Python 3.12+

假设我有：

from typing import Any, TypeVar

import numpy as np


T = TypeVar("T")
U = TypeVar("U")
ListLike = T | list[T] | tuple[T, ...] | np.ndarray[Any, U]
ListLikeStr = ListLike[str, np.object_]
# ListLikeStr should be: str | list[str] | tuple[str, ...] | np.ndarray[Any, np.object_]

这有效，但幸运的是。我本可以这样写：ListLike[np.object_, str]，然后我会得到ListLikeStrbeing np.object_ | list[np.object_] | tuple[np.object_, ...] | np.ndarray[Any, str]，但这不是我想要的。

理想情况下，我可以这样做：ListLike[T=str, U=np.object_]，但这样做行不通。那么，当我在 中实例化类型变量时，是什么决定了顺序ListLike？当我写 时，ListLike“知道”T与str和U相对应？np.object_ListLike[str, np.object_]

python

1 个回答

  1. Best Answer

    在“传统”类型别名中，先引用的即先执行。

    PEP 695 type声明是为了解决这个问题而创建的：

    （游乐场链接：Pyright）

    type A[U: str, T] = T | list[T] | tuple[T, U]

a: A[int, str]  # error: "int" is not a subtype of "str"
b: A[str, int]  # fine

reveal_type(b)  # str | list[str] | tuple[int, str]

    Mypy尚未添加对它的支持，但您可以TypeAliasType从中导入typing_extensions以获得相同的结果（所有 Python 版本）：

    （游乐场链接：Mypy、Pyright）

    from typing import TypeVar
from typing_extensions import TypeAliasType

T = TypeVar('T')
U = TypeVar('U', bound = str)
A = TypeAliasType('A', T | list[T] | tuple[T, U], type_params = (U, T))

a: A[int, str]  # error: "int" is not a subtype of "str"
b: A[str, int]  # fine

reveal_type(b)  # int | list[int] | tuple[int, str]
    • 1

相关问题