async函数返回值本质是Promise，需显式标注Awaitable[T]等泛型类型以保障类型安全，避免隐式any；await时须确保对象可等待，调用链中需严格匹配Promise类型流转，并在消费端正确解包。
async 函数的返回值本质是 Promise，类型安全的关键在于让工具（如 mypy、TypeScript 或 Flow）准确识别这个 Promise 的泛型类型，并确保调用方以匹配方式消费它。
明确标注返回类型，避免隐式 any
在 Python 中，不标注 async 函数返回类型时，mypy 默认推断为 Coroutine[Any, Any, Any]，极易掩盖错误。应显式标注泛型参数：
- 使用
-> Awaitable[T]表示“可等待并最终产出 T”，适用于只需 await 不关心是否可取消的场景 - 使用
-> Coroutine[Any, Any, T]更精确，但通常推荐Awaitable[T]—— 它更抽象、兼容性更好 - 若函数可能返回
None，需配合Optional[T]和strict_optional = True配置，防止 None 意外传播
await 时检查被等待对象是否真正可等待
mypy 能捕获常见误用：比如对普通同步函数或非协程对象使用 await。配置 disallow_async_non_async = True 后，以下写法会报错：
-
await len([1,2,3])（len不是 async 函数） -
await some_sync_func()（未加async修饰） -
await fetch_data(url)若fetch_data返回dict而非Awaitable[dict]
处理 Promise/协程链中的类型流转
异步调用链越长，类型越容易断裂。例如：
- 一个返回
Promise<string>的 ArkTS 函数，若在catch块中只throw不return，编译器仍认为整体满足Promise<string>—— 因为异常路径不参与 resolve 类型校验 - 但在 Python 中，若
async def f() -> str:却在某分支return None，mypy 会直接报错，除非声明为-> Optional[str] - 使用
Promise.all()或asyncio.gather()时，返回类型是泛型数组（如Promise<string[]>或List[str]），需确保接收变量类型与之匹配
消费端必须适配 Promise 语义
调用 async 函数后，不能直接访问返回值属性，否则会触发 “not a function” 或 AttributeError。正确做法分环境：
- 在 async 函数内：用
const data = await fetchData()，此时data是解包后的值（如string） - 在普通函数或顶层模块（ESM + Node ≥14.8）：可用
top-level await，效果同上 - 否则必须用
.then(data => ...)或try/catch处理 Promise 状态，且 IDE 和类型检查器依赖你写的回调参数类型来延续类型流
