TypeScript中infer關鍵字的具體使用

更新時間：2025年06月04日 10:45:01 作者：aiguangyuan

infer 是 TypeScript 中的高級類型關鍵字,主要用于條件類型中推斷類型,本文就來介紹TypeScript中infer關鍵字的使用,具有一定的參考價值,感興趣的可以了解一下

1. 基本語法

type SomeType<T> = T extends infer U ? U : never;

2. 主要用途

1. 從復雜類型中提取子類型；

2. 實現(xiàn)類型解構；

3. 創(chuàng)建更靈活的工具類型；

3. 常見示例

3.1. 提取函數(shù)返回類型

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

function foo(): number {
  return 42;
}

type FooReturn = ReturnType<typeof foo>; // number

3.2. 提取數(shù)組/元組元素類型

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

type StrArray = string[];
type StrElement = ElementType<StrArray>; // string

3.3. 提取數(shù)組/元組元素類型

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

type PromiseNumber = Promise<number>;
type NumberType = UnpackPromise<PromiseNumber>; // number

3.4. 提取函數(shù)參數(shù)類型

type Parameters<T> = T extends (...args: infer P) => any ? P : never;

function bar(a: string, b: number): void {}
type BarParams = Parameters<typeof bar>; // [string, number]

3.5. 提取構造函數(shù)實例類型

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

class MyClass {}
type MyInstance = InstanceType<typeof MyClass>; // MyClass

3.6. 實現(xiàn)類型反轉（將元組類型順序反轉）

type Reverse<T> = T extends [infer First, ...infer Rest] 
  ? [...Reverse<Rest>, First] 
  : T;

type Original = [1, 2, 3];
type Reversed = Reverse<Original>; // [3, 2, 1]