通过 typing.TypeAlias 提取并复用外部函数参数类型，可避免硬编码和后续维护问题，让 mypy 自动校验 outer 函数中传入 inner 的参数是否符合其原始类型约束。
通过 `typing.typealias` 提取并复用外部函数参数类型，可避免硬编码和后续维护问题，让 mypy 自动校验 `outer` 函数中传入 `inner` 的参数是否符合其原始类型约束。
在实际开发中，我们常需调用第三方库中已带完整类型提示的函数（如 inner），并在自己的封装函数（如 outer）中确保传入参数类型一致。若直接复制类型（如 int）看似简单，但一旦上游库更新类型（例如改为 Union[int, float]），你的代码将悄然脱离同步，导致类型检查失效。
理想方案是零拷贝地引用原始类型定义。Python 3.12+ 支持 TypeAlias，配合 typing.get_type_hints 和运行时类型提取，可实现安全复用：
from typing import TypeAlias, get_type_hints
# 假设 inner 来自外部库（不可修改）
def inner(x: int) -> None:
...
# 动态提取 inner 第一个参数的类型（无需硬编码）
inner_hints = get_type_hints(inner)
X: TypeAlias = inner_hints["x"] # 自动获取 x 的类型：int
def outer(x: X, y: str) -> None:
"""类型安全封装：x 必须满足 inner 所需类型"""
inner(x)
# mypy 将正确报错：
# error: Argument "x" to "outer" has incompatible type "str"; expected "int"
outer(x="a", y="b")
⚠️ 注意事项：
- get_type_hints() 在运行时执行，适用于模块级类型提取；若需静态分析友好（如 mypy 插件支持），建议结合 typing.TYPE_CHECKING 做条件导入；
- 对于泛型或复杂嵌套类型（如 Callable[[str, List[Optional[Dict[str, Any]]]], bool]），该方法仍能准确捕获，无需手动展开；
- 若外部函数使用字符串字面量前向引用（如 "SomeClass"），需确保其所在模块已正确定义，否则 get_type_hints() 可能抛出 NameError。
总结：借助 TypeAlias 与 get_type_hints 的组合，你既能保持类型一致性，又能将类型契约“委托”给上游函数——既减少冗余，又提升可维护性与类型安全性。
