typescript - typescript 中联合类型的解构

Question

有没有一种方法(类似于功能语言的模式匹配)来解构 TypeScript 中的联合类型，即一些构造，如:

var a: Foo | Bar = ...;

a match {
   case f: Foo => //it's a Foo!
   case b: Bar => //it's a Bar!
}

如果没有这样的构造 - 创建这样的构造是否有任何技术困难？

Answer 1

TypeScript 理解 Type Guards作为分解联合类型的一种方式。您可以通过多种方式使用它。

如果Foo或Bar是一个类，你可以使用instanceof:

if (a instanceof Foo) { a.doFooThing(); }

如果它们是接口(interface)，你可以编写一个用户定义的类型保护:

function isFoo(f: any): f is Foo {
    // return true or false, depending....
}
if (isFoo(a)) {
   a.doFooThing();
} else {
   a.doBarThing();
}

您还可以使用 typeof a === 'string' 来测试联合中的基本类型(string、number 或 bool 值)