TypeScript为何不允许子类构造函数作为Map的值？如何合规解决？

问题场景 #

我尝试在TypeScript中构造一个Map，把特定字符串键映射到父类Fruit的子类构造函数，并将typeof Fruit作为Map的泛型参数，代码如下：

abstract class Fruit {
    protected juiceAmount: number;
    constructor(juiceAmount: number) {
        this.juiceAmount = juiceAmount;
    }
}

class Apple extends Fruit {
    protected variation: string = "Red delicious";
}

class Watermelon extends Fruit {
    protected numSeeds: number = 1000;
}

const plantFruits: Map<string, typeof Fruit> = new Map([
    [ "Malus domestica", Apple ],
    [ "Citrullus lanatus", Watermelon ]
]);

但TypeScript类型检查器判定这段代码无效，请问报错原因是什么？如何在不使用Apple as any这类牺牲类型安全的方式下解决该问题？

原因分析 #

核心问题在于**typeof Fruit是抽象类的构造函数类型，它和子类构造函数类型并不兼容**：

• typeof Fruit代表抽象类的构造函数，这类构造函数无法直接被new调用（抽象类不能实例化）；
• 而Apple、Watermelon是具体子类的构造函数，它们可以被new调用生成实例。
  TypeScript的类型系统会阻止这种“将更具体（可实例化）的类型赋值给更抽象（不可实例化）的类型”的操作，避免潜在的类型不安全场景。

解决方案 #

我们可以定义一个符合子类构造函数签名的类型，来替代typeof Fruit作为Map的值类型：

步骤1：定义构造函数签名类型 #

先声明一个类型，描述“能接收juiceAmount参数并返回Fruit实例”的构造函数：

type FruitConstructor = new (juiceAmount: number) => Fruit;

步骤2：修改Map的类型 #

将plantFruits的类型改为Map<string, FruitConstructor>，这样所有Fruit的子类构造函数都会符合这个类型签名，TypeScript会认可这种赋值：

完整修改后代码 #

abstract class Fruit {
    protected juiceAmount: number;
    constructor(juiceAmount: number) {
        this.juiceAmount = juiceAmount;
    }
}

class Apple extends Fruit {
    protected variation: string = "Red delicious";
}

class Watermelon extends Fruit {
    protected numSeeds: number = 1000;
}

// 定义统一的构造函数类型
type FruitConstructor = new (juiceAmount: number) => Fruit;

// 使用该类型作为Map的值类型
const plantFruits: Map<string, FruitConstructor> = new Map([
    [ "Malus domestica", Apple ],
    [ "Citrullus lanatus", Watermelon ]
]);

// 正常使用示例：实例化子类
const appleConstructor = plantFruits.get("Malus domestica")!;
const myApple = new appleConstructor(150);

这种方式既保留了类型安全，又能正确映射子类构造函数，完全不需要使用any类型。

内容的提问来源于stack exchange，提问作者goose_lake