如何验证 Foo 类型仅包含 Bar 类型的属性子集？

Question

我有一个接口 AppState，并且我希望能够针对这个主 appstate 接口的子集进行编码，以便我只提取将由管道中更上方的控制器类填充的属性。最终我希望能够使用 FooAppStateSubset 进行“连接”，这样在开发时我们就可以轻松地挑选出与网站当前部分相关并设置的道具。

我怎样才能确保...

1. FooAppStateSubset ONLY 包含也可以在 AppState 接口中找到的属性和值
2. FooAppStateSubset 不需要列出 AppState 中的非可选参数
3. 如果前两条规则被破坏，则编译和构建时会失败
4. 属性的自动完成将是一个很酷的奖励。如果不可能的话也没关系。
5. 如果能够在整个网站上定义模型，而不需要让主 AppState 接口实现所有分散的子集模型，那就太好了。

型号：

interface AppState {
  email: string;
  userId: number;
  firstName?: string;
  isAwesome: boolean;
}


interface/type FooAppStateSubset {
  isAwesome: boolean;
  firstName?: string;
}

Answer 1

如果您只有几个属性，最简单的方法是：

type FooAppStateSubset = Omit<Omit<AppState, 'email'>, 'userId'>

也许是打字员？

function isSubset(something: AppState | FooAppStateSubset): something is FooAppStateSubset {
  return !('email' in something || 'userId' in something);
}

const foo = { isAwesome: true };
isSubset(foo) && console.log(foo.email); // error!