typealias仅用于类型检查器识别，不影响运行时行为，类型导出需显式赋值并加入__all__。
Python 3.10 的 TypeAlias 不是运行时构造，不能直接用于模块级导出
直接在模块顶层用 TypeAlias 定义类型别名后，它不会自动出现在 __all__ 中，也不会被 from module import * 拉入——因为 TypeAlias 只是类型检查器（如 mypy、pyright）识别的标记，CPython 解释器完全忽略它。你写 MyList = list[int] 和 MyList: TypeAlias = list[int] 在运行时效果一致，但后者只影响类型提示。
要实现“模块级类型导出”，得靠显式 __all__ + 常规赋值
类型导出的本质是让类型名出现在模块命名空间里，并被 __all__ 显式声明。是否加 TypeAlias 注解不影响导出行为，只影响类型工具能否正确推导。
-
TypeAlias是可选的：不加也能导出，加了更明确，推荐加 - 必须手动赋值给模块变量（如
MyStrList = list[str]），否则没有东西可导出 - 必须把名字加入
__all__列表，否则import *不会导入，IDE 也可能不提示 - 类型别名本身不是对象，不能用
isinstance或issubclass检查——它只是语法糖
示例：
from typing import TypeAlias MyStrList: TypeAlias = list[str] MyIDMap: TypeAlias = dict[str, int] __all__ = ["MyStrList", "MyIDMap"]
和 typing.TypeVar 或 NamedTuple 混用时要注意运行时存在性
如果你定义的是泛型类型别名（比如带 TypeVar），或基于 NamedTuple/TypedDict 的别名，它们本身是运行时对象，可以导出；但 TypeAlias 注解只是“告诉类型检查器：这行赋值是类型别名”，不改变右侧表达式的求值时机。
-
T = TypeVar("T")是运行时对象，必须出现在模块顶层才能被导入 -
Point = NamedTuple("Point", [("x", int), ("y", int)])是类，可直接导出 -
PointAlias: TypeAlias = Point—— 这个PointAlias才是你想导出的别名，仍需进__all__ - 不要写
PointAlias: TypeAlias = NamedTuple(...)：虽然合法，但每次导入都重建类，不推荐
IDE 和静态检查器对未注解别名的识别可能不一致
有些工具（如旧版 pyright）对无 TypeAlias 注解的简单赋值（如 StrList = list[str]）可能不视为类型别名，导致补全缺失或误报 “unused variable”。加上注解能统一行为。
- VS Code + Pylance 默认识别带
TypeAlias的赋值为类型导出项 - mypy 从 0.930+ 开始要求显式注解才能将赋值当作类型别名处理（否则当普通变量）
- 如果项目同时用 mypy 和 pyright，统一加
: TypeAlias =最稳妥
真正容易被忽略的是：类型导出不等于类型安全。导出一个 MyInt = int 并不能阻止用户传入 float——它只是提示，不是契约。别指望靠导出来做运行时校验。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
