TypeScript交叉类型报错：无法用new调用无构造签名的表达式

我之前也踩过这个坑，本质是TypeScript对类型别名交叉类型里的可变参数构造签名解析存在局限性，咱们一步步拆解解决它。

首先先还原你提到的类型定义（应该和你写的一致）：

type Prototype<T> = {
  prototype: T;
};

type DefaultCtor<T> = {
  new (): T;
};

type ParameterizedCtor<T> = {
  new (...args: any[]): T;
};

你会发现Prototype<T> & DefaultCtor<T>能正常工作，因为无参构造签名的结构足够明确，TypeScript能清晰识别出这是一个可实例化的类类型。但换成带可变参数的ParameterizedCtor<T>交叉时，TypeScript就“懵”了——它没法正确把prototype属性和可变参数的构造签名合并成一个可识别的构造类型。

解决方案1：给带参构造函数明确参数类型 #

把ParameterizedCtor<T>改成带泛型参数的版本，让TypeScript明确知道构造函数的参数结构：

// 新增泛型参数Args来定义构造函数参数
type ParameterizedCtor<T, Args extends any[]> = {
  new (...args: Args): T;
};

// 交叉类型也带上Args参数
type ParameterizedClass<T, Args extends any[]> = Prototype<T> & ParameterizedCtor<T, Args>;

// 使用时指定参数类型数组
const ParameterizedClassImpl: ParameterizedClass<{ id: number }, [number]> = class {
  constructor(public id: number) {}
};

const instance = new ParameterizedClassImpl(123); // 正常工作，不再报错

解决方案2：改用接口继承替代类型别名交叉 #

TypeScript对接口的继承关系处理更友好，能正确识别构造签名：

interface Prototype<T> {
  prototype: T;
}

interface ParameterizedCtor<T> {
  new (...args: any[]): T;
}

// 用接口同时继承两个类型，替代交叉操作
interface ParameterizedClass<T> extends Prototype<T>, ParameterizedCtor<T> {}

const ParameterizedClassImpl: ParameterizedClass<{ id: number }> = class {
  constructor(public id: number) {}
};

const instance = new ParameterizedClassImpl(123); // 正常工作

解决方案3：直接定义统一的类类型 #

如果你不需要拆分Prototype和Ctor，可以直接定义一个包含构造签名和prototype的泛型类型，一步到位：

type Class<T, Args extends any[] = []> = {
  new (...args: Args): T;
  prototype: T;
};

// 使用时直接指定实例类型和参数类型
const ParameterizedClassImpl: Class<{ id: number }, [number]> = class {
  constructor(public id: number) {}
};

const instance = new ParameterizedClassImpl(123); // 正常工作

本质上，这个问题是TypeScript类型别名交叉在处理模糊的可变参数构造签名时的解析缺陷，通过明确参数结构或者改用接口继承，就能让TypeScript正确识别出类型的构造能力。

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