Python 类型检查器比较：空容器推断

为什么空容器会破坏 Python 类型检查器 - 以及您可以采取什么措施

自 2015 年 PEP 484 引入类型提示以来，Python 的渐进式类型系统已经显着成熟。如今，数百万开发人员依靠静态类型检查器在 bug 投入生产之前捕获它们。但类型系统中有一个微妙的、令人沮丧的角落，即使是经验丰富的工程师仍然会遇到困难：空容器有什么类型？当您在没有注释的情况下编写 x = [] 时，您的类型检查器必须进行猜测 - 并且不同的检查器猜测不同。这种分歧给维护大型代码库的团队带来了真正的问题，其中切换或组合类型检查器可能会在一夜之间出现数百个意外错误。

本文详细介绍了四种主要的 Python 类型检查器（mypy、pyright、pytype 和 Pyre）如何处理空容器推理、它们为何不同，以及无论您选择什么工具，都可以采用哪些实用策略来编写类型安全的 Python。

核心问题：空容器本质上是不明确的

考虑一下 Python 中这行无害的代码：results = []。结果是列表[int]吗？列表[str]？列表[dict[str, Any]]？如果没有额外的背景，确实无法知道。 Python 运行时并不关心——列表本质上是异构的——但静态类型检查器需要为每个变量分配一个具体类型来完成它们的工作。这在 Python 的动态灵活性和静态分析试图提供的保证之间造成了根本的紧张关系。

字典和集合的问题更加复杂。空的 {} 实际上被解析为字典，而不是集合，这在类型级歧义之上增加了语法歧义。嵌套容器——想想defaultdict(list)或results = {k: [] for k in key}——将推理引擎推向极限。每个类型检查器都开发了自己的启发式方法，并且差异比大多数开发人员意识到的更为显着。

在处理实际工作负载的生产系统中，无论是处理客户记录的 CRM、生成行项目的发票模块，还是聚合指标的分析管道，空容器都会作为初始化模式不断出现。类型错误不仅会产生 linter 警告，还会产生错误的警告。它可以掩盖真正的错误，并渗透到运行时。

Mypy：使用隐式 Any 进行延迟推理

Mypy 是最古老且最广泛采用的 Python 类型检查器，它对空容器采取相对宽松的方法。当它在函数作用域遇到 x = [] 时，它会尝试推迟类型决策并从后续使用中推断元素类型。如果你写 x = [] 后跟 x.append(42)，mypy 将推断出 list[int]。对于容器填充在同一范围内的简单情况，这种“加入”策略出奇地有效。

然而，mypy 的行为会根据上下文和严格性设置发生巨大变化。在模块范围（顶级代码），或者当容器在填充之前传递给另一个函数时，mypy 通常会回退到 list[Any]。在 --strict 标志下，这会触发错误，但在默认模式下它会默默地通过。这意味着在没有严格模式的情况下运行 mypy 的团队可以积累数十个隐式类型的容器，这些容器充当类型系统的逃生口，从而违背了其目的。

一种特别微妙的行为：0.990 之前的 mypy 版本有时会在内部推断 list[Unknown]，然后在赋值时扩展到 list[Any]。 0.990 之后，推论被收紧，但这一变化打破了数量惊人的现实世界代码库，这些代码库一直依赖于许可行为而没有意识到。这是一个反复出现的主题——对空容器推理的更改是最具破坏性的类型检查器更新之一，因为这些模式是如此普遍。

Pyright：严格推理和“未知”类型

Pyright 由 Microsoft 开发并为 VS Code 中的 Pylance 提供支持，它采取了根本不同的哲学立场。而不是默默地

Related Posts

• 从搜索中删除露骨图片的更简单方法
• 显示 HN：VOOG – 使用 Python 和 tkinter GUI 的 Moog 风格复调合成器
• DJB的密码学奇旅：从代码英雄到标准批评者
• 长鑫存储一直以大约当前市场价格一半的价格提供 DDR4 芯片

• Question

  Answer