如何验证 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!