从 never 切入，摸透 TypeScript 的学习思路

文章预览

我本来只是想跟大家分享一些 never 这个知识点：一个虽然用得很少，但是报错信息里经常会出现的类型。 但是在群里讨论的时候，隐约发现不少道友对于 TS 的类型系统并没有一个比较系统的认知，所以经常在面对一些情况不知所措。这篇文章就从 never 类型切入，带大家把类型系统简单总结一下。 类型系统 类型其实表达的是一种 集合 。集合是数学上的概念，通俗来说，表达的就是一个范围。我们在学习之前，一定要用集合的概念去理解所有的类型。也就是说，实际上我们学 TS，就是一个探讨 集合范围大小 的问题。 例如： any 表示最大集合。 他可以是任意类型，你怎么用他都不会出错。如下所示 any 类型由于范围太广，所以约束力度几乎没有，它可以让整个 TS 形同虚设。 当我们知道类型是一种集合之后，那么，我们就可以很自然的衍生出一些 ………………………………