Python 开发技巧 · 类型注解进阶 —— 从 `TypeVar` 到 `Protocol`，让类型检查真正帮你抓 bug很多 Python 开发者对类型注解的认知停留在 name: str = "hello" 和 def add(a: int, b: int) -> int。但 typing 模块的 泛型、协变逆变、Protocol（结构子类型） 这些高阶特性，能让你写出既灵活又能通过严格类型检查的代码。今天聚焦三个高频场景：泛型函数、Protocol（鸭子类型的形式化）、和 TypedDict（结构化字典）。