时间戳

首页 > 解决方案 > Python中的任何类型，没有自动强制

python - Python中的任何类型，没有自动强制

问题描述

Python 中的Any-type是一个类型注释，指定一个值在运行时可以采用的类型不受约束，不能静态确定。规则Any规定：

x: int = 8
y: Any = x

x: Any = 8
y: int = x

然而，第二条规则可能会导致一些不合理的行为：

x: Any = 7
y: str = x
# Statically y has the type str, while in runtime it has the type int

这种行为在某些用例中可能有意义。但是，我试图表示外部数据块的类型（例如来自 JSON-API 或 pickle 对象）。将返回类型注释为 anAny是有意义的，因为您静态地不知道数据将采用什么形式，然后进行isinstance检查和模式匹配以验证和提取数据的确切形状。然而，这个强制规则使得类型检查器不会验证这些检查是否正确，而是默默地将Any-types 转换为它推断的任何内容，这在运行时通常不是正确的行为。

目前，我正在定义Union该类型在运行时可能具有的所有可能值的类型，但这不是一个可持续的解决方案，因为我发现自己不断向Union.

Python 中是否有Any类似类型的类型只有第一个强制规则，而没有第二个？

标签： pythontypestype-hintingpython-typing

解决方案

该object类型是任何类型的有效基础，但反之则不然：

x: int = 8
y: object = x

x: object = 8
y: int = x     # error: Incompatible types in assignment (expression has type "object", variable has type "int")

在实践中，:object应该像:Any. 但是，误用:object并不会静默通过，因为object仅支持所有类型的最小操作：

x: int = 8
y: object = x

if isinstance(y, int):
    reveal_type(y)  # note: Revealed type is "builtins.int"
elif isinstance(y, list):
    reveal_type(y)  # note: Revealed type is "builtins.list[Any]"
else:
    reveal_type(y)  # note: Revealed type is "builtins.object"

推荐阅读