类型收窄
TS 的类型可以是 Union Types，如果一个类型是 A | B | C, 在不能判断其具体的类型时，只能调用其可能的类型中共有的方法。
TS 的类型检查起可以通过代码将类型推导为更精确类型的过程。收窄
- typeof
&&,||,!===,!==,==,!=- in
- instanceof
TS 的类型可以是 Union Types，如果一个类型是 A | B | C, 在不能判断其具体的类型时，只能调用其可能的类型中共有的方法。
TS 的类型检查起可以通过代码将类型推导为更精确类型的过程。收窄
&&, ||, !===, !==, ==, !=