如何在 TypeScript 重载中区分类型对象和数组?

Question

这是我的代码：

public foo<T>(src: object, type: Type<T>): T;
public foo<T>(src: any[], type: Type<T>[]): T[];
public foo<T>(src: object | any[], type: Type<T> | Type<T>[]): T | T[] {...}

我想做的是保证以下约束的重载：

• 一个对象(不是数组(，一个类型>单个对象
• 数组，类型>数组的数组

问题是类型对象也可以是一个数组，因此可以进行以下组合：

foo([...], MyType) > {}

有没有办法避免它？或者你能推荐我一种重写重载的方法吗？

Answer 1

问题是数组是一个对象，所以如果采用数组参数的重载不匹配，Typescript 将只转到下一个接受对象的重载，并得出结论，第一个参数与object兼容。

如果第一个参数是对象重载上的数组，我们可以使用条件类型在第二个参数中引入不兼容。此外，如果您需要为数组推断多个类型，则需要指定更多类型参数(每种类型一个，最多合理数量的类型(

type Type<T> = new (...args:any[]) => T
type Type<T> = new (...args: any[]) => T
class C {
public foo<T, P extends object>(src: P, type: P extends any[] ? never : Type<T>): T;
public foo<T>(src: [any], type: [Type<T>]): [T];
public foo<T, T1>(src: [any, any], type: [Type<T>, Type<T1>]): [T, T1];
public foo<T, T1, T2>(src: [any, any, any], type: [Type<T>, Type<T1>, Type<T2>]): [T, T1, T2];
public foo<T = any>(src: T[], type: Type<T>[]): T[]; // catch all oveload for arrays
public foo(src: object | any[], type: Type<any> | Type<any>[]): any {
}
}
class MyClass { private x!: string }
class MyClass2 { private x!: string }
let c = new C;
c.foo({}, MyClass) // ok, return My Class
c.foo({}, [MyClass]) // error
c.foo([], MyClass) // error
c.foo([{}], [MyClass]) // ok returns [MyClass]
c.foo([{}, {}], [MyClass, MyClass2]) // ok returns [MyClass, MyClass2]
c.foo([{}, {}, {}], [MyClass, MyClass2, MyClass]) // ok returns [MyClass, MyClass2, MyClass]