如何在 TypeScript 泛型中动态指定类型？

Question

我应该如何修改WithArea函数的areaCalculator的泛型类型参数U，以扩展当前MixinFactory实例的基类？

type Constructor<T> = new (...args: any[]) => T;

interface IArea {
    readonly area: number;
}

class MixinFactory<T extends Constructor<Shape>> {
    constructor(public Superclass: T) {}

    WithArea(areaCalculator: <U extends Shape & IArea>(ctx: U) => number) {
        return new MixinFactory<T & Constructor<IArea>>(class extends this.Superclass implements IArea {
            get area(): number {
                return areaCalculator(this);
            }
        })
    }
}

class Shape {}

class RectRaw extends Shape {
    constructor(
        public x: number,
        public y: number,
        public w: number,
        public h: number) {
            super();
        }
}

const Rect = new MixinFactory(RectRaw).WithArea(ctx => {
    return ctx.w * ctx.h;
}).Superclass;

const rect = new Rect(10, 10, 20, 20);

console.log(rect.area);

Playground

Answer 1

您的areaCalculator 函数不需要是通用的；不需要额外的类型参数U，并且这个类型参数不会被方法get area(): number暴露出来。

areaCalculator 函数只需定义为接受构造函数类型T 返回的任何对象，因此使用InstanceType 帮助器，我们可以将其提取并直接在类型注释中使用：

class MixinFactory<T extends Constructor<Shape>> {
    constructor(public Superclass: T) {}

    WithArea(areaCalculator: (ctx: InstanceType<T> & IArea) => number) {
        return new MixinFactory<T & Constructor<IArea>>(class extends this.Superclass implements IArea {
            get area(): number {
                return areaCalculator(this as InstanceType<T> & IArea);
            }
        })
    }
}

请注意，需要一个类型断言 this as InstanceType<T> & IArea，因为 Typescript 无法确定如果一个类扩展了 T 类型的 this.Superclass，那么它的实例必须具有 InstanceType<T> 类型。

Playground Link