打字稿：用其余参数组装一个联合？

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应该有一个 union type string | number string | number ，但U被设置为第一个参数的类型（ string ）。

是否可以将其余参数类型推送到联合？

操场

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