知识运用：
题目分析：
题目地址：189-easy-awaited
我们在使用Promise时往往可以通过泛型来约束最后返回时的对象类型，我们这道题就需要设计一个类型工具来得到Promise返回的这个类型。
题目解答：
测试用例：
- 约束传入的类型一定是一个Promise对象，当传入非Promise对象时将抛出错误。
- 当我们传入Promise对象时将返回对应T的类型。
- 注意的是当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> 复制代码
答案及解析：
- 首要我们要通过泛型来约束传入类型为Promise类型
- 通过infer来定义 Res用来提取Promise泛型中的类型，下面为类型推断示例：
type Flatten<Type> = Type extends Array<infer Item> ? Item : Type; 复制代码
- 当我们需要递归时就需要判断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; 复制代码
