python 3.9 引入类型提示中的 | 运算符作为 union 的语法糖,替代 union[t1, t2] 写法,无需导入 typing,支持 str | int | none 等简洁标注,提升可读性、可维护性与协作效率,但仅限类型注解上下文使用。

Union 本身不是 Python 3.9 引入的新运算符——真正引入的是类型提示中的 **| 操作符**,它作为 Union 的语法糖,在类型注解中替代 Union[T1, T2] 写法。这个改动直接降低了类型提示的书写成本,让多人协作和长期维护更可持续。
Python 3.9+ 中 | 替代 Union 的实际效果
以前写联合类型必须导入并嵌套调用:from typing import Union,再写成 Union[str, int, None];现在只要写 str | int | None,解释器原生支持(无需 typing 导入),IDE 和静态检查器(如 pyright、mypy)也能识别。
- 不需要额外
import typing就能表达多类型返回值,减少样板代码 -
|是左结合、无括号歧义的运算符,str | int | None等价于Union[str, Union[int, None]],语义清晰 - 在函数签名过长时,
|更易横向对齐或折行,比如:def load_config() -> dict | list | None:
为什么这能提升可维护性?关键在“显式”和“低阻力”
很多团队放弃类型提示,不是因为不认可价值,而是因为写起来太重:每加一个联合类型就要多敲 7 个字符(Union[)+ 导入 + 括号配对。而 | 把门槛拉到了和变量赋值一样低。
仅使用 Python 将 Claw Code 虚拟化框架与 OpenClaw 集成,提供 184 种工具和 200 多条命令,用于安全分析和代码质量...
- 新人更容易接受并保持一致性——没人会为省一个
|去写Any - 重构时修改返回类型更轻量:把
-> str改成-> str | bytes,不用动 import 行,也不用担心括号错位 - 配合
Optional[T]的等价写法T | None,彻底消除Optional和Union混用带来的认知负担
注意:| 不是万能的,容易踩的坑
| 只在类型注解上下文中生效(即冒号后、箭头后),不能用在运行时逻辑判断或变量计算中。误用会导致 SyntaxError 或类型检查器静默失败。
- 错误写法:
if x | y:(这是按位或,不是类型联合) - 错误写法:
data: dict | None = get_dict() or None(语法合法,但dict | None不等于Optional[dict]的运行时行为,仅用于标注) - 3.10+ 才支持
match与字面量联合类型的穷举检查,3.9 的|仅作标注,不触发运行时行为变化 - 若项目需兼容 Union 写法,并保留
from typing import Union
| 让每一次添加类型提示都像加个逗号一样自然——而自然,才是长期项目里最稀缺的惯性。Python免费学习笔记(深入):立即使用
在学习笔记中,你将探索 Python 的核心概念和高级技巧!










