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

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

知识运用：

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

题目分析：

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

题目解答：

测试用例：

  1. 约束传入的类型一定是一个Promise对象，当传入非Promise对象时将抛出错误。
  2. 当我们传入Promise对象时将返回对应T的类型。
  3. 注意的是当Promise传入的类型依旧是Promise时需要进行递归处理。 ```typescript / _ 测试用例 _ / import { Equal, Expect } from ‘@type-challenges/utils’

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

type cases = [ Expect, string>>, Expect, { field: number }>>, Expect, string | number>>, ]

// @ts-expect-error type error = MyAwaited

  1. <a name="uKPRn"></a>
  2. #### 答案及解析：
  4. 1. 首要我们要通过泛型来约束传入类型为Promise类型
  5. 1. 通过infer来定义 Res用来提取Promise泛型中的类型，下面为类型推断示例：
  6. ```typescript
  7. type Flatten<Type> = Type extends Array<infer Item> ? Item : Type;
  1. 当我们需要递归时就需要判断Res是否依旧为Promise类型，符合的话用我们设计的MyAwaited来执行。 ```typescript / _ 答案 _ /

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

// 当需要递归满足测试用例 type MyAwaited> = T extends Promise ? Res extends Promise ? MyAwaited : Res : T; ``` 去演练场验证答案

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

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