今天，我遇到了一个带有
type我已经做了一些关于何时应该使用
typeType我的问题：
typeTypetypeType研究
Typetyping3.7.4.3# Internal type variable used for Type[]. CT_co = TypeVar('CT_co', covariant=True, bound=type) # This is not a real generic class. Don't use outside annotations. class Type(Generic[CT_co], extra=type): """A special construct usable to annotate class objects. ```
看起来
TypetypeGeneric示例
这里是一些使用
Python==3.8.5mypy==0.782from typing import Type
def foo(val: type) -> None:
reveal_type(val) # mypy output: Revealed type is 'builtins.type'
def bar(val: Type) -> None:
reveal_type(val) # mypy output: Revealed type is 'Type[Any]'
class Baz:
pass
foo(type(bool))
foo(Baz)
foo(Baz()) # error: Argument 1 to "foo" has incompatible type "Baz"; expected "type"
bar(type(bool))
bar(Baz)
bar(Baz()) # error: Argument 1 to "bar" has incompatible type "Baz"; expected "Type[Any]"
显然
mypytypeType它们之间有多种关联。
typeTypelistlist((1, 2))Listreveal_type(type(1))
我们问当给定 1 时，
typeTypeType[Literal[1]]Typetype转向您的示例，位于：
class Type(Generic[CT_co], extra=type):
...
我们没有将
extratypeextratypeTypeextra=typeextra: type非常不同：一个是在运行时赋值，一个是在类型检查时使用类型提示进行注释。
现在有趣的部分是：如果
mypyTypefrom typing import Type, TypeVar
T = TypeVar("T")
def smart(t: Type[T], v: T) -> T:
return v
def naive(t: type, v: T) -> T:
return v
v1: int = smart(int, 1) # Success.
v2: int = smart(str, 1) # Error.
v3: int = naive(int, 1) # Success.
v4: int = naive(str, 1) # Success.
v1v3v4v4naive1intstrtypeGenericsmart我认为这更多的是语言限制。您可以看到 PEP 585 正在尝试弥合同样类型的差距，但针对的是
listList