TypeScript泛型自动类型推断疑问：为何不同调用写法下参数类型推断结果不同？如何实现任意场景下的正确自动推断？

嘿，这个问题我之前踩过坑，咱们慢慢捋清楚哈～

先把你的代码贴出来方便对照：

function run<U>(func1: (arg: U) => void, func2: (arg: { a: string }) => U): void {}

// 场景1：params 被正确推断为 number
run((params) => {}, () => 23); 

// 场景2：params 被推断为 unknown，这是为啥？
run((params) => {}, (arg) => 23); 

问题原因拆解 #

咱们逐个看两个场景的推断逻辑：

• 场景1：第二个箭头函数没有写参数 arg，TypeScript 会直接跳过参数推断，先分析它的返回值——23 是 number 类型。接着反向推导泛型 U 就是 number，所以第一个函数的 params 自然就匹配成 number 了。
• 场景2：你显式写出了 arg 参数，但没给它指定类型。TypeScript 的推断逻辑是：当函数参数没有明确类型时，会先尝试推断这个参数的类型，而此时没有上下文约束，arg 会被默认推断为 unknown。这就导致第二个函数的类型变成了 (arg: unknown) => number，和泛型定义里要求的 (arg: {a: string}) => U 不兼容，TypeScript 没法正确推断出 U，只能把 U 设为 unknown，最终 params 也就跟着变成 unknown 了。

解决方案 #

有几种办法能让两种调用写法都自动推断出正确的类型，按需选择就行：

方案1：给第二个函数的 arg 显式指定类型

直接把 arg 的类型写出来，让 TypeScript 明确它符合泛型定义的约束：

run((params) => {}, (arg: {a: string}) => 23);
// 此时 params 会被正确推断为 number

方案2：调整函数参数顺序，优化推断优先级

TypeScript 会优先对第一个参数进行泛型推断，我们把依赖泛型返回值的 func2 挪到第一个参数位置：

// 调整后的 run 函数定义
function run<U>(
  func2: (arg: { a: string }) => U,
  func1: (arg: U) => void
): void {}

// 两种调用写法都能正确推断 params 为 number
run(() => 23, (params) => {});
run((arg) => 23, (params) => {});

这时候不管你写不写 arg，TypeScript 都会先根据 func2 的参数类型约束（{a: string}）来推断 arg 的类型，再从返回值得到 U，最后让 func1 的 params 自动匹配 U 的类型。

方案3：显式指定泛型参数（兜底方案）

如果不想调整参数顺序或写类型，也可以在调用时直接指定泛型 U 的类型：

run<number>((params) => {}, (arg) => 23);
// params 会被推断为 number

不过这种方式不够“自动”，更适合复杂场景下的兜底使用。

备注：内容来源于stack exchange，提问作者XiaoShang