TypeScript含可选/必选构造参数的类字典实例化报错解决

这个问题的核心是TypeScript没办法自动推断出字典里两个类的构造函数有兼容的调用方式——虽然我们知道new A(42)和new B(42)都能正常工作，但TypeScript的类型检查需要更明确的提示。

最清晰的解决方案：显式定义构造函数类型 #

我们可以先定义一个通用的构造函数类型，描述所有能接受number参数的类，然后把字典标注为这个类型，让TypeScript明确知道字典里的每个类都符合这个调用规则：

class A { constructor(n: number) {} }
class B { constructor(n = 42) {} }

// 定义构造函数类型：接受number参数，返回任意实例（也可以换成具体的接口/父类）
type NumberAcceptingConstructor = new (n: number) => object;

// 给字典指定类型，确保每个值都符合上面的构造签名
const DICT: Record<"a" | "b", NumberAcceptingConstructor> = {
  a: A,
  b: B,
};

function test(k: keyof typeof DICT) {
  const e = new DICT[k](42); // 现在不会报错了！
}

如果A和B有共同的父类或接口，比如Base，我们可以把object换成Base，让返回类型更精确：

interface Base {}
class A implements Base { constructor(n: number) {} }
class B implements Base { constructor(n = 42) {} }

type BaseConstructor = new (n: number) => Base;

const DICT: Record<"a" | "b", BaseConstructor> = { a: A, b: B };

快速解决：使用类型断言 #

如果你只是想快速修复，不想额外定义类型，可以用类型断言告诉TypeScript当前的构造函数符合调用要求：

class A { constructor(n: number) {} }
class B { constructor(n = 42) {} }

const DICT = { a: A, b: B };

function test(k: keyof typeof DICT) {
  // 断言构造函数接受number参数
  const Constructor = DICT[k] as new (n: number) => object;
  const e = new Constructor(42);
}

不过这种方式的类型安全性稍差——如果以后修改某个类的构造函数，让它不再接受number参数，TypeScript不会提前报错。

为什么原来的代码会报错？ #

TypeScript对DICT的自动推断类型是{a: typeof A, b: typeof B}，这两个类的构造签名在类型系统中是不同的：

• typeof A的构造函数是new (n: number) => A（必须传number）
• typeof B的构造函数是new (n?: number) => B（可选传number）

当你取DICT[k]时，TypeScript认为它是typeof A | typeof B的联合类型。对于联合类型的构造函数，只有当所有成员的构造签名完全兼容时才能直接调用，而这里两者的参数要求不统一，所以TypeScript报错说“缺少调用或构造签名”。

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