使用带有休息运算符的泛型类型的打字稿

Question

我有这个方法可以从 2 个数组中创建一对数组

function join<T, K> (arr1: T[], arr2: K[]): [T, K][]{
  const res = [];

  arr1.forEach(p => {
    arr2.forEach(n => {
      res.push([p, n])
    })
  })

  return [];
}

//I use it to create test data like this
// [["a",1], ["a", 2], ["b", 1], ["b", 2]]
join(["a", "b"], [1, 2]).forEach(([char, num]) => {
  it(`should do something with ${char} and ${num}`, () => {
    //assert here
  })
})

是否有一种简单的方法可以轻松地将 join 函数的功能概括为 2 个以上的参数并保持类型检查？ 也许使用休息运算符...arr 和/或一些重载？

Answer 1

我不确定我是否理解正确，但如果你的数组中只有字符串和数字，你可以这样做：

type customArray = (string | number)[];

const join = (args: customArray[]): void => {
   // ...
};

// Now you can pass any amount of arguments
join([['a', 1], ['b', 2], ['c, 3'], ['d', 4]]);

Answer 2

我认为可变元组可能会有所帮助：

function join<T extends unknown[][]>(...args: T): T[] {
    const res = [];

    args[0].forEach(p => {
        args[1].forEach(n => {
            res.push([p, n])
        })
    })

    return res;
}

join2(["a", "b"], [1, 2], ["a, b"], [false, true]).forEach(([char, num, str, bool]) => {

});

您可以自己编写函数的主体，但 char、num、str 和 bool 变量的类型是正确的。