LayaBox---TypeScript---高级类型
可以注意到我们不得不多次使用类型断言。假若我们一旦检查过类型，就能在之后的每个分支里清楚地知道pet的类型的话就好了。TypeScript里的类型保护机制让它成为了现实。类型保护就是一些表达式，它们会在运行时检查以确保在某个作用域里的类型。要定义一个类型保护，我们只要简单地定义一个函数，它的返回值是一个类型谓词}在这个例子里，就是类型谓词。谓词为这种形式，必须是来自于当前函数签名里的一个参数名。//'swim'和'fly'调用都没有问题了}else{pet.fly();}T。...
