TypeScript函数类型定义问题：接收构造器单例或数组报错

问题背景 #

需要定义一个TypeScript函数，接收Component<any>子类的单个构造器或构造器数组，返回包含对应组件的IEntity[]数组。最初的泛型写法调用时触发TS2345类型错误，调整泛型约束后可正常运行，以下是错误原因解析。

错误写法与报错 #

错误函数定义 #

function getEntitiesByComponent<T extends Component<any>>(compType: new (...args: any[]) => T | Array<new (...args: any[]) => T>): IEntity[] { ... }

调用示例（触发错误） #

const viewComponentEntities = getEntitiesByComponent([ViewComponent, TransformComponent]);

翻译后的错误信息 #

TS2345: 类型“(typeof TransformComponent | typeof ViewComponent)[]”的参数不能赋值给类型“new (...args: any[]) => Component | (new (...args: any[]) => Component)[]”的参数。

正确写法 #

function getEntitiesByComponent<T extends new (...args: any[]) => Component<any>>(compType: T | Array<T>): IEntity[] { ... }

错误原因解析 #

1. 错误写法的逻辑完全偏离需求
   错误写法中，泛型T被约束为Component<any>的子类，参数compType的类型因运算符优先级（箭头函数=>优先级高于|），实际表示的是「一个构造函数，该函数创建的实例是T，或是T的构造函数组成的数组」——这和我们需要的「传入单个构造函数/构造函数数组」的需求完全不匹配。

2. 正确写法的逻辑精准匹配需求
   正确写法里，泛型T直接被约束为「返回Component<any>的构造函数类型」，参数compType明确为T（单个构造函数）或Array<T>（构造函数数组）。
   当传入[ViewComponent, TransformComponent]时，TypeScript会自动将T推断为typeof ViewComponent | typeof TransformComponent，这个联合类型的数组完全符合Array<T>的约束，因此不会报错。

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