TypeScript学习日志-第十二天（类型推论|类型别名）

类型推论|类型别名

一、类型推论

当我声明了一个变量，没有给这个变量指定类型，但是给这个变量赋值了，这时候就会根据值来给这个变量推测出一个类型，这个就是类型推论，如图：

可以看到我们的 str 被推论成了字符类型，我们后续想给 str 修改值 也只能修改时字符型的，其它类型会提示错误，如图：

如果我们一开始没有给 str 赋值 ，这时候会给 str 推论成是 any 类型，如图：

二、类型别名

当我们用到多个相同类型的时候，就需要写很多次，每一个类型都很长，这时候我们就可以使用类型别名，如图：

我们可以使用类型别名，使用 type 给类型修改成其它名称。

从上面看，有点像 interface ，但是它与 interface 还是有区别的。区别如下：

1.interface 可以使用 extends 继承 其它 interface ，但是 type 不能使用 extends , 它只能使用 & 这种交叉类型

2.interface 不能写 联合类型，但是 type 可以 ，只需要使用 | 就可以了

3.interface 遇到同名的时候是合并， type 缺不会

三、type的高级用法

1.extends 在 type 中是包含的意思，判断 extends 左边的值 是否是右边的类型的子类型，如图：

 这时候的 num 是 1，因为 1 是 number 的子类型

对于类型的级别 可以 查看第二天的学习，即可清楚类型等级了