TypeScript高阶函数泛型类型推断失效问题及优化方案问询

问题背景 #

当高阶函数接受的回调参数包含带泛型的函数时，TypeScript无法自动推断高阶函数的泛型类型。示例如下：

const notWorking = <Value>(callback: (emitValue: (value: Value) => void) => void): void => {
  // 函数逻辑
}

notWorking((emitValue) => {
  emitValue(123); // 传入number，但Value被推断为unknown
});

若给泛型设置默认值never，虽能强制显式指定泛型，但需手动传入参数，不符合自动推断的需求：

const notWorking = <Value = never>(callback: (emitValue: (value: Value) => void) => void): void => {
  // 函数逻辑
}

notWorking<number>((emitValue) => {
  emitValue(123); // 必须手动指定<number>
});

可行解决方案 #

无需显式指定泛型的核心思路是调整泛型的推断路径，让TypeScript能从emitValue的调用中反向推导高阶函数的泛型参数，具体有两种实现方式：

1. 将emitValue定义为泛型函数 #

通过让emitValue本身成为泛型函数，利用TypeScript的逆变推断特性，从调用参数中推导Value类型：

const working = <Value>(callback: (emitValue: <T extends Value>(value: T) => void) => void): void => {
  // 函数逻辑
}

working((emitValue) => {
  emitValue(123); // Value自动推断为number
});

2. 利用类型别名封装Emitter #

将emitValue的类型封装为带泛型的类型别名，让TypeScript通过回调中的调用行为推断泛型：

type Emitter<Value> = (value: Value) => void;

const working = <Value>(callback: (emit: Emitter<Value>) => void): void => {
  // 函数逻辑
}

working((emit) => {
  emit(123); // Value自动推断为number
});

关于TypeScript语言限制 #

这确实是TypeScript的设计限制之一。TypeScript的泛型推断遵循从外向内的顺序，高阶函数的泛型参数需要在解析回调函数之前确定，但回调内部的emitValue调用属于函数执行阶段的逻辑，编译器无法提前回溯从内部调用推导外部泛型参数，因此会默认将Value推断为unknown。

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