在 Python 开发中，使用空容器（如 `[]` 或 `{}`）而不显式声明类型是一种常见做法，但这给静态类型检查器带来了推断难题。本文深入对比了 Mypy、Pyright、Pytype 等主流工具的三种核心策略：推断为 `Any`、基于所有后续用法推断以及基于首次用法推断。文章详细分析了这三种策略在类型安全性、错误定位精准度及性能开销上的优劣。作者指出，推断为 `Any` 虽然方便但牺牲了安全，而“基于首次用法推断”虽然可能导致误报，但能更早地发现并指出 Bug 源头，为开发者在代码质量与开发效率之间提供了最佳平衡。
