Typescript，如何使用扩展抽象类的类的构造函数作为参数

Question

我有一个抽象类A。然后我有两个类，B 和 C，它们扩展了这个抽象类。

（示例代码）：

abstract class A {
    private name: string;

    abstract saluto(): void;

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

class B {
    saluto(): void {
        console.log(`Hello ${this.name}`);
    }

    constructor(name: string) {
        super(name);
    }
}

class C {
    saluto(): void {
        console.log(`Ciao ${this.name}`);
    }

    constructor(name: string) {
        super(name);
    }
}

我有一个函数，它给定数组const generators = [B, C]，一个参数返回B 和C 创建的实例，并将参数传递给constctor。

例如：

const generators = [B, C];

function generate(generators: typeof A[], name: string): A[] {
    return generators.map(gen => new gen(name)); // Here I have the error
}
const instances = generate(generators, 'Eugenio');

这里我有一个错误，因为它说Cannot create an instance of an abstract class.。

我该如何解决这个问题？应该有办法告诉 tsc 生成器不是 A 本身，而是扩展它的非抽象类。

Answer 1

当你使用typeof A 时，你基本上创建了一个类似于abstract new(name: string) => A 的类型。构造函数 (TS 4.2 abstract constructor signature) 上的 abstract 关键字将此类/构造函数标记为不可实例化。所以，如果你想要一个可实例化的类，你需要在没有abstract new 和new (playground) 的情况下键入它：

function generate(generators: (new(name: string) => A)[], name: string): A[] {
    return generators.map(gen => new gen(name)); // No error anymore
}

编辑：自动推断构造函数签名。

为此，您通常会使用ConstructorParameters，但这是不可能的，因为typeof A 返回一个抽象构造函数，而 ConstructorParameters 仅适用于普通构造函数。因此，我们必须使用infer (playground) 自己键入该实用程序类型：

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

type ParametersOfA = AbstractConstructorParameters<typeof A>;

function generate(generators: (new(...args: ParametersOfA) => A)[], ...args: ParametersOfA): A[] {
    return generators.map(gen => new gen(...args)); // No error anymore
}