Typescript如何基于可选参数属性正确推导方法返回类型

问题原因 #

• TypeScript 不支持自动校验函数返回值和泛型条件类型的匹配关系：你在接口中定义的返回是条件类型，但函数实现返回的是T[] | U[]联合类型，TS 无法自动证明这个联合类型符合对应条件下的返回值要求，因此抛出类型不匹配错误。
• 泛型参数的定义逻辑有问题：你将U和Z都放在方法的泛型参数列表中，TS 无法从你传入的回调参数反向推导出U的实际类型，导致U被识别为unknown，最终返回类型变成unknown[]，回调的入参类型也无法正确推导。

解决方案 #

更简洁且符合 TS 推导逻辑的方式是用函数重载实现需求，无需写复杂的条件类型，也能完全满足你的类型推导要求：

type MapperFn<T, U> = (val: T) => U;

interface Mapper {
  // 重载1：传入回调的场景，返回转换后的U类型数组
  map<T, U>(arr: T[], opts: { cb: MapperFn<T, U> }): U[];
  // 重载2：未传入回调的场景，返回原T类型数组
  map<T>(arr: T[], opts?: { cb?: undefined }): T[];
}

const obj: Mapper = {
  map: (arr, opts = {}) => {
    const { cb } = opts;
    if (!cb) return arr;
    return arr.map(cb);
  }
}

const arr: number[] =[1,2,3];

const result = obj.map(arr, {cb: (element) => element.toString() }); // 正确推导为string[]
const result2 = obj.map(arr, { cb: (element) => element+1 }); // 正确推导为number[]
const result3 = obj.map(arr, {}); // 正确推导为number[]

如果一定要保留你原来的条件类型写法，可以在函数返回值处加类型断言绕过校验，但这种方式不如重载直观可维护。

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