在编写 TS 时，它做了比我们看到的更多的事情，例如类型保护机制。让我们编写的代码更加严谨，至于怎么回事，让我们来看看吧。
由于这些机制的存在，就算你仍旧以 JS 原生的书写方式，也能帮助你提前发现代码中潜在的问题。（对于认为 TS 语句更复杂的人，也能实现 0 门槛，不改变已有的习惯也能享受静态检测的好处。）
类型保护就是一些表达式，它们会在运行时检查以确保在某个作用域内的类型。
为了更简单的理解，我们首先声明一个联合类型用于举例：
interface Bird {
fly(): any;
layEggs(): any;
}
interface Fish {
swim(): an
