【类型挑战】Awaited，难度⭐️

一起养成写作习惯！这是我参与「掘金日新计划 · 4 月更文挑战」的第7天，点击查看活动详情。

Dear，大家好，我是“前端小鑫同学”，😇长期从事前端开发，安卓开发，热衷技术，在编程路上越走越远～

---

知识运用：

1. 在条件类型中进行类型推断
2. 泛型约束

题目分析：

题目地址：189-easy-awaited 我们在使用Promise时往往可以通过泛型来约束最后返回时的对象类型，我们这道题就需要设计一个类型工具来得到Promise返回的这个类型。

题目解答：

测试用例：

1. 约束传入的类型一定是一个Promise对象，当传入非Promise对象时将抛出错误。
2. 当我们传入Promise对象时将返回对应T的类型。
3. 注意的是当Promise传入的类型依旧是Promise时需要进行递归处理。

/* _____________ 测试用例 _____________ */
import { Equal, Expect } from '@type-challenges/utils'

type X = Promise<string>
type Y = Promise<{ field: number }>
type Z = Promise<Promise<string | number>>

type cases = [
  Expect<Equal<MyAwaited<X>, string>>,
  Expect<Equal<MyAwaited<Y>, { field: number }>>,
  Expect<Equal<MyAwaited<Z>, string | number>>,
]

// @ts-expect-error
type error = MyAwaited<number>

答案及解析：

1. 首要我们要通过泛型来约束传入类型为Promise类型
2. 通过infer来定义 Res用来提取Promise泛型中的类型，下面为类型推断示例：

type Flatten<Type> = Type extends Array<infer Item> ? Item : Type;

3. 当我们需要递归时就需要判断Res是否依旧为Promise类型，符合的话用我们设计的MyAwaited来执行。

/* _____________ 答案 _____________ */

// 当不需要递归满足测试用例
type MyAwaited<T extends Promise<any>> = T extends Promise<infer Res> ? Res : T;

// 当需要递归满足测试用例
type MyAwaited<T extends Promise<any>> = T extends Promise<infer Res>
  ? Res extends Promise<any>
    ? MyAwaited<Res>
    : Res
  : T;

去演练场验证答案

接下来的一题是：【类型挑战】If，难度⭐️

---

欢迎关注我的公众号“前端小鑫同学”，原创技术文章第一时间推送。