有没有办法强制两种类型具有相同的键？

Question

例如，我希望以下两种类型 - ViewModel 和 SaveModel 具有相同的键但不同的值类型，

type User = {
  id: number;
  name: string; 
  age: number;
}

type Address = {
  street: string; 
  zip: string;
}

type ViewModel = {
  user: User;
  address: Address;
}

type SaveModel = {
  user: number;
  address: string;
}

如何在打字稿中做到这一点？

Answer 1

由于 ViewModel 中的属性类型与 SaveModel 中的属性类型之间似乎没有任何关系，您可以创建一个类型来约束第二种类型以具有相同的键：

type MustHaveKeys<V, S extends Record<keyof V, any>> = S;

type SaveModel = MustHaveKeys<ViewModel, {
  user: number;
  address: string;
}>
type SaveModelBad = MustHaveKeys<ViewModel, {
  //user: number;
  address: string;
}>

Playground Link