TypeScript InstanceType詳解

一、InstanceType是什麼

在TypeScript中，InstanceType是一個泛型類型，它用於獲取構造函數類型的實例類型。

示例代碼：

class SomeClass {
  name: string;
  age: number;
}

type SomeClassInstance = InstanceType;
// SomeClassInstance的類型為 SomeClass

二、InstanceType的使用場景

InstanceType常用於泛型約束和提取類型信息。在初始化某個變量時，需要使用某個類的實例，InstanceType可以有效地約束泛型類型，避免了手動定義重複類型的問題。

示例代碼：

class SomeClass {
  name: string;
  age: number;
}

function createInstance any>(ctor: T, ...args: ConstructorParameters): InstanceType {
  return new ctor(...args);
}

const instance = createInstance(SomeClass, "Alice", 20);
// instance的類型為 SomeClass

三、InstanceType的局限性

InstanceType並不適用於所有構造函數類型，它僅能用於具有無參構造函數的類類型。

示例代碼：

class SomeClass {
  name: string;
  age: number;
  constructor(name: string, age: number) {
    this.name = name;
    this.age = age;
  }
}

type SomeClassInstance = InstanceType;
// 報錯：Type 'SomeClass' does not satisfy the constraint 'new (...args: any) => any'.
// Type 'SomeClass' provides no match for the signature 'new (): any'

上述代碼中因為SomeClass有構造函數，而該構造函數有參數，因此不能使用InstanceType獲取其實例類型。

四、InstanceType的兼容性

當使用TypeScript 2.8以下版本時，如果存在引用外部庫的class，無法使用InstanceType獲取其實例類型。但是在TypeScript 2.8版本中，這個問題得到了解決。

示例代碼：

class SomeClass {
  name: string;
  age: number;
}

type ExternalClass = typeof someLibrary.ExternalClass;

type SomeClassInstance = InstanceType;
// TypeScript 2.7及以下版本：報錯
// TypeScript 2.8及以上版本：SomeClassInstance的類型為 ExternalClass 的實例類型

五、InstanceType與keyof的搭配使用

InstanceType還可以和keyof結合使用，用於獲取對象中所有值類型的集合。

示例代碼：

type SomeObject = {
  name: string;
  age: number;
  gender: "Male" | "Female";
};

type SomeValues = InstanceType[keyof InstanceType];
// SomeValues的類型為 string | number | "Male" | "Female"

六、小結

InstanceType是TypeScript提供的一個非常實用的泛型類型，它可以用於獲取構造函數類型的實例類型，避免手動定義重複類型的問題。但是需要注意InstanceType並不適用於所有構造函數類型，只能用於具有無參構造函數的類類型。同時，使用時也需要注意TypeScript版本兼容性問題。