TypeScript Academy · 课时

深层嵌套的推断模式

Q: 「深层嵌套的推断模式」这节课中我会学到什么？

递归应用 infer 以提取复杂类型 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

递归应用 infer 以提取复杂类型

深层嵌套的推断模式 是 CoddyKit 上的免费 TypeScript Academy 课时。这是第 3 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 4 节课。

为什么需要深层推断？

有时，您需要的类型隐藏在多层泛型内部。深层推断使用递归或链式条件类型来访问它。

type DeepUnwrap<T> =
  T extends Promise<infer U>
    ? DeepUnwrap<U>
    : T;

type A = DeepUnwrap<Promise<Promise<string>>>; // string

递归条件类型

TypeScript 4.1+ 支持递归条件类型，让您可以一次剥离一层包装类型。

type Flatten<T> = T extends Array<infer U> ? Flatten<U> : T;
type B = Flatten<string[][][]>; // string

从嵌套泛型进行推断

您可以在单个 extends 子句中链接多个推断变量，同时捕获多层类型。

type InnerValue<T> =
  T extends Map<any, infer V>
    ? V extends Set<infer S>
      ? S
      : V
    : T;
type C = InnerValue<Map<string, Set<number>>>; // number

深层对象属性类型

递归类型可以遍历对象结构，提取深层嵌套的属性类型。

type DeepGet<T, K extends keyof T> =
  T[K] extends object ? T[K] : never;

type Nested = { user: { profile: { name: string } } };
type Profile = DeepGet<Nested, "user">; // { profile: { name: string } }

深层提取数组元素类型

将递归解包与数组处理结合起来，可以处理任意深度的嵌套。

type ElementType<T> = T extends (infer U)[] ? ElementType<U> : T;
type D = ElementType<number[][][]>; // number

元组尾部递归

尾递归元组操作是构建类型安全流水线和函数组合类型的常见模式。

type Last<T extends any[]> =
  T extends [...infer _, infer L] ? L : never;
type E = Last<[1, 2, 3]>; // 3

深度限制与实际注意事项

TypeScript 会限制递归深度，以防止无限循环。请保持递归浅层，并在需要时考虑使用深度计数器设置上限。

// Deep recursion may hit "Type instantiation is excessively deep"
// Simplify or use branded types to break deep chains

联合类型分布中的推断

当 T 是联合类型时，条件类型会进行分布：每个成员都会单独匹配，结果随后合并为联合类型。

type Unwrap<T> = T extends Promise<infer U> ? U : T;
type F = Unwrap<Promise<string> | Promise<number> | boolean>;
// string | number | boolean

推断剩余元组

带有 infer 的剩余元组模式支持头部与尾部的分解，以及可变参数类型操作。

type Init<T extends any[]> =
  T extends [...infer I, any] ? I : never;
type G = Init<[1, 2, 3, 4]>; // [1, 2, 3]

实际示例：嵌套的应用程序接口响应

使用链式类型推断，可以将嵌套的应用程序接口响应类型解包为其数据类型。

type ApiResponse<T> = { data: T; status: number };
type UnwrapApi<T> = T extends ApiResponse<infer D> ? D : T;
type H = UnwrapApi<ApiResponse<{ users: string[] }>>; // { users: string[] }

回顾：深层推断

深层推断结合递归条件类型、多个推断变量和结构模式匹配，从任意嵌套的泛型结构中提取类型。

快速检查

如果 Flatten = T extends Array ? Flatten : T，那么 Flatten 会返回什么？

您学到的内容

深层嵌套推断使用递归条件类型和链式推断模式，访问隐藏在多个泛型包装类型中的类型。请限制递归深度，以避免达到 TypeScript 的深度限制。

常见问题解答

「深层嵌套的推断模式」课时是免费的吗？

是的 — 「深层嵌套的推断模式」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 4 节课。

「深层嵌套的推断模式」这节课中我会学到什么？

递归应用 infer 以提取复杂类型你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 3 节课，共 4 节。

「深层嵌套的推断模式」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 TypeScript Academy 课中编写并运行代码吗？

能。每节 TypeScript Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 TypeScript Academy