Mypy 1.10.0+dev Documentation

《Mypy 1.10.0+dev Documentation》总结如下： ### 1. 安装与运行 - **安装**：Mypy 需要 Python 3.8 或更高版本，使用 pip安装：`python3 -m pip install mypy`。 - **运行**：执行 `mypy program.py` 进行静态类型检查，无需运行代码即可报告错误。 - **特点**：支持逐步采用，直接运行旧代码可能报告较少错误，需添加类型注释以获取有用诊断。 ### 2. 配置文件 - **选项**： - `warn_incomplete_stub`：警告 typeshed 中缺少类型注释。 - **报告生成**：包括 `any_exprs_report`、`cobertura_xml_report`、`html_report` 等，生成报告会禁用增量模式并降低性能，建议仅在 CI 中使用。 - `incremental`：启用增量模式，默认为 `True`。 - `cache_dir`：指定缓存目录，默认为 `.mypy_cache`。 - 其他配置如 `python_version`、`platform` 等，可设置目标程序的版本和平台。 ### 3. 常见问题与解决方案 - **名称冲突**：方法名与已知类型冲突时，可用别名解决，例如 `bytes_ = bytes`。 - **开发版本**：可从 GitHub 源码安装最新开发版本。 - **类型别名与变量**：区分 `Type[...]` 变量和类型别名，前者需显式注释，后者为模块顶级赋值。 - **条件性覆盖**：根据 Python 版本条件定义行为，未满足条件的 overload 会被忽略。 ### 4. 高级类型系统 - **Protocol**：定义协议类型，用于结构检查。 - **overload**：通过 `@overload` 装饰器实现函数重载。 - **Type Checking**：支持类型推导和显式注释，eg `reveal_type(func(A()))` 显示类型。 ### 5. 贡献与社区 - 鼓励贡献，参与开发、文档、测试等，适合各级别参与者。 - 联系开发团队了解更多贡献方式。 ### 6. 常见问题解答 - **PyPy 支持**：在 PyPy 3.8 上可运行，但旧版本依赖 `typed-ast`，部分功能受限。 ### 总结 Mypy 是一款功能强大的静态类型检查工具，支持灵活的配置和高级类型系统，适合 Python 开发者提升代码质量。