Python中实现类型别名的可选语义有五种方式：一、用Optional[T]包裹别名；二、Python≥3.10用T | None；三、在别名内部固化可选性；四、用Union显式构造联合类型；五、用TypeVar定义泛型可选别名。
如果您在 Python 中定义类型别名后，希望该别名在类型提示中支持 None 或其他可选语义，则需明确组合可选性与别名定义。以下是实现此目标的几种方式：
一、使用 typing.Optional 与类型别名组合
通过 typing.Optional[T] 显式包裹已定义的类型别名，使其表示“该别名类型或 None”。这是最直接且兼容 Python 3.9 之前版本的方式。
1、定义原始类型别名，例如 UserId = int。
2、使用 Optional[UserId] 作为函数参数或变量注解类型。
立即学习“Python免费学习笔记（深入）”；
3、确保导入 from typing import Optional（Python < 3.10）或直接使用 Optional（Python 3.10+ 已内置）。
二、使用联合类型语法 T | None
从 Python 3.10 起，推荐使用管道操作符 | 表达联合类型，其语义等价于 Optional[T]，但更简洁且原生支持类型别名的可选化。
1、定义类型别名，例如 UserName = str。
2、在需要可选位置直接写为 UserName | None。
3、无需额外导入 Optional，但需确认运行环境为 Python 3.10 或更高版本。
三、在类型别名内部嵌入可选性
可将可选语义直接固化进新类型别名中，使后续所有使用该别名的位置自动具备可选含义，避免重复书写 | None 或 Optional[...]。
1、定义基础别名，例如 Score = float。
2、另定义可选别名：OptionalScore = Score | None（Python ≥ 3.10）或 OptionalScore = Optional[Score]（Python < 3.10）。
3、在函数签名中直接使用 OptionalScore 作为参数或返回值类型。
四、使用 typing.Union 显式构造联合类型
当需支持多个非 None 的可选类型（如 str 或 int 或 None），或需向后兼容旧代码时，Union 提供更灵活的组合能力。
1、定义基础别名，例如 PathLike = Union[str, bytes, os.PathLike]。
2、构造可选版本：OptionalPathLike = Union[PathLike, None]。
3、注意：在 Python 3.10+ 中，Union[PathLike, None] 等价于 PathLike | None，但前者仍被完全支持。
五、使用 typing.TypeVar 配合 bound 和 default 实现泛型可选别名
适用于需在泛型上下文中表达“某类型或 None”的场景，例如构建可复用的容器类型提示。
1、声明类型变量：T = TypeVar('T', bound=Hashable)。
2、定义泛型可选别名：OptionalHashable = T | None（Python ≥ 3.10）或 OptionalHashable = Optional[T]（Python < 3.10）。
3、在函数中使用时，例如 def get_value(key: str) -> OptionalHashable[str]: ...。
