TypeScript中使用可变元组正确推导回调函数类型的问题

我编写了一个简单示例，定义了用于包装特定类型的泛型对象WrapperObject：

• 每个WrapperObject实例都包含value属性，以及用于返回该value值的getValue方法
• 需要实现getValues函数，接收包装对象组成的数组和回调函数作为参数
• 回调需要按照包装对象的传入顺序，接收每个对象对应的value作为入参，且TypeScript需要正确推导入参的类型顺序
• 约束：不允许使用任何类型断言，需要确认需求是否可实现，无法实现则说明原因

当前实现代码 #

type WrapperObject<T> = {
  value: T
  getValue: () => T
}

type UnwrapGeneric<T extends ReadonlyArray<WrapperObject<unknown>>> = {
  [K in keyof T]: T[K] extends WrapperObject<infer V> ? V : never
}

function createWrapperObject<T>(value: T): WrapperObject<T> {
  return {
    value,
    getValue: function (): T {
      return this.value
    },
  }
}

function getValues<T extends ReadonlyArray<WrapperObject<unknown>>>(
  wrapperObjects: [...T],
  callback: (...args: UnwrapGeneric<[...T]>) => void,
) {
  const values = wrapperObjects.map((obj) => obj.getValue())
  callback(...(values as Parameters<typeof callback>)) // 待移除的类型断言
}

const first = createWrapperObject(5)
const second = createWrapperObject('test')
const third = createWrapperObject([8])

getValues([first, second, third], (valOne, valTwo, valThree) => {
  valOne // 期望推断为number
  valTwo // 期望推断为string
  valThree // 期望推断为number[]
})

当前实现的回调参数类型推断符合预期，但函数内部残留了一处类型断言，始终无法找到移除的方法。

该需求不可能在完全不使用类型断言的前提下实现，核心原因来自TypeScript的固有设计局限：

• Array.prototype.map的内置类型签名默认返回普通数组类型，不会保留元组的逐位置类型映射。调用wrapperObjects.map(obj => obj.getValue())时，编译器只会把返回值推断为所有包装值类型组成的联合类型数组，根本不会自动关联到定义的逐位匹配元组UnwrapGeneric<T>。
• 所有数组遍历操作（map/forEach/普通for循环）都不会被TypeScript做元组级别的类型校验：编译器无法静态证明遍历收集到的值数组，长度、每个位置的类型和UnwrapGeneric<T>完全匹配。只要需要把收集到的值展开传入回调，就必须通过类型断言告知编译器此处类型匹配。
• 当前代码里的as Parameters<typeof callback>没有类型安全隐患：运行时逻辑就是按顺序取每个包装对象的value传入回调，和类型定义的行为完全一致，这也是TS生态处理这类元组转可变参数场景的通用写法。

如果硬要追求形式上的“零断言”，最多只能通过函数重载把类型不兼容的部分藏在实现签名里，本质没有消除强制类型转换，只会徒增代码复杂度，没有实际意义。

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