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关键字主要用于条件类型，能够提取复杂类型的子类型。这在处理函数返回值、数组元素类型和Promise值类型时尤为重要，提升了类型系统的灵活性和表达能力。开发者可以利用infer简化类型推断，减少手动定义类型的工作量。

infer关键字只能在条件类型的extends子句中使用，且其作用域仅限于true分支。这意味着在使用infer时，开发者需要确保其使用位置的正确性，以避免类型推断失败或产生意外结果。

通过结合infer与其他条件类型，开发者可以实现复杂的类型推断逻辑。例如，可以创建一个ExtractType<T>类型，根据输入类型的不同自动提取数组元素类型或函数返回类型。这种灵活性使得TypeScript在处理复杂数据结构时更具优势。

❓

infer关键字用于条件类型中推断类型，适合提取和转换复杂类型。

可以使用类型GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never来提取函数的返回类型。

infer关键字只能与泛型和extends关键字结合使用。

可以使用类型GetArrayElementType<T> = T extends (infer U)[] ? U : never来提取数组的元素类型。

使用infer可以提取函数返回值、数组元素类型和Promise值类型。

infer通过允许提取和利用特定子类型或属性，增强了TypeScript类型系统的表达能力和灵活性。

🏷️