使用Ramda实现数组多维组合的TypeScript类型错误求助

我实现了一个数组元素多维组合的函数，测试用例如下：

test('combine', () => {
  const result = combine([[[1, 2], [3, 4]], [['a', 'b'], ['c', 'd']]])
  expect(result).toStrictEqual([
      [[ 1, 2], ["a", "b"]],
      [[ 1, 2], ["c", "d"]],
      [[ 3, 4], ["a", "b"]],
      [[ 3, 4], ["c", "d"]],
    ]
  )
})

函数运行符合预期，但以下代码不使用// @ts-ignore会触发TypeScript错误：

export const combine = (arr: Array<unknown>) => R.apply(R.liftN(arr.length, (...args) => args), arr)

错误信息：

TS2769: No overload matches this call.
The last overload gave the following error.
Argument of type 'unknown[]' is not assignable to parameter of type '[]'.
Target allows only 0 element(s) but source may have more.
7 |

8 | export const combine = (arr: Array) => R.apply(R.liftN(arr.length, (...args) => args), arr)
| ^^^

解决方案 #

通过泛型约束明确输入数组的结构，让TypeScript能正确推断liftN和参数的类型匹配关系，这里提供两种简洁的实现方式：

方式一：利用元组类型直接展开参数 #

import * as R from 'ramda';

export const combine = <const T extends unknown[][]>(arr: T) => {
  return R.liftN(arr.length, (...args: T[number]) => args)(...arr) as T[number][];
};

方式二：带长度约束的泛型定义 #

import * as R from 'ramda';

export const combine = <T extends unknown[], N extends number>(
  arr: { length: N } & Array<T>
) => {
  return R.apply(R.liftN(arr.length, (...args: T[]) => args) as any, arr) as T[][];
};

解释 #

1. 原问题核心：Array<unknown>类型过于宽泛，TypeScript无法推断输入数组的长度和子元素类型，导致R.apply无法匹配liftN生成函数的参数要求。

2. 方式一的优势：

   • 用const T extends unknown[][]让TypeScript将输入数组推断为只读元组，明确每个子数组的类型和整体长度
   • 直接展开数组作为liftN生成函数的参数，替代R.apply，类型推断更自然，无需复杂约束

3. 方式二的优势：

   • 通过泛型N约束数组长度，确保liftN的第一个参数与数组长度严格一致
   • 泛型T约束子数组类型，保证回调函数参数与输入元素类型匹配
   • 少量类型断言用于兼容Ramda内部类型定义，避免无意义的报错

两种方式都能让你的测试用例正常运行，且完全消除TypeScript错误。

内容的提问来源于stack exchange，提问作者Jean-Baptiste Quenot