Typescript，返回元组的通用可变参数工厂函数

在打字稿中，可以像这样创建工厂函数，并定义返回类型：

function factory1<T>(object: new () => T): T {
  return new object();
}

如果我想创建几个不同的对象，我可以将此函数扩展为：

function factory2<T, U>(object1: new () => T, object2: new () => U): [T, U] {
  return [new object1(), new object2()];
}

现在我的问题是：这个工厂模式是否可以泛化为采用任意数量的不相关对象类型并仍然返回类型化元组？或者是放弃强类型并恢复使用任何类型的唯一选择？

像这样的东西：

function factory3<T extends any[]>(...objects: {new(): any}[]): [...T] {
  // BODY
}

最后一个，factory3，的问题是我们丢失了 T 的类型，而是得到了“typeof T”。例如：

    factory3(ClassA, ClassB, ClassC);

// actually becomes this:

    factory3<typeof ClassA, typeof ClassB, typeof ClassC>(...) : [typeof ClassA, typeof ClassB, typeof ClassC] {}

// But we want this to happen instead, which is possible for factory 1:

    factory3<typeof ClassA, typeof ClassB, typeof ClassC>(...) : [ClassA, ClassB, ClassC] {}

当然，您可以将工厂休息参数设为映射数组/元组类型 https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-1.html#mapped-types-on-tuples-and-arrays。你需要一个类型断言 https://www.typescriptlang.org/docs/handbook/basic-types.html#type-assertions或类似的东西来说服编译器主体中的返回值实际上是一个[...T]:

function factory<T extends any[]>(...ctors: { [K in keyof T]: new () => T[K] }) {
    return ctors.map(x => new x) as [...T];
}

您可以验证这是否有效：

class A {
    x = 1;
}
class B {
    u = "u";
}
class C {
    s = true;
}

const objects = factory(A, B, C);
// const objects: [A, B, C]
console.log(JSON.stringify(objects)); // [{"x":1},{"u":"u"},{"s":true}] 

Playground 代码链接 https://www.typescriptlang.org/play?#code/GYVwdgxgLglg9mABMAhtOAnAngHgCqICmAHlIWACYDOiKYWA2gLoB8AFAHRfoZUBciAN6IGAaUQwkAa0JY4wRHiYCwhAO6I2ASkQBeForFNEAXx2CAUImuIMhKCAxIeVDgFsUABzbE9B1RrEOig0DFwcSgDcFiYWFhAANiE0AIJCVja+uogAjNGxicmIAELpNoggeogARCDVkYgx8UlUNADCZTY02VAYIIT5cRAIVFCIcABGAFaE0N3IaFCYWGwpADQlG21a0QD0u4jDYKPj07NQ-CLrm4htTPEjcAmEHAlwAOZsAFIAygDyADkOKMMJJ3jBgCtJjM5lodoh9iJBNViNU+DkTGtkXU+LVqpjkVQ0b1+iZjBYgA