类型缩小的英文是Type Narrowing 可以通过类似typeof padding === 'number'的判断语句，来改变TypeScript的执行路径。在给定的执行路劲中，我们可以缩小比声明时更小的路劲，这个过程称之为缩小。typeof padding === 'number'也可以称之为类型保护 常见的类型保护 typeof===、!==instanceofin等等
