TypeScript类型问题（TS2349）：非空判定后函数调用报never类型错误

这个编译错误是TypeScript控制流窄化的固有局限性导致的，具体逻辑如下：

• TypeScript的静态类型分析默认不会跨函数追溯副作用：你在函数g()内部修改了外部变量f的取值，但TS做类型推导时不会主动识别g()调用对外部变量类型的影响，因为全量扫描所有函数内部逻辑的性能开销过高，TS默认不做这类跨函数修改的识别逻辑。
• 变量f的初始类型为(() => void) | null，初始赋值为null，在g()调用完成后，TS没有检测到当前作用域下对f的显式赋值操作，依旧认定f的类型始终为null。
• 后续执行if (f)判断时，TS认为f恒为null，该分支属于不可达，因此分支内f的类型被推导为never，调用never类型自然会抛出「没有调用签名」的报错。

常见的修复方式有两种：

• 调用时增加类型断言，手动告知编译器f的实际类型：

if (f) {
  (f as () => void)()
}

• 调整代码结构避免跨函数修改变量，让TS可以正确推导类型：

let f: (() => void) | null = null

function g() {
  return () => {}
}

f = g()

if (f) {
  f() // 无编译错误
}

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