JS 项目中类型系统的分级.png
前言： 经过入职以来的不断的努力，上周四我老大决定让项目迁移到 TS 了，可惜这周他家里有事没来，不过也是好事，我正好先学习着。
我们这个项目前期是外包写的（开发外包，维护正式员工，有没有感觉智商被侮辱），所以迁移项目成本有点大，一度让我有点想放弃的想法，但是周末看到一个震撼的新闻：
Carlos Rodrigues 用恐怖的战斗力，几天就把 Vue2 从 Flow 重构为 TS ，连尤大都被震惊了。我呢，也是受到了点鼓舞，人生就是生死看淡，不服就干。
正文开始：
我们知道 JS 是弱类型语言，TS 是强类型语言，在纯 JS 项目中肯定是不分类型系统等级的，因为它弱类型，分类型等级意义不大，之所以会有类型系统主要是因为，由 JS 到 TS 项目需要过渡给开发者过渡，所以出来了——类型系统的分级概念，不过说到底这个分级还是针对 TS 项目而言的，脱离 TS 项目空谈类型分级没有任何的意义。
那怎么分呢？按类型的严格性分为五级，分别为：
- 在 JS 文件中采用类型推论
- 在类型推论的基础上，采用 JSDoc
- 通过
// @ts-check注释来强制进行 TS 检查 - 在 TS 文件里编码
- 在 TS 中编码同时开启
strict配置，使用最高级的规则检查
Note: 以下代码示例都是在 TS 项目中演示的，但是有的是在 TS 文件中，有的在 JS 文件中，如果你不想自己搭环境可以用官网的在线编辑器 Playground。
一、类型推论级
这个最简单了：
// JS 文件中
let hi = "你好";
鼠标悬停在变量上，显示如下：
类型推论级
hi 变量自动推断为 string 类型。
二、JSDoc
JSDoc 用的是注释语法，说白了就是用注释来约束代码，如果你之前就有良好的代码注释习惯，就特别的容易看懂这个。
// JS 文件中
/** @type {number} */
var x;
x = 0; // OK
鼠标悬停在变量 x 上，会显示：
JSDoc 还支持好多参数 JSDoc Reference，这是学习注释的一个非常好机会，不要错过哟。
三、启用 TS 注释检查
JS 文件中的，类型推论和 JSDoc 其实并没啥大用，你还是想咋写就咋写的状态，没有任何的错误来提示你你不能这样干或那样干。
单纯来讲，类型推论和 JSDoc 是类型系统最低的两个等级，接下来我们往高等级进发——当类型不对，要有报错。
这时候我们在 JS 文件的顶层及第一行添加代码：
// @ts-check
这时候类型检查启动，报错出现。
启用 TS 类型检查之后，如果你发现某行报错不符合你的要求，或者你想忽略某行的报错，只需要在这行前面添加 // @ts-ignore 或 // @ts-expect-error 注释，例如：
一般我们项目有很多的 JS 文件，一个一个的添加类型检查也太麻烦了，那么如何给所有的 JS 文件添加类型检查呢，很简单直接打开 jsconfig.json 文件，然后添加配置：
{
"allowJs": true,
"checkJs": true
}
这时候你又发现，某个文件报错太多，没时间或压根就不想去修复，那如何关闭这个文件的类型检查呢，也很简单，在 JS 文件第一行添加注释。
// @ts-nocheck
这样，这个文件的类型检查就没了。
四、TS 文件默认类型检查
没有开启 strict 的类型检查，为了和第五点对比在下面讲。
五、TS 文件开启最严格的类型检查
在 TS 文件中，类型检查还可具体分为：
- 宽泛型
- 严格型
到底采取哪种检查方式，这取决你 tsconfig.json 文件里的 strict 字段为真还是假，默认情况下 strict 是为 false 的。strict 为 true 还是 false 到底有什么影响呢？
目前来讲有下面几个影响：
alwaysStrict 表示是否开启 JS/ES 的 strict，注意⚠️不是 TS 的 strict 哟
strictNullChecks 表示 null 和 undefined 是否为单独的类型，默认情况 null 和 undefined 是任何类型的子类型。即：let age = 20;age = null;age = undefined; 不会报错。
strictBindCallApply 用来限制 call、bind 和 apply 绑定的函数的参数，简单来讲就是如果你关闭strictBindCallApply 的话，call、bind 和 apply 绑定的函数的参数即使进行了类型声明，也会自动转为 any 类型，失去了意义。
例如：
// 关闭 strictBindCallApply 参数 x 的类型声明没有意义，被强制指定为 any
function fn(x: string) {
return parseInt(x);
}
// Note: 没有报错
const n = fn.call(undefined, false);
strictFunctionTypes 校验函数参数的正确性，感觉这个就不应该暴露出来给用户进行可配置，应该成为 TS 语法的一部分。
看，官网的例子，strictFunctionTypes 会检查当声明的参数类型和定义的参数类型的类型是否全部兼容。
function fn(x: string) {
console.log("Hello, " + x.toLowerCase());
}
type StringOrNumberFunc = (ns: string | number) => void;
// Unsafe assignment
let func: StringOrNumberFunc = fn;
// Unsafe call - will crash
func(10);
strictPropertyInitialization 表示当类的属性被声明为除 undefined/unknow/any 类型之外的任意类型，例如 number ，而且没有在 constructor 里面初始化，就会报错提示。
noImplicitAny 表示不许出现隐式的 any 类型。如果你没有明确声明变量的类型，而且 TS 也不能自动推断出来，TS 就会把这个变量的类型声明为 any，注意一旦出现 any 就没了类型检查，TS 也就失去了意义，所以 noImplicitAny 一定要启用，强制我们自己进行类型声明。
例如，下面代码就不会报错：
let age;
age.lalalala()
noImplicitThis 表示当 this 被隐式指定为 any 类型时报错。
例如：
function fun() {
console.log(this)
}
fun()
注意⚠️：目前 TS4.2 版本 strict 版本就包含这七个，随着 TS 的升级还可能新增或删除。
网友评论