02 ts中的类型推断

什么是类型推断：
当变量的声明和赋值同时进行时，ts编译器会自动判断变量类型
比如：

我们给变量a声明了他的类型是number，那么我们就不能将除number之外的类型赋值给它
同理：

这里我们虽然没有声明变量b的类型，但是我们给它赋值了number类型的123，
ts编译器便自动判断了变量b的类型是number类型， 所以我们也不可以给它赋值除number以外的其他类型

所以如果我们的变量的声明和赋值时同时进行的，可以省略掉类型声明（特殊情况除外）