你能从现有类型中制作出更小、更受限制的类型吗？答案

【问题标题】：Can you make a smaller, more restricted type from an existing type?你能从现有类型中制作出更小、更受限制的类型吗？
【发布时间】：2019-11-23 23:17:07
【问题描述】：

假设我有这个类型声明：

type Foo = 'a' | 'b' | 'c';
type Bar = 'a' | 'b' ;

是否可以将 Bar 表示为 Foo 的子集？

我知道总是可以将Foo 表达为Bar 的超集，但在我的情况下，反过来会感觉更符合域。

【问题讨论】：

令人惊讶的是，Omit 存在欺骗目标，但 Exclude 不存在（我认为您正在寻找）。现在写一个答案...供参考：stackoverflow.com/q/48215950/4174897

【解决方案1】：

您只需使用Exclude pre-defined conditional type：

type Foo = 'a' | 'b' | 'c';
type Bar = Exclude<Foo, 'c'>;

const Bar = 'a';

请注意，以下内容可以正常工作，即使乍一看可能感觉不对：

type Bar = Exclude<Foo, 'd'>

您还可以将其与index types 结合使用以达到有趣的目的：

type Foo = 'a' | 'b' | 'c';
type AnObject = { c: boolean }
type Bar = Exclude<Foo, keyof AnObject>

const myVar: Bar = "a";

【讨论】：

【解决方案2】：

例如

type Bar = Exclude<Foo, 'c'>

【讨论】：