什么打字.List <~T> [typing.Tuple [int]]是否意味着在Python的打字库中？</p> <pre><code>>>> from typing import List, Tuple >>> List[Tuple[int]] typing.List<~T>[typing.Tuple[int]] </code></pre> <p>这是什么类似Java的语法<code>List<~T></code>：

Question

虽然与Python的typing模块打我碰到好奇的东西来？这是什么意思？

Answer 1

让我们来看看：

typing.List<~T>[typing.Tuple[int]] 

1. typing.List意味着List
2. <~T>从typing库类型，名为意味着这种类型是通用的，它是在另一种类型的T定义的
3. [typing.Tuple[int]]意味着类型T是类型Tuple[int]。

在自然语言，你可以这样写的定义：

typing.List<~T>[typing.Tuple[int]]：一为int的标准列表元组

Answer 2

这不是实际的Python语法，所以不要尝试在程序中使用它。也就是说，这是他们如何选择表示泛型类型的类型参数。在泛型类型的repr中，声明的类型参数在类似Java的<>尖括号中列出，并且在每个类型参数之前使用+,-或~，具体取决于该参数是协变，逆变还是不是。

typing.List接受名为T单个非协变，非逆变类型参数，所以它的名字后，得到了<~T>。

您会注意到typing.Tuple的名字后没有任何<>的东西。 Tuple是一个奇怪的特例，因为它需要可变数量的类型参数。