Awaited
约 430 字大约 1 分钟
2022-12-01
问题
Github: Awaited
假如我们有一个 Promise 对象，这个 Promise 对象会返回一个类型。在 TS 中，我们用 Promise 中的 T 来描述这个 Promise 返回的类型。请你实现一个类型，可以获取这个类型。
例如：Promise<ExampleType>，请你返回 ExampleType 类型。
type ExampleType = Promise<string>
type Result = MyAwaited<ExampleType> // string解题思路
这个挑战中，需要对类型 Promise<ExampleType> 进行展开。
展开 指的是，从一个类型中提取其内部的类型 。 比如 Promise<string> 的展开结果是 string。
type MyAwaited<T> = T extends Promise<string> ? string : T但这样做我们只能处理 Promise<string> 这种情况，我们的是可以处理 T 为任意类型的 Promise。
在 typescript 中，可以通过 条件类型的类型推断，将推断结果赋值给 类型参数，这里需要借助 关键词 infer。 需要注意的是，条件类型的类型推断，只能在条件分支为 true 中可以使用 类型参数。
type MyAwaited<T> = T extends Promise<infer R> ? R : T同时，我们还需要考虑 <Promise<Promise<string>> 等情况。这时候需要运用到 typescript 的 类型递归， 直到不能展开为止，这个过程是调用 MyAwaited 自身实现。
答案
type MyAwaited<T> = T extends Promise<infer R> ? MyAwaited<R> : T验证
type StringAwaited = MyAwaited<Promise<string>>
type NumberAwaited = MyAwaited<Promise<number>>
type DeepAwaited = MyAwaited<Promise<Promise<Promise<string>>>>
type cases = [
Expect<Equal<StringAwaited, string>>,
Expect<Equal<NumberAwaited, number>>,
Expect<Equal<DeepAwaited, string>>,
]