打字稿：动态检查第二个参数键在第一个参数上不存在

Question

我有一个接受两个参数的函数。基本上我希望 Typescript 进行检查，第二个参数不能包含第一个参数中的键。 TS Sandbox

interface Todo {
  title: string;
  description: string;
}
    
// here I hardcoded the 'title' key on the Omit utility type. My question is, how to make this dynamic, based on the key on the left argument.
function test<T>(left: Partial<T>, right: Partial<Omit<T, 'title'>>): void {
  console.log(left, right);
};
    
// expected TS error here, because title already exists on the left object
test<Todo>({ title: 'A' }, { description: 'B', title: 'AB' })

任何帮助将不胜感激..

Answer 1

如果一个额外的泛型没有帮助，请添加另一个 :) 每当我遇到泛型问题时，这条规则都会帮助我。

看这个例子：

interface Todo {
  title: string;
  description: string;
}

const test = <
  Left extends Todo,
  PartialLeft extends Partial<Left>>
  (left: PartialLeft, right: Partial<Omit<Left, keyof PartialLeft>>) => { }

test({ title: 'A' }, { description: 'B', title: 'AB' }) // expected error

test({ description: 'A' }, { description: 'B', title: 'AB' }) // expected error

Left - 推断出第一个参数，而后者又应该扩展 Todo

PartialLeft - 推断文字参数类型

Partial<Omit<Left, keyof PartialLeft>> - 表示第二个参数应该在 Left 通用参数中省略来自 PartialLeft 的所有道具。

PartialLeft 在此功能中起着关键作用。这个泛型代表第一个参数。 如果您想了解有关函数参数类型推断的更多信息，可以查看我的article

Playground