TypeScript中T extends unknown[]的问题

新手上路,请多包涵

image.png

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个难道不成立吗?

阅读 4.7k
2 个回答

image.png

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

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

撰写回答
你尚未登录,登录后可以
  • 和开发者交流问题的细节
  • 关注并接收问题和回答的更新提醒
  • 参与内容的编辑和改进,让解决方法与时俱进
推荐问题