TypeScript的类型保护机制如何实现浅析？

本文共计1197个文字，预计阅读时间需要5分钟。

在编写TS时，它做了比我们看到的更多的事情，比如类型保护机制。这使得我们的代码更加严谨，甚至到如何回事情的程度，让我们来看看吧。由于这些机制的存在，你算得上是比单纯使用JS原生书写的更为先进。

在编写 TS 时，它做了比我们看到的更多的事情，例如类型保护机制。让我们编写的代码更加严谨，至于怎么回事，让我们来看看吧。

由于这些机制的存在，就算你仍旧以 JS 原生的书写方式，也能帮助你提前发现代码中潜在的问题。（对于认为 TS 语句更复杂的人，也能实现 0 门槛，不改变已有的习惯也能享受静态检测的好处。）

类型保护就是一些表达式，它们会在运行时检查以确保在某个作用域内的类型。

为了更简单的理解，我们首先声明一个联合类型用于举例：

interface Bird { fly(): any; layEggs(): any; } interface Fish { swim(): any layEggs(): any } type Pet = Bird | Fish;

无类型保护时报错

function fn(pet: Pet) { pet.layEggs(); // okay pet.swim(); // Error: Property 'swim' does not exist on type 'Bird | Fish'. }

因为 TS 并不知道 pet 的实例是 Bird 还是 Fish，因此为了谨慎起见，在未手动声明类型时 TS 中只能调用 联合类型 中的 公共方法，例子中未 layEggs() 方法。除非你在调用指定对象数据的属性或方法前，明确告诉 TS 数据对象是一个具体的类型。