面试题：TypeScript类型推断与泛型在复杂场景的应用

Question

实现一个通用的`merge`函数，它接受两个对象作为参数，并返回一个新的对象，新对象包含两个输入对象的所有属性。要求使用泛型来确保类型安全，并且在合并对象时，如果有相同属性名，后一个对象的属性值应覆盖前一个对象的属性值。同时，要充分利用TypeScript的类型推断，使得函数调用时无需显式指定泛型类型。

Answer 1

function merge<
  T extends object,
  U extends object
>(obj1: T, obj2: U): T & U {
  return {...obj1, ...obj2 };
}