为什么TypeScript使用call/apply/bind时无法正确推断this类型？

先回顾问题中的核心代码示例：

function test<T>(this: { value: T }) {
  return this.value;
}

// 自动推断时返回unknown
const a = test.apply({ value: 1 }); // a: unknown
const b = test.call({ value: 'b' }); // b: unknown
const fn = test.bind({ value: true }); // fn: () => unknown

// 显式指定泛型后类型正确
const typed = (test<number>).apply({ value: 1 }); // typed: number

核心原因：泛型推断的依赖顺序冲突 #

TypeScript的类型推断系统在处理相互依赖的泛型参数时存在优先级限制，具体到这个场景：

1. test是一个依赖this上下文的泛型函数，它的泛型类型T完全由传入的this对象（即{value: T}）决定，返回值类型也直接关联T。
2. 以apply为例，它的类型签名是：

   apply<TThis, R>(this: (this: TThis) => R, thisArg: TThis): R
   

   这个签名要求：首先确定调用者（即test）的完整类型——也就是绑定了具体泛型后的(this: TThis) => R，再通过传入的thisArg匹配TThis，最终推导返回值R。

但这里存在双向依赖：test的泛型T需要从thisArg推导，而apply又需要先确定test的完整类型才能完成自身的泛型推断。这种冲突下，TypeScript的推断器无法同时完成两个方向的推导，只能将返回值类型降级为unknown。

显式指定泛型为何有效？ #

当我们显式写出test<number>时，相当于直接为test绑定了泛型参数T=number，此时test的类型被固定为：

(this: { value: number }) => number

这个固定类型完全符合apply签名中(this: TThis) => R的要求——TThis匹配{value: number}，R匹配number。此时apply的推断不再有依赖冲突，自然能正确推导返回值类型。

总结 #

本质上是TypeScript类型推断器无法处理「泛型函数的类型依赖于传入的上下文参数，而上下文参数又需要用于工具函数（call/apply/bind）的泛型推断」这种双向依赖场景。显式指定泛型参数打破了这个依赖循环，让工具函数能直接基于固定的函数类型完成推断。

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