如何区分 TypeScript 重载中的类型对象和数组?
Posted
技术标签:
【中文标题】如何区分 TypeScript 重载中的类型对象和数组?【英文标题】:How to distinguish type object and array in TypeScript overload? 【发布时间】: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[]
吗?
我想将一个普通对象转换为“类对象”或任何东西的数组(包括原始对象)。
【参考方案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 那为什么要传递一个数组呢?
好吧对不起,我的错。是的,我需要多种类型。以上是关于如何区分 TypeScript 重载中的类型对象和数组?的主要内容,如果未能解决你的问题,请参考以下文章