DEV Community
·
深入探讨TypeScript中的infer关键字
💡
原文英文，约1100词，阅读约需4分钟。
📝
内容提要
TypeScript中的infer关键字用于条件类型中推断类型，特别适合提取和转换复杂类型。它只能与泛型和extends关键字结合使用，能够提取函数返回值、数组元素类型和Promise值类型，增强了类型系统的灵活性。
🎯
关键要点
- TypeScript中的infer关键字用于条件类型中推断类型，适合提取和转换复杂类型。
- infer关键字只能与泛型和extends关键字结合使用。
- 使用infer可以提取函数返回值、数组元素类型和Promise值类型，增强类型系统的灵活性。
- 基本用法示例：Moment<T> = T extends infer U ? U : never。
- 可以提取函数的返回类型，例如GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never。
- 可以提取数组的元素类型，例如GetArrayElementType<T> = T extends (infer U)[] ? U : never。
- 可以提取Promise的值类型，例如GetPromiseValueType<T> = T extends Promise<infer U> ? U : never。
- 可以提取函数的参数类型，例如GetParameters<T> = T extends (...args: infer P) => any ? P : never。
- 可以提取类构造函数的参数类型，例如ConstructorParameters<T> = T extends new (...args: infer P) => any ? P : never。
- 复杂推断示例：使用条件类型进行复杂推断，例如ExtractType<T>。
- 总结：infer关键字增强了TypeScript的类型系统的表达能力和灵活性。
❓
延伸问答
TypeScript中的infer关键字有什么作用？
infer关键字用于条件类型中推断类型，适合提取和转换复杂类型。
如何使用infer提取函数的返回类型？
可以使用类型GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never来提取函数的返回类型。
infer关键字只能与哪些关键字结合使用？
infer关键字只能与泛型和extends关键字结合使用。
如何提取数组的元素类型？
可以使用类型GetArrayElementType<T> = T extends (infer U)[] ? U : never来提取数组的元素类型。
使用infer可以提取哪些类型？
使用infer可以提取函数返回值、数组元素类型和Promise值类型。
TypeScript中的infer如何增强类型系统的灵活性？
infer通过允许提取和利用特定子类型或属性，增强了TypeScript类型系统的表达能力和灵活性。
🏷️
标签
➡️
