使用泛型和其余属性的 Typescript 函数不会自动收集所有可能的类型

Question

请参阅下面的最低代码。

function zip<T>(...arrs: T[][]): T[][] {
  return arrs
}

zip([1,2,3], ['a', 'b', 'c'])
// Type 'string' is not assignable to type 'number'.ts(2322)

zip<number | string>([1,2,3], ['a', 'b', 'c'])
// Ok, but a little bit bother to me.

我使用generics和rest属性创建了一个函数。

当我直接使用zip([1,2,3], ['a', 'b', 'c']) ，我希望打字稿会自动发现我正在使用number | string number | string类型，有什么方法可以实现吗？

Answer 1

Typescript 看到第一个参数是number[]并且这修复了T然后你会得到第二个错误。 虽然理论上T可以推断为string | number string | number我认为当前的行为通常是一件好事，它更可能infering工会将导致其他地方发生意外错误。

如果您让编译器将所有参数作为一个整体而不是单独考虑，在其余参数中使用元组，您可以让编译器接受您想要的调用：

function zip<T extends any[][]>(...arrs: T): (T[number][number])[][] {
    return arrs
}

zip([1,2,3], ['a', 'b', 'c'])

T将是示例调用的元组类型（ [number[], string[]] ，因此要获取项目类型，我们使用T[number][number] （这将是示例调用的string | number ），并且使用[][]返回数组数组