Typescript，结合元组元素的对象类型

Question

是否可以获取不同对象的元组，并获得所有这些对象组合的类型？例如，如果我有一个这样的元组：

const t = tuple({current: 1}, {old: 2}, {new: 3}); //this should be interpreted as [{current: number;}, {old: number;}, {new: number;}]

然后我将这些对象组合成一个对象：

let newob = {};
for(let ob of t) {
  Object.assign(newob, ob);
}

我能不能让 typescript 把这个新对象当作一个

typeof t[0] & typeof t[1] & typeof t[2]

在这种情况下是

{current: number; old: number; new: number;}

无需手动输入所有内容？

我希望它适用于任何元组和元组内的任何对象

Answer 1

您可以使用具有any[] 约束的泛型类型参数来捕获元组类型中的参数作为休息参数。您可以使用UnionToIntersection 描述的here 将所有元组项类型合并为单个交集类型

type UnionToIntersection<U> = 
  (U extends any ? (k: U)=>void : never) extends ((k: infer I)=>void) ? I : never
function tuple<T extends any[]>(...t: T) {
  let newob = {} as UnionToIntersection<T[number]>;
  for (let ob of t) {
    Object.assign(newob, ob);
  }
  return newob;
}

Playground Link