Question

查看代码：

type FN = <U>(...rest: U[]) => U

declare const fn: FN

let union = fn('bar', 123) // Argument of type '123' is not assignable to parameter of type 'string'

我希望union的联合类型为string | number，但是将U设置为第一个参数（string）的类型。

是否可以将类型为rest的参数传递给并集？

Playground

Answer 1

我不确定围绕这方面的设计决策，但是如果您有U[]，编译器将不会为此推断出联合，而至少会为基元发出错误（例如，导致联合） let union = fn({ a: 'bar' }, { b: 123 })）。

一个简单的解决方法是在其余参数中使用元组：

type FN = <U extends any[]>(...rest: U) => U[number]

declare const fn: FN

let union = fn('bar', 123) // string | number

打字稿：用其余参数组装一个并集？

1 个答案: