TypeScript 中 async 函数应显式声明返回类型为 Promise<T>，await 表达式类型为 T，Promise 构造与静态方法需确保泛型与实际值一致，错误处理推荐联合类型或类型守卫。
在 TypeScript 中规范 Promise 与 async/await 的返回类型，核心是让类型系统准确描述「最终 resolve 的值」，而非 Promise 本身——因为 async 函数自动包装返回值为 Promise，TypeScript 会据此推导完整类型。
async 函数的返回类型声明要写 Promise
虽然 async 函数隐式返回 Promise，但显式标注返回类型能增强可读性、防止意外类型退化，并帮助编辑器精准提示。正确写法是直接写 Promise<T>，而不是 T 或 Async<T>（后者不存在）：
- ✅ 正确：
async function getUser(): Promise<{ id: number; name: string }> { return { id: 1, name: 'Alice' }; } - ❌ 错误：
async function getUser(): { id: number; name: string } { ... }（TypeScript 会报错：Type '{ id: number; name: string; }' is not assignable to type 'Promise<{ id: number; name: string; }>'） - ⚠️ 可省略但不推荐：
async function getUser() { return { id: 1, name: 'Alice' }; }（类型推导为Promise<{ id: number; name: string }>，但复杂逻辑下易丢失精度）
await 表达式的类型就是 Promise 的泛型 T
使用 await 后，得到的是解包后的值，不是 Promise。TypeScript 会自动提取 Promise<T> 中的 T 作为 await 结果的类型：
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
-
const res = await fetch('/api/user');→res类型是Response（不是Promise<Response>） -
const data = await res.json();→ 若res.json()返回Promise<User>，则data类型就是User - 若需明确类型，可加类型断言或泛型调用：
const data = await res.json() as User;或const data = await (res.json() as Promise<User>);
错误处理需同步声明 reject 的类型
TypeScript 默认不检查 Promise 被 reject 的类型，但可通过 Promise<T, E> 形式（非原生语法）或自定义类型辅助推导。更实用的方式是：
立即学习“Java免费学习笔记（深入）”；
- 在
try/catch中对catch参数做类型守卫：catch (err: unknown) { if (err instanceof Error) { console.error(err.message); } } - 为可能失败的异步函数标注联合返回类型，例如：
Promise<Result<SuccessData, ApiError>>，配合自定义Result类型提升类型安全 - 避免
catch (err)不声明类型，否则err为any，失去类型保护
Promise 构造与静态方法的类型要对齐
手动创建 Promise 时，泛型参数必须与 resolve 实际传入值一致；使用 Promise.all 等方法时，返回类型由输入数组元素的 Promise 类型自动推导：
-
new Promise<string>((resolve) => resolve('ok'))✅；new Promise<number>((resolve) => resolve('ok'))❌ 类型不匹配 -
const [a, b] = await Promise.all([fetch('/a'), fetch('/b')]);→a和b类型均为Response - 若需不同结果类型，用元组显式标注：
Promise.all<[User, Order[]]>([getUser(), getOrders()])
