Python运行时不校验类型注解，仅靠mypy等外部工具或IDE静态分析器实现类型检查；需正确配置严格模式、处理泛型嵌套、类属性声明及None默认值等边界情况。
为什么typing注解不报错，但IDE却没提示？
因为Python运行时不校验类型注解，type hints只是“提示”，不是约束。真正起作用的是外部工具，比如mypy、pyright或IDE内置的静态分析器（如PyCharm的type checker、VS Code的Pylance）。如果你写了def add(a: int, b: int) -> int:但传入字符串，Python解释器照常执行，只有mypy add.py才会报error: Argument 1 to "add" has incompatible type "str"。
实操建议：
立即学习“Python免费学习笔记（深入）”；
- 安装并配置
mypy：用pip install mypy，然后在项目根目录加mypy.ini或pyproject.toml启用严格模式 - 避免只依赖IDE——有些IDE默认关闭严格检查，或对嵌套泛型（如
Dict[str, List[Optional[int]]]）支持不全 - 注意Python版本兼容性：
typing.List在3.9+已过时，应改用list[int]；但若需支持3.7–3.8，仍得保留from typing import List
Union、Optional和管道语法|怎么选？
三者语义相同，但适用场景和兼容性不同。例如Union[str, None]等价于Optional[str]，也等价于str | None（Python 3.10+）。
实操建议：
立即学习“Python免费学习笔记（深入）”；
- 优先用
|语法（如def parse(x: str | bytes) -> int | None:），更简洁，且是PEP 604推荐方案 - 若项目需兼容3.9及以下，用
Optional[T]比Union[T, None]更直观；但注意Optional[Union[A, B]]不能简写为A | B | None——必须写成A | B | None（3.10+）或Union[A, B, None]（旧版） -
Union在mypy中可能触发冗余联合简化警告，而|语法通常更稳定
函数参数带默认值时，None作为占位符怎么写类型？
常见错误是把def load_config(path: str = None)写成path: str = None，这实际表示“path必须是str，但默认值却是None”——类型矛盾，mypy会直接报错。
实操建议：
立即学习“Python免费学习笔记（深入）”；
- 正确写法是
path: str | None = None（3.10+）或path: Optional[str] = None（旧版） - 如果逻辑上
None代表“使用默认路径”，不要省略类型注解去“绕过检查”，否则后续调用方无法获知该参数可为空 - 对于可变默认参数（如
cache: dict = {}），必须显式标注为cache: dict[str, Any] | None = None，并在函数内做if cache is None: cache = {}初始化——否则类型和行为都不安全
类属性和实例属性的类型声明容易漏掉哪些点？
很多开发者只给__init__参数加注解，却忽略实例属性本身。比如self.items = []没声明类型，mypy就认为self.items是Any，后续所有操作都逃过检查。
实操建议：
立即学习“Python免费学习笔记（深入）”；
- 在类体中显式声明：用
items: list[str] = field(default_factory=list)（配合dataclass）或直接写items: list[str]（Python 3.6+支持），再在__init__中赋值 - 避免在
__init__里动态添加未声明的属性，如self._cache = {}——要么提前声明_cache: dict，要么用typing.ClassVar标记类变量 - 继承时注意父类未标注的属性：子类方法访问
super().unknown_attr会被mypy当作Any，最好推动父类补全注解，或用# type: ignore临时压制（但要加注释说明原因）
类型自查不是加完:就结束的事。最常被跳过的其实是配置mypy的严格级别，以及对泛型嵌套、可变参数、类属性初始化这些边界情况的处理——它们不出现在hello world例子里，却在真实项目里高频引发静默类型漏洞。
