TypeScript对象传参时回调参数类型自动推导失效问题

问题场景 #

以下方代码为例，将callback作为对象参数的属性传入时，回调函数的参数无法被自动推导为number类型；但无callback传参时，Promise链式调用中的参数可被正常推导：

type CallBack = (_: number) => number

function sqk({x}:{x:number}): Promise<number>;  
function sqk({x,callback}:{x:number,callback:CallBack}): void;
function sqk({x,callback}:{x:number,callback?:CallBack}): Promise<number>|void  {
  if(callback){
   callback (x * x);
  }
  return Promise.resolve(x)
}

// 此处回调参数x会被推导为any，无法自动匹配number类型
const cb = sqk({x:5, callback:function(x) {
  console.log(x);
  return x;      
}});

// 此处Promise返回值的x可正常推导为number类型
const promise = sqk({x:5}).then(x=>{console.log(x)})

目前已知一种可行方案：将callback从对象参数中拆分，作为函数的第二个独立参数，代码如下：

type CallBack = (_: number) => number

function sqk(x:number): Promise<number>;  
function sqk(x:number,callback:CallBack): void;
function sqk(x:number,callback?:CallBack): Promise<number>|void  {
  if(callback){
   callback (x * x);
  }
  return Promise.resolve(x*x)
}

const cb = sqk(5,(x)=> {
  console.log(x);
  return x;      
});

const promise = sqk(5).then(x=>{console.log(x)})

但该方案没有解答核心疑问：为什么把callback放在对象参数内的函数重载写法，无法实现参数类型自动推导？

核心原因 #

• TypeScript处理函数重载时，遵循先完整推断实参类型，再匹配重载签名的逻辑，不会在实参推断阶段提前引用重载签名内的类型做上下文推导。
• 当callback是对象参数的属性时，传入的整个对象字面量是单个实参，TS会先整体推断这个对象的类型，再逐一比对重载签名。在推断callback对应的函数类型时，没有可用的上下文类型来源，因此其参数会默认 fallback 到any，无法自动推导为number。对象字面量的类型推断是整体进行的，不会因为某个属性可能匹配某个重载，就单独给这个属性套上对应类型约束。
• 当callback作为独立的第二个参数时，TS推断第二个实参（回调函数）的类型前，已经通过第一个参数的类型匹配到了对应重载签名，会直接把重载签名中第二个参数的CallBack类型作为上下文，因此回调参数可以被正常推导。

保留对象参数写法的修复方案 #

不需要拆分参数，放弃函数重载，改用泛型+条件类型即可实现正常的类型推导：

type CallBack = (_: number) => number

function sqk<T extends { x: number; callback?: CallBack }>(arg: T): T extends { callback: CallBack } ? void : Promise<number> {
  const { x, callback } = arg;
  if(callback){
   callback(x * x);
   return undefined as any;
  }
  return Promise.resolve(x*x) as any
}

// 此处回调参数x可正常推导为number
const cb = sqk({x:5, callback:function(x) {
  console.log(x);
  return x;      
}});

// 此处Promise返回值x也可正常推导为number
const promise = sqk({x:5}).then(x=>{console.log(x)})

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