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[] {...}

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

• 一个对象（不是数组），一个类型 > 单个对象
• 一个数组，一个 Type > 数组的数组

问题是类型对象也可以是数组，因此以下组合成为可能：

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]