TypeScript嵌套泛型函数报错：T可被不同子类型实例化如何解决？

报错代码 #

const factory = <T extends unknown[]>(
  fn: (...args: T) => void
) => {
  const transformedFn = (...args: T) => {
    console.log('called with', ...args)
    return fn(...args)
  }

  // 此处触发TypeScript错误
  transformedFn() 

  return transformedFn
}

// 使用示例
const fn = (num?: number, str?: string) => {
  return JSON.stringify({ num, str })
}
factory(fn)()

错误提示 #

Argument of type '[]' is not assignable to parameter of type 'T'.
'[]' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'unknown[]'.

对比可正常运行的代码 #

const fn = <T extends unknown[]>(...args: T) => {
  return args
}
fn()

问题核心 #

如何让TypeScript认可工厂函数中transformedFn()的空参数调用与泛型T匹配？

报错原因 #

工厂函数的泛型T由传入的fn推导而来。比如传入带可选参数的函数时，T会被推导为[number?, string?]的子类型，但TS无法保证所有可能的T都兼容空数组——如果有人传入必须传两个参数的函数，T就是[number, string]，空数组显然不合法，因此TS抛出错误。

而单独的泛型函数fn()中，T由调用时的参数推导，调用fn()时TS直接把T推导为[]，自然不会报错。

方法1：类型断言跳过检查 #

如果确定传入的fn都支持空参数调用，可以用类型断言告诉TS空数组符合T的要求：

const factory = <T extends unknown[]>(
  fn: (...args: T) => void
) => {
  const transformedFn = (...args: T) => {
    console.log('called with', ...args)
    return fn(...args)
  }

  transformedFn([] as T)
  return transformedFn
}

方法2：调整泛型约束确保兼容空调用 #

用展开语法修改泛型约束，让T明确是元素可选的数组类型：

const factory = <T extends [...unknown[]]>(
  fn: (...args: T) => void
) => {
  const transformedFn = (...args: T) => {
    console.log('called with', ...args)
    return fn(...args)
  }

  transformedFn()
  return transformedFn
}

方法3：设置默认泛型参数 #

给T设置默认值[]，当无法从fn推导时使用默认值（仅适用于允许无参数调用的场景）：

const factory = <T extends unknown[] = []>(
  fn: (...args: T) => void
) => {
  const transformedFn = (...args: T) => {
    console.log('called with', ...args)
    return fn(...args)
  }

  transformedFn()
  return transformedFn
}

内容的提问来源于stack exchange，提问作者mb21