为什么TS能推断内联函数类型却无法推断外部函数类型？

function hof(cb: (a: string) => string): void {}

// @ts-expect-error
function someFunc(a) {
  return a.toUpperCase();
}

// 此处TS可推断内联函数类型匹配参数要求，校验通过
hof((a) => a.toUpperCase());

// 此处传入外部独立声明的函数会触发类型错误
hof(someFunc);

这个差异是TypeScript 上下文类型推断（Contextual Typing） 的作用范围规则导致的，核心逻辑如下：

• 内联函数作为参数直接传入高阶函数时，函数表达式本身就处在hof的参数类型位置上，TS会直接用该位置要求的类型(a: string) => string作为推导上下文，给内联函数的参数a自动推导出string类型，整个函数的类型自然匹配参数要求，不会报错。
• 外部独立声明的someFunc，类型推导是在它自己的声明阶段完成的，TS不会等到它被传入hof的时候，再沿着赋值/传参的链路倒回去修改它已经推导完成的类型。someFunc声明时没有任何类型上下文，参数a既没有手动标注类型，也没有其他推导来源，会被隐式标记为any类型（开启noImplicitAny配置时，声明someFunc的位置就会直接报错），最终someFunc的类型是(a: any) => string，和hof要求的回调类型不匹配，传参时自然触发类型错误。

TS做这个规则限制主要是两个考量：一是如果允许跨位置回溯推导类型，类型检查的计算量会大幅上涨，甚至会出现循环推导的死循环；二是独立声明的函数本身可能在多个位置被复用，不同位置的类型要求可能冲突，回溯推导会导致函数类型不确定，反而破坏类型系统的稳定性。

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