TypeScript泛型类型推断为何在以下场景中结果不一致？

先看两个核心案例的差异：

案例1：T被推断为更具体的string #

未指定this类型的函数foo，传入泛型wrapper后，尽管foo的this对应T为unknown，但最终T被推断为string：

function foo() {}

function wrapper<T>(_cb: (this: T, ...args: any[]) => any, _arg0: T): T {
  return "" as any as T;
}

let bar = "bar"
wrapper(foo, bar) // 推断T为string

案例2：T被推断为更宽泛的unknown #

同样是一处unknown、一处number的参数组合，T却被推断为unknown：

function someFunc<T>(a: T, b: T): [T, T] {
  return [a, b];
}

let num = 10
someFunc(num as unknown, num); // 推断T为unknown

差异的核心原因 #

这两种情况的区别，本质是TypeScript对函数this参数的类型约束优先级和普通参数类型约束优先级的处理逻辑不同：

1. 案例1：this参数是弱约束
   当函数没有显式声明this类型时，TypeScript对该this的类型约束是"弱绑定"的——它不会强制将T固定为默认的unknown，而是会优先参考其他更明确的T约束来源。
   在wrapper中，_arg0: T提供了明确的string类型，TypeScript会选择这个更具体、更符合实际使用场景的类型作为最终的T推断结果，这是为了适配"包装函数通常会为回调指定this上下文"的常见开发需求。

2. 案例2：普通参数是强约束
   对于普通的泛型参数，TypeScript遵循"最大兼容"原则：需要找到一个能同时兼容所有参数的类型。这里unknown是number的父类型，number可以赋值给unknown但反之不行，因此最终会选择最宽泛的unknown作为T的推断结果。

补充验证：单独约束this的情况 #

当未指定this的函数单独传入仅约束this: T的包装函数时，TypeScript确实会推断T为unknown，这说明只有当存在其他更明确的T约束时，this的弱约束才会被覆盖：

function foo() { }

function wrapper<T>(cb: (this: T) => void) { }

wrapper(foo) // 推断T为unknown

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