什么打字.List <~T> [typing.Tuple [int]]是否意味着在Python的打字库中? >>> from typing import List, Tuple >>> List[Tuple[int]] typing.List<~T>[typing.Tuple[int]]
>>> from typing import List, Tuple >>> List[Tuple[int]] typing.List<~T>[typing.Tuple[int]]
这是什么类似Java的语法List<~T>
:
问题描述:
答
让我们来看看:
typing.List<~T>[typing.Tuple[int]]
-
typing.List
意味着List
-
<~T>
从typing
库类型,名为意味着这种类型是通用的,它是在另一种类型的T定义的 -
[typing.Tuple[int]]
意味着类型T是类型Tuple[int]
。
在自然语言,你可以这样写的定义:
typing.List<~T>[typing.Tuple[int]]
:一为int的标准列表元组
答
这不是实际的Python语法,所以不要尝试在程序中使用它。也就是说,这是他们如何选择表示泛型类型的类型参数。在泛型类型的repr
中,声明的类型参数在类似Java的<>
尖括号中列出,并且在每个类型参数之前使用+
,-
或~
,具体取决于该参数是协变,逆变还是不是。
typing.List
接受名为T
单个非协变,非逆变类型参数,所以它的名字后,得到了<~T>
。
您会注意到typing.Tuple
的名字后没有任何<>
的东西。 Tuple
是一个奇怪的特例,因为它需要可变数量的类型参数。
+0
'''/''/''从3.6开始,python消失了。它现在只是打印'typing.List [typing.Tuple [int]]',所以你看不到它的方差。我找不到与此相关的问题,否则我会要求将它恢复原状:) – max
你是什么意思*“它来自哪里”*? – jonrsharpe
'List '只是基于[源代码](https://hg.python.org/cpython/file/3.5/Lib/typing.py#l489)的泛型类型'T'的列表' 〜'表示既不共同也不反对。 – jonrsharpe