打字稿泛型：引用类而不是实例

Question

我有一种情况，我想在一组接口中使用泛型类型。我的公共接口接收泛型类型并将其传递给非导出的私有接口。在我的公共接口中，我想使用泛型类型T，但我不希望它引用T 的实例。我想说它是T，这个类可以产生T 的实例。

尝试这个，我得到一个错误：

interface Car<T> {
  unit: T;
  progress: number;
}

export interface CarFactory<T> {
  cars: Car<T>[];
  // Type error: 'T' only refers to a type, but is being used as a value here.  TS2693
  blueprint: typeof T;
}

使用生成器函数有效。但随后我必须将其传递下去并暴露更多我想要避免的代码内部结构。

interface CarFactory<T> {
  blueprint: (args: any) => T;
}

我不能直接使用T，因为这会导致编译器认为它应该接收T 的实例，而不是类。这会触发 TS2740 错误。使用 T = CarModel 和 T['constructor'] 作为 blueprint 类型有效，但前提是我像这样修补我的类：

class CarModel {
  public ['constructor']: typeof CarModel;
}

所以问题是：我怎样才能使用这样的泛型？使用T 和实际T 的两个实例？生成器函数或带有修补的T 的['constructor'] 是我唯一的选择吗？我是否需要传递另一个泛型类型U，类似于U = typeof T？

Answer 1

你的意思是这样的吗？

给定一个类Car，type of the class itself（引用类的构造函数的符号Car）将是typeof Car。在CarFactory接口中，我们没有具体的类，所以我们可以使用type of the constructor functionnew (...args: any) => T为blueprint：

export interface CarFactory<T> {
  cars: Car<T>[];
  // use a constructor function type here
  blueprint: new (...args: any) => T;
}

测试一下：

class CombiUnit {
  // your implementation of a car unit/model T goes here
}

type CombiUnitFactory = CarFactory<CombiUnit>;

// new (...args: any) => CombiUnit
type CombiUnitFactoryCtorFunction = CombiUnitFactory["blueprint"];

// some concrete factory
declare const t1: CombiUnitFactory;

const result = new t1.blueprint(); // const result: CombiUnit

Playground

Answer 2

typeof 运算符有效地返回一个值。写就够了

interface Car<T> {
  blueprint: T;
}

除此之外，我认为工厂类应该是静态的，因此不需要接口。你可以像这样创建一个静态汽车工厂类：

export class AutomobileFactory {
  static createCar<T>(): Car<T> {
    // create a concrete car implementation of the
    // generic type T instead of throwing an error
    throw new Error("Not implemented");
  }
}