type hints 是为解决动态类型在中大型项目中的可维护性痛点，不改变运行行为，由 mypy 等工具静态校验；name: str 是对工具的契约，非运行时约束；list[int] 是 python 3.9+ 推荐写法，替代 typing.list[int]。
Type Hints 不是为了让 Python 变成静态类型语言，而是为了解决动态类型在中大型项目里“猜不到、查不出、改不动”的实际痛点。
它本身不改变运行行为，Python 解释器完全忽略所有 : str、-> int 这类标注；真正起作用的是外部工具——比如 mypy、pyright 或 IDE（VS Code/PyCharm）对这些标注的解析和校验。
为什么函数参数写 name: str 没报错，但传个 None 却被 mypy 拦住？
因为 name: str 是给静态检查工具看的契约，不是给解释器执行的约束。Python 运行时照常接受任何值；而 mypy 会模拟调用路径，发现 None 不满足 str 的协议，就提前报 error: Argument 1 to "greet" has incompatible type "None"; expected "str"。
-
mypy默认不检查未标注函数，加--check-untyped-defs才会深挖 - 如果函数体里有
name.upper()，但name标注为Any或没标注，mypy就不会报属性错误——它只对明确承诺的类型做担保 -
Optional[str]和Union[str, None]等价，但前者更常见；写成str | None（Python 3.10+）也合法，且更轻量
列表里存整数，为什么必须写 list[int] 而不是 List[int]？
从 Python 3.9 开始，内置容器类型（list、dict、tuple、set、frozenset、bytes）已支持直接作为泛型，无需再从 typing 导入大写别名。
- 旧写法
from typing import List; nums: List[int]仍可用，但属于兼容性保留 - 新写法
nums: list[int]更简洁，且避免了typing.List在运行时是类、而list是内置类型的语义混淆 - 若目标环境需兼容 Python typing.List；否则优先用内置小写形式
mypy 报 error: Need type annotation for "data" 怎么快速修复？
这是 mypy 在提醒：你声明了变量但没标注类型，它无法推断后续使用是否安全。尤其当变量跨函数、或被多次赋值不同结构时，推断极易出错。
- 最直接：补上类型，如
data: dict[str, list[float]] = {} - 如果初始化值明确，可省略标注（
mypy能从字面量推断），例如users = {"alice": 25}→ 推断为dict[str, int]；但users = {}就不行 - 临时绕过？加
# type: ignore注释，但这是掩耳盗铃——建议配mypy --disallow-untyped-defs强制所有函数标注，从源头减少这类提示
真正容易被忽略的，是类型标注的“边界感”：它只覆盖你明确写出的部分。一个 def parse_config(path: str) -> dict: 中的 dict 没带泛型，mypy 就认为它是 dict[Any, Any]，后续所有键、值访问都失去检查能力——这时候漏掉的不是语法，而是意图的完整性。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
