【TypeScript】TypeScript中类型缩小（含类型保护）与类型谓词

前言

在TypeScript中，若一个变量使用了联合类型，那么当我们使用该变量时必不可少的会去明确的限制该变量的具体类型，这称为类型缩小，在TypeScript中类型缩小的方式大多都是我们在JS中常见的方式，比如使用if语句、type，instanceof操作符、in 运算符等，但也有一些方式是TS特有的，比如接下来要讲的类型谓词

1、类型缩小

在【TypeScript】TypeScript常用类型（下篇）的联合类型的使用中我们提到了类型缩小，本篇中我们将详细的探讨类型缩小。

先看一个例子：

我们没有明确检查 padding 是否为 number ，也没有处理它是 string 的情况，此时TypeScript出于类型保护的目的就会抛出错误，我们可以这样做：