TypeScript函数参数类型转换：递归类型与映射类型的不一致问题

我尝试用递归类型转换函数的参数类型，但遇到了类型无法正常工作的问题。为简化问题，我做了对比示例，其中映射类型方案可以正常工作：

两种类型转换方案（映射类型 vs 递归类型） #

先定义两种转换类型，单独测试时它们的返回结果一致：

type TestItems = [string, number, string, boolean]

// 映射类型方案
export type MappedTransform<UnionWith, Items extends any[]> 
  = { [I in keyof Items]: Items[I] | UnionWith }

// 递归类型方案
type RecursiveTransform<UnionWith, Items extends any[]> 
  = Items extends [infer Head, ...infer Tail]
  ? [Head | UnionWith, ...RecursiveTransform<UnionWith, Tail>]
  : [];

// 单独测试：两种类型结果一致
type mappedTypes = MappedTransform<undefined, TestItems>
type recursiveTypes = RecursiveTransform<undefined, TestItems>

映射类型的函数正常工作 #

使用映射类型转换参数的函数，泛型表现正常，能正确接收预期参数：

export const fnWithMappedType = <UnionWith extends any, Args extends any[]>
  (data: UnionWith, ...args: MappedTransform<UnionWith, Args>) => {}

// 正常调用：接受第一个参数+四个转换后的参数
fnWithMappedType(undefined, "first", 42, true)

递归类型的函数出现问题 #

虽然单独测试时递归类型和映射类型结果一致，但在函数泛型中使用时，递归类型的转换结果变成了空元组，导致函数只接受第一个参数，无法接收后续的四个参数：

export const fnWithRecursiveType = <UnionWith extends any, Args extends any[]>
  (data: UnionWith, ...args: RecursiveTransform<UnionWith, Args>) => {}

// 错误：后续参数被认为不符合类型，函数仅接受第一个参数
fnWithRecursiveType(undefined, "first", 42, true)

请问这是否有隐藏陷阱？我遗漏了什么？能不能解决这个问题，让递归类型可以用来转换函数参数？

问题解答 #

这是TypeScript泛型推断机制在处理递归条件类型时的局限性：当Args是未被约束的泛型数组类型时，TypeScript无法自动将传入的参数元组反向推断为Args的具体类型，进而递归类型无法展开计算，最终 fallback 到空数组[]。

可以通过调整类型推断顺序或延迟递归计算来解决，以下是两种可行方案：

方案1：在函数参数中用infer反向推断Args

调整函数泛型定义，让TypeScript先从args参数推断出原始的Args类型，再应用递归转换：

export const fnWithRecursiveType = <UnionWith extends any, Args extends any[]>(
  data: UnionWith, 
  ...args: Args extends infer T ? RecursiveTransform<UnionWith, T> : never
) => {}

// 现在可以正常调用，类型推断正确
fnWithRecursiveType(undefined, "first", 42, true)

方案2：给递归类型添加infer层延迟计算

修改递归类型的定义，通过额外的infer层让TypeScript在Args被推断后再展开递归：

type RecursiveTransform<UnionWith, Items extends any[]> 
  = Items extends infer T extends any[]
  ? T extends [infer Head, ...infer Tail]
    ? [Head | UnionWith, ...RecursiveTransform<UnionWith, Tail>]
    : []
  : [];

export const fnWithRecursiveType = <UnionWith extends any, Args extends any[]>(
  data: UnionWith, 
  ...args: RecursiveTransform<UnionWith, Args>
) => {}

// 调用正常，类型推断正确
fnWithRecursiveType(undefined, "first", 42, true)

原理说明 #

TypeScript的泛型推断优先级是：先推断函数参数的泛型类型，再计算依赖该泛型的条件类型。递归条件类型如果直接依赖未明确的泛型数组，TypeScript会因为无法提前展开递归而直接返回默认的空数组。通过infer延迟类型计算，或者调整推断顺序，让TypeScript先确定Args的具体元组结构，再执行递归转换，就能解决这个问题。

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