Typescript中infer關鍵字的使用小結

更新時間：2026年01月13日 10:50:24 作者：滿天星辰

infer是TypeScript中條件類型的一個關鍵字,主要用于在條件類型中進行類型推斷,下面就來詳細的介紹一下Typescript infer關鍵字的使用,感興趣的可以了解一下

基本語法

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

主要使用場景

1.獲取函數(shù)返回類型

// 內(nèi)置的 ReturnType 實現(xiàn)原理
type MyReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

function foo(): string {
  return "hello";
}

type FooReturn = MyReturnType<typeof foo>; // string

2.獲取函數(shù)參數(shù)類型

// 獲取第一個參數(shù)類型
type FirstParam<T> = T extends (first: infer P, ...rest: any[]) => any ? P : never;

// 獲取所有參數(shù)類型（元組）
type Params<T> = T extends (...args: infer P) => any ? P : never;

function bar(x: number, y: string): void {}

type BarFirstParam = FirstParam<typeof bar>; // number
type BarParams = Params<typeof bar>; // [number, string]

3.獲取數(shù)組/元組元素類型

typescript

type ArrayElement<T> = T extends (infer U)[] ? U : never;

type StrArrayElement = ArrayElement<string[]>; // string
type NumArrayElement = ArrayElement<number[]>; // number

4.獲取 Promise 的解析類型

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

type PromiseString = Promise<string>;
type Unwrapped = UnwrapPromise<PromiseString>; // string

實際應用示例

示例1：提取對象值類型

type ValueOf<T> = T extends { [key: string]: infer V } ? V : never;

type Obj = { a: number; b: string };
type Values = ValueOf<Obj>; // number | string

示例2：提取構造函數(shù)實例類型

type InstanceType<T> = T extends new (...args: any[]) => infer R ? R : any;

class Animal {
  name: string;
  constructor(name: string) {
    this.name = name;
  }
}

type AnimalInstance = InstanceType<typeof Animal>; // Animal

示例3：遞歸解包嵌套 Promise

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

type NestedPromise = Promise<Promise<string>>;
type Result = DeepUnwrapPromise<NestedPromise>; // string

使用注意事項

1.只能用在條件類型的 extends 子句中

// ? 正確
type Example1<T> = T extends Array<infer U> ? U : never;

// ? 錯誤：infer 不能單獨使用
type Example2<T> = infer U; // 編譯錯誤

2.多個 infer 可以同時使用

type Zip<T, U> = T extends [infer A, ...infer RestT]
  ? U extends [infer B, ...infer RestU]
    ? [[A, B], ...Zip<RestT, RestU>]
    : []
  : [];

type Result = Zip<[1, 2], ['a', 'b']>; // [[1, 'a'], [2, 'b']]

3.協(xié)變位置 vs 逆變位置

// infer 在協(xié)變位置（返回類型）
type GetReturnType<T> = T extends () => infer R ? R : never;

// infer 在逆變位置（參數(shù)類型）
type GetArgType<T> = T extends (arg: infer A) => any ? A : never;

實戰(zhàn)技巧

1.類型守衛(wèi)與 infer

function isPromise<T>(value: any): value is Promise<T> {
  return value && typeof value.then === 'function';
}

async function handle<T>(input: T | Promise<T>): Promise<T> {
  if (isPromise(input)) {
    // 這里 input 被推斷為 Promise<T>
    return input;
  }
  return Promise.resolve(input);
}

2.構建實用類型工具

// 提取所有方法的返回類型
type MethodsReturnType<T> = {
  [K in keyof T]: T[K] extends (...args: any[]) => infer R ? R : never;
};

// 提取特定屬性的類型
type PropType<T, K extends keyof T> = T extends { [P in K]: infer V } ? V : never;