如何像打字稿中的休息运算符一样键入注释对象合并

Question

我有这个功能可以合并任意数量的对象

function merge(...objs) {
  return objs.reduce((res, cur) => {
    for (const key in cur) {
      res[key] = cur[key]
    }
    return res;
  }, {});
}

一开始我以为这个函数不能进行类型注解，但后来我尝试了与我的merge函数非常相似的rest参数

const obj = {
  ...{ name: { ownName: 'Lewis' } },
  ...{ link: 'google.com' }
}
type Obj = typeof obj // I can happily get the Obj type

然后我想到了一个想法：当你事先不知道类型时，使用泛型。但是我如何定义其他泛型类型，例如 function merge<T, U, V...>(...objs: Array<T | U | V...>)

Answer 1

推断rest 参数的最佳方法是使用variadic tuple types

// credits goes to https://stackoverflow.com/a/50375286
type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (
    k: infer I
) => void
    ? I
    : never;

function merge<T extends Record<PropertyKey, unknown>,
    Objs extends T[]
>(...objs: [...Objs]):UnionToIntersection<Objs[number]>
function merge<T extends Record<PropertyKey, unknown>,
    Objs extends T[]
>(...objs: [...Objs]) {
    return objs.reduce((acc, obj) => ({
        ...acc,
        ...obj
    }), {});
}

const result = merge({ a: 1 }, { b: 2 })
result.a // ok
result.b // ok

Playground

Here，在我的博客中，你可以找到更多的推理技巧。

至于返回类型。

Objs[number] - 推断为数组中所有元素的联合 UnionToIntersection - 接受并合并它。

附：尽量避免打字稿中的突变。 Here你可以找到如何处理它们的信息