[TypeScript学习笔记-04]频繁使用的各种Type Narrowing手段TypeScript 的类型系统是一种静态契约机制，它定义了值在编译期必须满足的结构和行为约束。类型可以描述对象的成员（名称、类型、可选性、可写性）、函数签名、字面量取值范围等。联合类型 A | B 表示一个值可能是 A 或 B，从集合论角度看是类型集合的并集，但它不会把成员结构合并，而是保持“二选一”的语义。所以当我们将一个变量声明为联合类型的时候，在默认的情况下只有针对交集数据成员的访问是安全的。为了不仅限于访问联合类型的交集成员，但是并集成员范围又太宽，在编程的时候我们需要引入响应的条件判断，缩小成