带参数的 Typescript 工厂模式

我目前在我的项目中使用工厂模式，下面是最小的可重现代码

class A {
    constructor(public name: string) {}
}

class B {
    constructor(public age: number, public address: string) {}
}

type FactoryMap = {
    A: A,
    B: B
}

const map = {
    A,
    B
}

function create<T extends keyof FactoryMap>(name: T, ...params: ConstructorParameters<typeof FactoryMap[T]>): FactoryMap[T] {
    switch (name) {
        case "A":
            return new A(...params);
        case "B":
            return new B(...params);
    }
}

function create2<T extends keyof typeof map>(name: T, ...params: ConstructorParameters<typeof map[T]>): typeof map[T] {
    return new map[name](...params);
}

我尝试了两种不同的功能，但都不起作用。

第一个说的是Type 'A' is not assignable to type 'A & B'，但我想知道FactoryMap[T]应该A | B.

第二个错误是Type 'A | B' is not assignable to type '{ A: typeof A; B: typeof B; }[T]'，我知道为什么，但我无法推断A | B使用该对象map.

有人有这两个功能的解决方案吗？

操场 https://www.typescriptlang.org/play?#code/MYGwhgzhAECC0G8BQ1XWAewHYQC4CcBXYXDfACgAdCAjEAS2GizAFsBTALmj33qwDmASkQBfJOKShIMAEKIUaTDgLFSFanUbQwArs0Ksa7fABpomhkzAATG-nZRuvfsLESkSXAE9K7aABiYCRk3gCyYJTQALwKaHDcsKaKqLLcsh4AZoRYJPTY6A5guOwAPAAq0OwAHiVYNjAA1uzeGJmBwerhkQB85Cwc3OXmAHRjlGD4bBDcAMLYvGpkAAqTbOwl%20BClPn5tHSH43ZQA2uUAuj1C3EGHx2fncWgQAO70uMAAFtD96yLI8XiwEg-gARLBQZwUoD4g5cIR8FhmOwXnByGMRhMpqwIEIANzQoEg6Cg2SQwkw6BwhFIrAo6CydHjNY4-HQ8SSZR4aCsSIxJ6oJLQjLibK5XD5JHAIolABMFSqtXY9SaLX2u3Y%2015lD6A30w2gGKx0zmC1Uh1W2I2Jm2Gq1kQeV24dva2oeAqpGxpyNRbr15yZmJZuIJoiAA

Typescript 将无法评估包含未解析类型参数的条件类型。你可以通过重载来解决这个问题：

class A {
    private name!: string
    constructor() {}
}

class B {
    private age!: number
    constructor() {}
}

const map = { A, B }

function create2<T extends keyof typeof map>(name: T, ...params: ConstructorParameters<typeof map[T]>): InstanceType<typeof map[T]>
function create2(name: keyof typeof map, ...params: ConstructorParameters<typeof map[keyof typeof map]>): InstanceType<typeof map[keyof typeof map]> {
    return new map[name](...params);
}

I added InstanceType关于返回类型。typeof map[keyof typeof map]将成为联盟typeof A | typeof B（即任一类）。由于我们返回一个实例，因此我们需要使用InstanceType得到那个。

如果构造函数有参数，上面的版本实际上将不起作用。这是因为 Typescript 无法遵循这一点params and map[name]以任何方式相关。所以TS看到new (A | B)(...(parmsForA | paramsForB)这只是有时安全（如果A与paramsForB这将是一个错误）

现在，既然我们知道两者实际上是相关的，那么这是类型断言的一个很好的用途：

class A {
    constructor(public name: string) {}
}

class B {
    constructor(public age: number, public address: string) {}
}

const map = { A, B }

function create2<T extends keyof typeof map>(name: T, ...params: ConstructorParameters<typeof map[T]>): InstanceType<typeof map[T]>
function create2(name: keyof typeof map, ...params: any[]): InstanceType<typeof map[keyof typeof map]> {
    return new (map[name] as any)(...params)
}