TS在一些情况下会自动进行类型推论，但是除了void最好还是自己定义类型。
1、定义时
用let定义时没有赋值 类型推论是any。
用let定义时赋值了，是什么值就是什么类型。
用const定义时不赋值报错。 用const定义赋值是啥类型就是啥。
2、函数设置默认参数
函数参数设置默认值时 默认值是啥类型，这个参数就啥类型
3、函数的返回值
函数有返回值时类型推论就是返回值的类型，没有返回值类型推论就是void
4、最佳通用类型
当需要从几个表达式中推断类型时候，会使用这些表达式的类型来推断出一个最合适的通用类型
