Python 3.10中Union并非新类型，真正提升重构安全性和类型检查能力的是|操作符（PEP 604）与TypeGuard协同：|使联合类型更简洁、工具链更稳定，TypeGuard则实现运行时可验证、静态可收窄的精准类型分支。
Union 在 Python 3.10 中不是“新引入”的类型提示机制，真正带来重构友好性和检查增强的是 | 操作符（PEP 604）和 TypeGuard 的协同使用。单纯写 Union[int, str] 和 int | str 在语义上等价，但后者让工具链更可靠、人眼更易读、重构时更少出错。
用 | 替代 Union 能避免 mypy 的联合简化警告
旧写法 Union[int, str, None] 在 mypy 中可能被自动简化为 Optional[Union[int, str]]，进而触发 “redundant union” 警告；而 int | str | None 是原子化表达，mypy 默认不尝试合并或重写，静态分析路径更稳定。
- 尤其在嵌套泛型中（如
dict[str, list[int | str]]），|语法天然支持层级展开，无需反复导入Union -
Union[A, B, C]在 IDE 中 hover 提示常显示为 “Union[...]”，而A | B | C直接列出所有分支，补全和跳转更精准 - 团队代码搜索时，
|比Union更容易 grep —— 它是符号，不是函数名，不会和类型别名、变量名冲突
TypeGuard 让 | 类型在运行时可验证、在静态分析中可收窄
仅靠 int | str 只能告诉工具“可能是 int 或 str”，但无法表达“这个 list 全是 str”或“这个 dict 至少有 key 'id'”。TypeGuard 填补了这个缺口：
macOS UI 自动化技能包 —— 用 Python 控制你的 Mac
下载
让 macOS 自动化像说话一样简单 —— 用代码控制你的 Mac，无需学习 AppleScript 系统要求 macOS 14+ (Sonoma) Python 3.9+ 需要开启：辅助功能 + 屏幕录制权限
- 定义
def is_id_dict(val: dict) -> TypeGuard[dict[str, int]]:后，if is_id_dict(data):分支内 data 就被 IDE 和 mypy 当作dict[str, int]处理，不是宽泛的dict - 它比
isinstance更强：能校验结构、内容、约束（如非空、邮箱格式），且这些逻辑可复用、可测试、可文档化 - 重构函数签名时，如果新增一个
TypeGuard分支，mypy 会强制你覆盖所有类型分支，避免漏掉处理逻辑
重构时最容易踩的坑：误以为 | 自动带运行时类型安全
int | str 不阻止你传入 float 或 None —— 它只是提示，不拦截。常见错误包括：
- 把
def parse(x: bytes | str)当成“只接受这两种类型”，却忘了用户可能传Path或memoryview，结果运行时报AttributeError - 在
elif isinstance(x, str)后直接调用.upper()，但没确认x非空或非str | None混合场景，导致AttributeError: 'NoneType' object has no attribute 'upper' - 用
list[int] | list[str]表示“整数列表或字符串列表”，但没配TypeGuard，IDE 仍把data[0].upper()标为错误 —— 因为类型系统无法推断分支后具体是哪一种
真正提升重构安全性的，不是 | 本身，而是你是否配套写了可验证、可复用、可组合的 TypeGuard 函数，并在关键分支里显式调用它们。否则，| 只是让类型声明更短，而不是更可靠。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
