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