Python 3.12 的 type 语句是类型别名的正式声明方式，仅用于静态检查，不参与运行时；必须位于模块顶层，支持泛型与前向引用，但不能用于 isinstance 等运行时操作。
Python 3.12 的 type 语句不是“语法糖”，而是类型别名的正式声明方式——它不参与运行时，但被 mypy 等检查器当作真实类型处理；用错就直接失去泛型推导、前向引用支持，甚至触发 NameError 或 TypeError。
type 语句必须写在模块顶层，且不能混用旧式赋值
你不能在函数里、类里、条件分支中写 type；也不能和 MyList = list[str] 这种简单赋值共存于同一模块而不加区分——后者是运行时对象，前者是纯类型构造器，语义完全不同。
-
type只能出现在模块级（.py 文件最外层），嵌套会报SyntaxError: invalid syntax - 避免混用：比如同时存在
ConfigDict = dict[str, Any]和type ConfigDict = dict[str, Any]，IDE 和 mypy 可能只识别后者，前者变成无意义变量 - 右侧支持任意合法类型表达式：
type StepResult = tuple[bool, str | None]、type Handler = Callable[[str], Awaitable[None]]都合法
泛型别名必须显式带 type 关键字，否则 T 未定义
写 Stack[T] = list[T] 或 Stack = list[T] 都不行——前者报 NameError: name 'T' is not defined，后者被当成普通变量赋值，mypy 完全忽略泛型语义。
- 正确写法只有：
type Stack[T] = list[T]（注意type开头 + 方括号紧贴类型名） - 多参数也同理：
type Map[K, V] = dict[K, V]，K/V 作用域仅限该别名内部 - 若需约束类型变量，仍要配合
TypeVar：from typing import TypeVar; K = TypeVar("K", str, int); type Keyed[T] = dict[K, T]
isinstance() 不能直接用 type 别名，得取 __value__
这是最容易踩坑的地方：用 type MyInt = int 定义后，isinstance(42, MyInt) 会抛 TypeError: isinstance() arg 2 must be a type...，因为 MyInt 是 typing.TypeAliasType 实例，不是真正的 int。
立即学习“Python免费学习笔记（深入）”；
- 运行时检查必须写成：
isinstance(42, MyInt.__value__) - 同理，
issubclass(MyInt, int)也不成立，得用issubclass(MyInt.__value__, int) - 如果你的代码重度依赖
isinstance（比如插件系统、序列化路由），建议对关键别名保留旧式赋值，或封装一层兼容逻辑
mypy 对 type 别名更严格，未使用的泛型参数会警告
mypy 把 type 当作类型定义而非变量，所以它会检查类型变量是否被实际使用、是否绑定、是否冗余——而这些在运行时根本不存在。
- 例如：
type Box[T] = list[T]中 T 没在右侧出现，mypy --strict 下会报UnusedTypeVar - 解决方法不是删掉，而是加
# type: ignore注释，或改写为type Box[T] = list[T]（确保 T 出现在右侧） - 前向引用无需引号：
type Node = tuple[str, list[Node]]在 3.12.2+ 可直接用，旧版会报错
真正麻烦的不是语法本身，而是边界模糊处：比如一个别名既用于 mypy 检查，又传给 isinstance，还得支持前向引用——这时得拆成两个声明，一个用 type 做静态检查，一个用传统赋值保运行时行为。别指望一个语法解决所有问题。
