TypeScript 泛型：返回指定为参数的实例的构造函数的函数

Question

我正在学习 TypeScript。我一直在研究泛型，但遇到了一个小问题，我正在努力寻找答案。

我已经在 Google 上搜索了很多搜索查询，但由于搜索词的含糊不清，以及对某些语言结构的技术名称缺乏了解，我得到了很多噪音。

我在 TypeScript 的网站上阅读了三个相关页面的文档，但找不到我需要的信息。也许我忽略了一些东西，如果是这样的话，一个好的解释的链接将不胜感激。

我想编写一个函数，它返回指定为保留类型参数的实例的构造函数，因为 TypeScript 中的 this.constructor 不是类的类型。

非常清楚，我知道我可以做到这一点：

const aa2 = (a.constructor as typeof A).make();

这是一个精简的案例：

class A {
    prop1: string;
    prop2: number;

    constructor(prop1: string, prop2: number) {
        this.prop1 = prop1;
        this.prop2 = prop2;
    }

    method() {

    }

    static make() {
        return new this('test', 42);
    }
}

function constructor<T>(instance: T): { new(...args): T } {
    return instance.constructor as { new(...args): T };
}

const a = A.make();

// Property 'make' does not exist on type 'new(...args: any[]) => A'
const aa = constructor(a).make();


// This works, but is not pretty
const aa2 = (a.constructor as typeof A).make();

它需要在任何类上工作，有或没有构造函数参数。

我可以反过来：

export function make<T>(type: { new(...args): T }, ...args): T {
    return new type(...args);
}

make(A, 'test', 42).method();

这似乎有一些我没有得到的关键因素。如果你能准确地发现我的想法哪里出了问题，我欢迎对我的误解做出一个很好的解释。

Answer 1

没有办法从实例类型转移到类类型。这只有在 constructor 被键入为类类型时才有可能（事实并非如此）有一张公开票可以制作 this happen 但它已经公开并讨论了很长时间。

如果您控制客户端类，则可以向该类添加成员以使该方法正常工作：

class TraceableClass<TThis> {
  private typedConstructor!: TThis
}
class A<TThisClas = typeof A> extends TraceableClass<TThisClas>{
    prop1: string;
    prop2: number;

    constructor(prop1: string, prop2: number) {
        super();
        this.prop1 = prop1;
        this.prop2 = prop2;
    }

    method() {

    }

    static make() {
        return new this('test', 42);
    }
}

function constructor<T>(instance: TraceableClass<T>): T {
    return instance.constructor as  any as T;
}

const a = A.make();

// Ok now
const aa = constructor(a).make();

Play