TypeScript 构造函数列表作为泛型入参的类型异常与修正

架构老林

2026-11-5

代码演练场

我针对本问题的相关代码创建了在线演练场示例。

背景

假设我是名为 LIB 的命名空间的开发者，其核心代码片段如下：

namespace LIB {
    type Constructor<T> = new (...args: any[]) => T

    export const bundles: Bundle<any>[] = []

    export class Bundle<T extends Component> {
        constructor(public component: T) { }

        // ...
    }

    export class Component {
        // ...
    }

    export function addComponent<T extends Component>(component: T) {
        bundles.push(new Bundle(component))
    }

    export function getComponents<T extends Component>(ctor: Constructor<T>): T[] {
        return bundles.filter(bundle => bundle.component instanceof ctor).map(bundle => bundle.component)
    }
}

以下是 LIB 的典型使用示例：

class A extends LIB.Component { a = 1 }
class B extends LIB.Component { b = 1 }

const ctors = [A, B]
LIB.addComponent(new ctors[0]())
LIB.addComponent(new ctors[1]())

const components = ctors.flatMap(ctor => LIB.getComponents(ctor)) // <-- TS 报错位置

console.log(components)

上述代码运行时表现正常，最终输出符合预期的 [A: {"a": 1}, B: {"b": 1}] 结果。

核心问题

为什么 TypeScript 会抛出如下类型报错？作为 LIB 的开发者，我该如何从库设计层面规避该问题？消费侧代码中的 A、B 类必须拥有不同的属性，这是硬性需求。

Argument of type 'typeof A | typeof B' is not assignable to parameter of type 'Constructor<A>'.
  Type 'typeof B' is not assignable to type 'Constructor<A>'.
    Property 'a' is missing in type 'B' but required in type 'A'.(2345)
input.tsx(25, 33): 'a' is declared here.

TypeScript 将 components 的类型推导为 A[]，但我期望的推导结果是 (A|B)[]，这与运行时的实际输出类型完全一致。为什么会出现这种推导偏差？又该如何修正？

参考过的相似问题

我查阅过以下相似问题，但现有方案未能解决上述问题：

TypeScript 按名称动态初始化类(2345)报错
TypeScript 构建类数组执行带重载构造器的静态方法
TypeScript 中的抽象构造器类型定义

问题解答

针对问题1的原因与解决方案

报错产生的原因：
当 ctors 数组被声明为字面量 [A, B] 时，TypeScript 会自动将其元素类型推导为联合类型 typeof A | typeof B。而 getComponents 函数的泛型 T 是在单次函数调用时从传入的参数类型推导的——当把联合类型的构造器传入时，TypeScript 会优先匹配联合类型中的第一个成员（也就是 typeof A），将泛型 T 推导为 A，因此要求传入的参数必须是 Constructor<A>。但联合类型中的 typeof B 并不满足这个构造器类型（因为 B 缺少 A 的专属属性 a），因此抛出类型不匹配的错误。

库设计层面的规避方案：
可以将 getComponents 函数改为泛型元组重载的形式，让函数可以同时接收多个不同类型的构造器，一次性返回对应类型的组件数组，避免单次传参时的泛型推导问题。具体修改方式：

调整通用构造器类型，去掉对具体类属性的强制关联
新增工具类型，从传入的构造器数组自动推导返回值的组件类型联合
新增可变参数的泛型重载，支持传入任意数量的不同构造器

修改后的库核心代码：

namespace LIB {
    // 通用构造器类型，不强制绑定单个具体类的属性
    type AnyConstructor = new (...args: any[]) => LIB.Component
    // 工具类型：从构造器数组推导所有实例类型的联合
    type ComponentFromCtors<T extends AnyConstructor[]> = InstanceType<T[number]>

    export const bundles: Bundle<any>[] = []

    export class Bundle<T extends Component> {
        constructor(public component: T) { }
    }

    export class Component { }

    export function addComponent<T extends Component>(component: T) {
        bundles.push(new Bundle(component))
    }

    // 原有单参实现，保持向下兼容
    export function getComponents<T extends Component>(ctor: new (...args: any[]) => T): T[]
    // 新增多可变参泛型重载，支持传入任意数量的不同构造器
    export function getComponents<T extends AnyConstructor[]>(...ctors: T): ComponentFromCtors<T>[]
    // 函数通用实现
    export function getComponents(...ctors: AnyConstructor[]) {
        return bundles.filter(bundle => ctors.some(ctor => bundle.component instanceof ctor))
            .map(bundle => bundle.component)
    }
}

修改后，消费侧代码无需逐一遍历调用，直接传入构造器即可，无类型报错：

class A extends LIB.Component { a = 1 }
class B extends LIB.Component { b = 1 }

const ctors = [A, B] as const
LIB.addComponent(new A())
LIB.addComponent(new B())
// 返回值自动推导为 (A | B)[]，与运行时结果完全一致
const components = LIB.getComponents(...ctors)

针对问题2的推导偏差原因与修正方式

推导偏差的原因：
当使用 ctors.flatMap(ctor => LIB.getComponents(ctor)) 调用时，泛型推导的优先级是从左到右逐次匹配的。ctors 的元素类型是 typeof A | typeof B，TypeScript 在推导 getComponents 的泛型时，会取联合类型的最优匹配（也就是第一个成员 typeof A），因此将整个 flatMap 的返回值推导为 A[]，不会自动拆分联合类型进行分别推导。

修正方式：
除了上述调整库函数签名的方案外，如果不改动现有库的调用方式，也可以在消费侧通过简单调整修正推导结果：

// 方式1：显式指定联合泛型，覆盖TS的默认推导
const components = ctors.flatMap(ctor => LIB.getComponents<A | B>(ctor))

// 方式2：将构造器数组标记为只读元组，让TS保留每个元素的独立类型
const ctors = [A, B] as const
const components = ctors.flatMap(ctor => LIB.getComponents(ctor))

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

TypeScript 构造函数列表作为泛型入参的类型异常与修正

代码演练场 #

背景 #

核心问题 #

参考过的相似问题 #

问题解答 #