typescript - 你能从现有类型中创建更小、更受限制的类型吗？

Question

假设我有这样的类型声明:

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

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

我知道总是可以将 Foo 表示为 Bar 的超集，但在我的情况下，相反的方式会更符合领域。

Answer 1

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

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

const Bar = 'a';

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

type Bar = Exclude<Foo, 'd'>

参见 playground .

---

您也可以将它与 index types 结合使用出于有趣的目的:

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

const myVar: Bar = "a";