TypeScript中infer和extends如何结合使用，实现类型推断的复杂示例？

本文共计1368个文字，预计阅读时间需要6分钟。

目录正文字符匹配模式模式匹配的值提取类型总结正文字符匹配我们知道，TypeScript 支持使用 `infer` 来提取类型的一部分。下面通过一个例子来展示如何通过模式匹配的方式提取类型。

模式匹配提取类型示例：

typescripttype ExtractType={ [K in keyof T]: T[K] extends P ? K : never;}[keyof T];

// 示例type Person={ name: string; age: number; email: string;};

// 使用 infer 提取类型type AgeType=ExtractType; // 类型为 'age'

总结通过上述示例，我们可以看到，`ExtractType` 函数利用了模式匹配和 `infer` 关键字来提取特定键的类型。这种方式可以有效地在类型层面进行值提取。

目录

• 正文
• 模式匹配
• 提取枚举的值的类型
• 总结

正文

我们知道，TypeScript 支持 infer 来提取类型的一部分，通过模式匹配的方式。