TS 泛型交叉类型

Question

是这样的，我实现一个函数cross的方法，实现两个对象的属性合并

function cross<T extends object, U extends object>(objOne: T, objTwo: U): T & U {
  let obj = {}
  let combine = obj as T & U
  Object.keys(objOne).forEach((key) => {
    combine[key] = objOne[key]  // 报错
  })
  Object.keys(objTwo).forEach((key) => {
    if (!combine.hasOwnProperty(key)) {
      combine[key] = objTwo[key] //报错
    }
  })
  return combine;
}

有大神帮帮我看看么

Answer 1

因为你的key是string类型，而不是keyof T。你约束了combine的类型必须是T & U，但string可以是任意不存在于T或U的键的值。

正确的写法如下，适用于任意个对象合并：

type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
type TupleTypes<T> = { [P in keyof T]: T[P] } extends { [key: number]: infer V } ? V : never;

function merge<T extends {}[]>(...targets: T): UnionToIntersection<TupleTypes<T>> {
  return Object.assign({}, ...targets);
}

Answer 2

function cross<T extends object, U extends object>(objOne: T, objTwo: U): T & U {
  return {
    ...objTwo,
    ...objOne
  }
}