6、Python 类型注解与类型检查：提升代码健壮性

Python 类型注解与类型检查：提升代码健壮性

1. 类型检查器的重要性

在 Python 开发中，类型注解虽然能增强代码的可读性和可维护性，但开发者不一定会遵循这些注解，那么如何让类型注解使代码库更健壮呢？这就需要类型检查器。类型检查器是一种静态分析工具，它运行在源代码上，不会影响代码的运行时性能。

1.1 安装类型检查器

以 mypy 为例，它是一个非常流行的类型检查器，安装命令如下：

pip install mypy

1.2 类型检查示例

创建一个名为 invalid_type.py 的文件，内容如下：

a: int = 5
a = "string"

在命令行运行 mypy 对该文件进行检查：

mypy invalid_type.py

输出结果会提示错误：

chapter3/invalid_type.py:2: error: Incompatible types in assignment
                            (expression has type "str", variable has