类型定义，用于比较（和更新）Typescript中对象的某些字段

某些用户

我想比较并分配两个对象的某些字段，让我们说：

const left = { a: 1, ignored: 5, something: 7 };
const right = { a: 2, ignored: 6, else: 8, id: 18 };

我想在leftToRight(left, right, ['a'])之后致电right：

{ a: 1, ignored: 6, id: 18 }

我想调用其他函数并传递right.id，我知道第二个参数上确实存在。

我当前的方法是：

leftToRight(left, right, keys) {
  let changed = false;
  
  for (const key of keys) {
    if (!Object.is(left[key], right[key])) {
      right[key] = left[key];
      changed = true;
    }
  }

  doSomething(right.id)

  return changed
}

我正在努力寻找合适的类型定义:-(

初始方法：

leftToRight<T>(left: T, right: T, keys: Array<keyof T>): boolean

导致：“类型'T'上不存在属性'id'”，我发现没有办法检查此（'id' in right）

第二次尝试：

leftToRight<T>(left: T, right: T & {id: number}, keys: Array<keyof T>): boolean

导致“无法将类型'T'分配给类型'{id：number;}' right[key] = left[key]

第三次尝试：

leftToRight<T, U extends {id: number}>(left: T, right: U, keys: Array<keyof T & keyof U>): boolean

再次导致分配错误，right[key] = left[key]因为类型T和U可能完全不相关。

可爱的女皇

编辑：

你已经澄清你的要求说，Left并Right可能各有其不存在于其他属性。为了处理这种情况，我们需要两种通用类型。

Right是包含的对象id。我们希望所选键同时出现在两个键中Left，Right并且希望它们具有相同的值类型。我将通用定义Keys为的任何键子集Right。我定义Left为Right包含所有这些键的子集。

function leftToRight<Right extends {id: number}, Keys extends keyof Right>(
  left: Pick<Right, Keys>, right: Right, keys: Keys[]
) {
  let changed = false;
  
  for (const key of keys) {
    if (!Object.is(left[key], right[key])) {
      right[key] = left[key];
      changed = true;
    }
  }

  doSomething(right.id)

  return changed
}

游乐场链接

原始答案：

在找到有效的方法之前，我尝试了一些方法。当然，这不是最明确的定义。使用泛型描述Left和添加idget时出现错误Right，但从工作中删除Right。

我们说这Right是一个具有{id: number}属性的对象，并且Left必须具有Right以外的所有属性id。为了让的元素keys是存在于两个对象，我们需要忽略关键id的keyof Right。

function leftToRight<Right extends {id: number}>(
  left: Omit<Right, 'id'>, right: Right, keys: (Exclude<keyof Right, 'id'>)[]
) {
  let changed = false;
  
  for (const key of keys) {
    if (!Object.is(left[key], right[key])) {
      right[key] = left[key];
      changed = true;
    }
  }

  doSomething(right.id)

  return changed
}