为何TypeScript无法推断存在依赖关系的泛型类型参数？

下面的代码中，手动指定泛型参数时wrapper可以正常工作，但让TypeScript自动推断时，它无法正确推导出callbackTwo中data的类型：

type SomeFunc<Arg, ReturnType> = (data: Arg) => ReturnType;

function wrapper<T extends SomeFunc<R, any>, R>(callbackOne: T, callbackTwo: (id: number, data: R) => void) {}

const callback: SomeFunc<number, void> = () => {};

// 手动指定类型时可正常运行
wrapper<SomeFunc<number, void>, number>(callback, (id, data) => {});
// TypeScript 无法在此处推断正确类型
wrapper(callback, (id, data) => {});

为什么TypeScript无法自动推断？ #

TypeScript的泛型推断是基于参数直接关联关系的。在这个wrapper定义里，R是独立的泛型参数，虽然T被约束为SomeFunc<R, any>，但这个约束是单向的：TypeScript会先尝试从callbackOne推断T，但R并没有直接和某个参数的类型绑定，而是需要通过T的约束反向推导。这种“间接依赖”的推断逻辑不在TypeScript的类型系统支持范围内——它不会为了满足T的约束去反向求解R，更倾向于直接从参数中获取类型线索，而非通过约束关联推导。

更优的解决办法 #

方案一：用infer从T中提取类型（稳定适配复杂T） #

不需要额外的R参数，通过条件类型的infer语法从T中提取参数类型，语义化且稳定：

type SomeFunc<Arg, ReturnType> = (data: Arg) => ReturnType;

function wrapper<T extends SomeFunc<any, any>>(
  callbackOne: T,
  callbackTwo: (id: number, data: T extends SomeFunc<infer R, any> ? R : never) => void
) {}

const callback: SomeFunc<number, void> = () => {};

// 自动推断data的类型为number
wrapper(callback, (id, data) => {}); // data: number

这种方式不管T的结构多复杂，只要它符合SomeFunc的形状，就能稳定提取参数类型，还避免了T是重载函数时Parameters<T>[0]可能只取第一个重载的问题。

方案二：反转泛型依赖关系 #

把R作为主泛型参数，让T依赖R，调整推断顺序：

type SomeFunc<Arg, ReturnType> = (data: Arg) => ReturnType;

function wrapper<R, T extends SomeFunc<R, any>>(
  callbackOne: T,
  callbackTwo: (id: number, data: R) => void
) {}

const callback: SomeFunc<number, void> = () => {};

// 自动推断R为number，data类型正确
wrapper(callback, (id, data) => {}); // data: number

核心是反转依赖：让T的约束基于R，而非R依赖T的约束。TypeScript会先从callbackOne的类型中提取R，再验证T的合法性，推断逻辑变得顺畅。

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