TypeScript中T extends unknown[]的问题

Question

function call<T extends unknown[], R>(
    f: (...args: T) => R,
    ...args: T
  ): R {
    return f(...args)
  }

  function fill(length: number, value: string): string[]{
    return Array.from({ length }, () => value)
  }
  let aa = call(fill, 10, 'a')
  let bb = call(fill, 10) // 应有 3 个参数，但获得 2 个
  let cc = call(fill, 10, 'a', 'z') // 应有 3 个参数，但获得 4 个

为什么应有 3 个参数，难道...args就必须是2个才能是数组或元组吗，1个难道不成立吗？

Answer 1

Answer 2

call函数中的泛型T在第一个参数fill的传入时就已经确定了类型，所以call的第二个参数必须是length: number, value: string的组合。

可以直接修改fill的参数再查看结果。
如果要两个T都是unknown[],就直接写吧，别用泛型