快捷導(dǎo)航

TypeScript中infer關(guān)鍵字的具體使用

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

infer 是 TypeScript 中的高級(jí)類型關(guān)鍵字,主要用于條件類型中推斷類型,本文就來(lái)介紹TypeScript中infer關(guān)鍵字的使用,具有一定的參考價(jià)值,感興趣的可以了解一下

1. 基本語(yǔ)法

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

2. 主要用途

1. 從復(fù)雜類型中提取子類型；

2. 實(shí)現(xiàn)類型解構(gòu)；

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

3. 常見(jiàn)示例

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. 提取構(gòu)造函數(shù)實(shí)例類型

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

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

3.6. 實(shí)現(xiàn)類型反轉(zhuǎn)（將元組類型順序反轉(zhuǎ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]

4. 注意事項(xiàng)

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

2. 同一類型變量可以在多個(gè)位置進(jìn)行 infer，但必須推斷出相同的類型；

3. 如果無(wú)法推斷出類型，則條件類型會(huì)返回 never 或指定的默認(rèn)類型；

infer 是 TypeScript 類型編程中非常強(qiáng)大的工具，它使得類型操作更加靈活和強(qiáng)大，特別是在創(chuàng)建復(fù)雜工具類型時(shí)非常有用。

到此這篇關(guān)于TypeScript中infer關(guān)鍵字的具體使用的文章就介紹到這了,更多相關(guān)TypeScript infer關(guān)鍵字使用內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: