如何区分 TypeScript 重载中的类型对象和数组？答案

【问题标题】：How to distinguish type object and array in TypeScript overload?如何区分 TypeScript 重载中的类型对象和数组？
【发布时间】：2018-12-15 06:29:04
【问题描述】：

这是我的代码：

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) > {}

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

【问题讨论】：

超载应该做什么？您确定要在那里使用object 和any[] 吗？
我想将一个普通对象转换为“类对象”或任何东西的数组（包括原始对象）。

标签： javascript typescript generics types overloading

【解决方案1】：

问题在于数组是一个对象，所以如果接受数组参数的重载不匹配，Typescript 将继续进行下一个接受对象的重载，并得出第一个参数与 @ 兼容的结论987654321@。

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

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]

【讨论】：

这里的问题是你总是返回 T[]，而不是我需要返回 T 如果对象和 T[] 如果数组。也许我可以在返回类型上使用条件类型。它不会变得非常可读，但它应该可以工作。
@nacho111 刚刚注意到使用条件不会为数组正确返回推断T。再一次，即使是原始的也有推断多种类型的问题。您希望类型数组包含多种类型吗？如果是这样，我们将需要额外的类型参数（每种类型一个，不超过任意数量）
不，我只需要 1 种 if 数组。
@nacho111 那为什么要传递一个数组呢？
好吧对不起，我的错。是的，我需要多种类型。