类型提示变量与Python中的另一个变量具有相同的类型

Question

例：

def f(...): ...
v: type(f) = decorate(f)

但VSCode的Python语言服务器似乎并不认识它（MyPy给它提供object类型？）。

这里的部分问题是decorate不是手动输入的，并且是不正确推断的。

Answer 1

型表达式通过类型检查器静态地进行评价。*复杂的表达式，例如type(f)并不能保证工作，因为type(f)的计算结果为运行时类型的f ，而不是它的静态注释值。**的类型检查程序不知道那个运行时类型是什么。 通常，您应该坚持使用PEP 484中描述的类型表达式以获得最大的兼容性。

这里的部分问题是decorate不是手动输入的，并且是不正确推断的。

所以解决它。 例如，您可以说它返回与其参数类型相同的对象：

T = typing.TypeVar('T')
d = typing.cast(typing.Callable[[T], T], decorate)
v = d(f) # v is inferred to have the same type as f

---

*类型表达式也在运行时进行计算，存储在__annotations__字段中，然后再也不用了，除非某些代码决定对它们进行内省。 此运行时功能很少使用，与问题无关。
**实际上它比这更糟糕，因为有人可能会使用自定义type()执行某些与内置完全不同的操作来修补模块。