类型推断
ts 编译器根据当前变量的赋值推断其类型
联合类型
一个变量可以拥有多个类型，此时变量能使用的方法和属性只能是两种类型共有的属性和方法
类型断言
当变量是联合类型的时候，我们主动告诉编译器当前变量的类型
断言方式：有 <type>变量 和 变量 as type 两种方式，注意，在 tsx 中只能使用第二种方式
注意：
- 如果想使用断言，则两个类型必须有至少一个共同的属性
- 任何类型都可以转换为 any，any 也能转换为任何类型，因此就有了双重断言，即：
Cat as any as Fish，但是双重断言很有可能出现问题，不到万不得已不要使用 - 类型断言不会改变变量的类型
类型转换
Boolean()、String()等
