未指定参数类型的内联箭头函数类型推断为undefined的问题及类型安全修复咨询

我来帮你拆解这个问题，顺便给出不丢失类型安全的修复方案~

首先咱们先明确问题：你写的getValue函数在处理直接传入的无参数类型标注的内联箭头函数时，第二个参数会报类型不匹配错误，但提前赋值给变量的无类型箭头函数、或者有明确参数类型的内联函数都能正常工作。

问题根源：TypeScript的上下文推断循环 #

这个错误本质是TypeScript的上下文类型推断顺序冲突导致的。当你调用getValue((c) => 23, [23])时，TypeScript需要同时完成两件事：

1. 推断泛型TValue的类型为(c: T) => number，其中T是参数c的类型；
2. 根据TValue的类型，通过条件类型推导出第二个参数args的类型应该是[T]。

但这里形成了一个死循环：T的类型需要从args的[23]推断（即T=number），但args的类型又依赖于TValue的类型（也就是T的类型）。TypeScript无法打破这个循环，只能放弃上下文推断，把TValue粗暴推断为(c: unknown) => number，但此时条件类型的推断出现异常，最终错误地认为args的类型应该是undefined，导致[23]无法赋值。

而另外两种正常的情况：

• value1：函数参数c明确标注了number，TypeScript直接拿到TValue的类型，条件类型正常推导出args为[number]，完全匹配；
• value2：箭头函数提前赋值给了func1，TypeScript会先把func1的参数c推断为any（因为没有上下文约束），后续调用getValue时，条件类型正常匹配函数分支，args被推断为[any]，[23]可以赋值给[any]。

类型安全的修复方案 #

下面给你两种不丢失类型安全的修复方法，你可以根据自己的需求选择：

方案1：使用函数重载（清晰区分场景）

通过重载分别定义函数类型和非函数类型的处理逻辑，明确约束参数关系：

// 重载1：处理函数类型，args必须严格匹配函数的参数数组
declare function getValue<TArgs extends any[], TReturn>(
  value: (...args: TArgs) => TReturn,
  args: TArgs
): TReturn | undefined;

// 重载2：处理非函数类型，args必须省略或传undefined
declare function getValue<TValue>(
  value: TValue,
  args?: undefined
): TValue | undefined;

// 测试验证
const value1 = getValue((c: number) => 23, [23]); // 正常
const func1 = (c) => 23;
const value2 = getValue(func1, [23]); // 正常
const value3 = getValue((c) => 23, [23]); // 现在正常，c会被自动推断为number
const value4 = getValue(42); // 正常，返回42 | undefined
const value5 = getValue(42, [123]); // 报错：非函数类型不允许传args（符合类型安全要求）

方案2：重构泛型定义（打破推断循环）

通过剩余参数的条件类型写法，让TypeScript优先从args推断类型，再反向推导箭头函数的参数类型：

declare function getValue<T>(
  value: T,
  ...args: T extends (...args: infer A) => any ? [A?] : []
): T extends (...args: any) => infer R ? R | undefined : T | undefined;

// 测试验证
const value1 = getValue((c: number) => 23, [23]); // 正常
const func1 = (c) => 23;
const value2 = getValue(func1, [23]); // 正常
const value3 = getValue((c) => 23, [23]); // 现在正常，c被推断为number
const value4 = getValue(42); // 正常
const value5 = getValue(42, [123]); // 报错：非函数类型不允许传args（符合类型安全要求）

这两种方案都能完美解决原问题，同时保持了类型安全：函数类型的args必须严格匹配参数类型，非函数类型不允许传args，完全符合你最初的设计意图。

备注：内容来源于stack exchange，提问作者his dudeness