TypeScript构造函数类型校验问题：首参指定约束为何不生效？

现有定义与问题 #

你的类型定义和测试场景如下：

export type UnaryConstructor<Item, Options> = new (
  options: Options,
  ...args: any[]
) => Item;

class AnItemOptions {}
class SomethingElse {}

// 期望仅首参为AnItemOptions的类通过校验，但目前错误类也能通过
class ValidItem {
  constructor(options: AnItemOptions) {}
}

class InvalidItem1 {
  constructor() {} // 缺失首参
}

class InvalidItem2 {
  constructor(foo: SomethingElse, options: AnItemOptions) {} // 首参顺序错误
}

// 当前无报错，但不符合预期
const valid: UnaryConstructor<ValidItem, AnItemOptions> = ValidItem;
const invalid1: UnaryConstructor<InvalidItem1, AnItemOptions> = InvalidItem1;
const invalid2: UnaryConstructor<InvalidItem2, AnItemOptions> = InvalidItem2;

为什么构造函数类型校验失效？ #

核心原因是TypeScript对构造函数和普通函数的参数兼容性规则不一致：

• 普通函数会严格校验参数数量与顺序：如果目标函数要求至少N个参数，源函数参数数量少于N会直接报错。
• 构造函数的兼容性规则更宽松：为了适配类继承场景（比如子类构造函数可以无参，内部调用父类构造函数时补全参数），TypeScript允许源构造函数的参数数量少于目标类型要求的数量，甚至允许省略前序必要参数。

另外，如果你的AnItemOptions和SomethingElse是空类，TypeScript的结构类型系统会认为二者兼容，这也会让首参顺序错误的类意外通过校验。

修复方案：严格约束首参类型 #

方案1：固定参数数量（无额外参数场景） #

如果构造函数只需要第一个参数为Options，不需要额外参数，直接定义类型为：

export type UnaryConstructor<Item, Options> = new (options: Options) => Item;

这样参数数量不符、首参类型不匹配的类都会直接报错，但无法支持构造函数带额外参数的场景。

方案2：元组剩余参数（支持额外参数场景） #

如果需要保留额外参数的灵活性，同时确保首参类型正确，用元组剩余参数明确约束参数列表的结构：

export type UnaryConstructor<Item, Options> = new (...args: [Options, ...any[]]) => Item;

这个定义强制要求参数列表的第一个元素是Options类型，后面可以跟任意数量的任意类型参数。

补充：区分名义上的空类 #

如果你的AnItemOptions和SomethingElse是空类，结构类型系统会认为二者兼容，可以通过添加私有标记属性实现名义类型区分：

class AnItemOptions {
  private _tag: 'AnItemOptions' = 'AnItemOptions';
}

class SomethingElse {
  private _tag: 'SomethingElse' = 'SomethingElse';
}

修复后的验证效果 #

使用方案2的类型定义后：

• ValidItem可以正常通过校验
• InvalidItem1会因参数数量不足报错
• InvalidItem2会因首参类型不匹配报错

完全符合你期望的校验规则。

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