跟着阮一峰老师学Typescript 认识any，unknow，never类型！！！

学习ts，先认识any，unknow和never类型

哈喽哈喽，我是你们的金樽清酒，又到了写学习笔记的时候了。我是看阮一峰老师的文档来进行一个ts的学习的，所以写这个文章纯粹就是为了记一个笔记，与大家分享分享一下我的学习历程，以及对知识的进一步归纳，今天给大家带来的是认识any，unknow和never类型。

认识any

• any 类型表示没有任何限制，该类型的变量可以赋予任意类型的值。 旦使用any，ts就不会进行类型判断，表示开发者要自己操作，不会报类型的错误。

用了any之后就不会进行类型判断了，所以可以给变量任意赋值，回到了js的语法。这让ts失去了它本来的意义，所以要尽量不用any。

• any类型主要适用以下两个场合。

（1）出于特殊原因，需要关闭某些变量的类型检查，就可以把该变量的类型设为any。

（2）为了适配以前老的 JavaScript 项目，让代码快速迁移到 TypeScript，可以把变量类型设为any。有些年代很久的大型 JavaScript 项目，尤其是别人的代码，很难为每一行适配正确的类型，这时你为那些类型复杂的变量加上any，TypeScript 编译时就不会报错。

• 从集合论的角度出发，any包含了其他的所有类型，所以可以是顶层类型，处在金字塔的最顶层。

污染问题

any类型除了关闭类型检查，还有一个很大的问题，就是它会"污染"其他变量。它可以赋值给其他任何类型的变量（因为没有类型检查），导致其他变量出错。

因为any可以赋值成其他变量，导致其他变量也会变成any，造成数据污染。

类型判断问题

对于开发者没有指定类型、TypeScript 必须自己推断类型的那些变量，如果无法推断出类型，TypeScript 就会认为该变量的类型是any。

在没有给变量显式类型时，ts会根据赋值进行类型判断。判断不是会认为any类型。不会进行报错。

TypeScript 提供了一个编译选项noImplicitAny，打开该选项，只要推断出any类型就会报错。

$ tsc --noImplicitAny app.ts

unknow类型解决any数据污染问题

• 为了解决any类型"污染"其他变量的问题，TypeScript 3.0 引入了unknown类型。它与any含义相同，表示类型不确定，可能是任意类型，但是它的使用有一些限制，不像any那样自由，可以视为严格版的any。
• unkonw和any一样不受类型的限制,但是unknow不能赋值给除any和unknow的其他类型。

• unknow类型的变量不能访问属性和方法

• 再次，unknown类型变量能够进行的运算是有限的， 只能进行比较运算（运算符==、===、!=、!==、||、&&、?） 、取反运算（运算符!）、typeof运算符和instanceof运算符这几种， 其他运算都会报错。 ·

never 与any，unknow处在对立面。

• 为了保持与集合论的对应关系，以及类型运算的完整性，TypeScript 还引入了"空类型"的概念，即该类型为空，不包含任何值。 由于不存在任何属于"空类型"的值，所以该类型被称为never，即不可能有这样的值。 never不能被赋值成任何类型，与any，unknow相反。

• never类型的一个重要特点是，可以赋值给任意其他类型。

• never不包含所有类型，与any，unknow相对，是底层类型。