现代前端 TypeScript 高级类型体操：条件类型、映射类型与模板字面量

## 1. infer 关键字与条件类型 ```typescript // 提取 Promise 返回类型的工具类型 type Awaited<T> = T extends Promise<infer U> ? Awaited<U> : T; // 提取函数第一个入参 type FirstParam<T> = T extends (first: infer P, ...args: any[]) => any ? P : never; ```