JS 项目中类型系统的分级

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

alwaysStrict 表示是否开启 JS/ES 的 strict，注意⚠️不是 TS 的 strict 哟

strictNullChecks

strictNullChecks 表示 null 和 undefined 是否为单独的类型，默认情况 null 和 undefined 是任何类型的子类型。即：let age = 20;age = null;age = undefined; 不会报错。

strictBindCallApply

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

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

strictPropertyInitialization 表示当类的属性被声明为除 undefined/unknow/any 类型之外的任意类型，例如 number ，而且没有在 constructor 里面初始化，就会报错提示。

noImplicitAny

noImplicitAny 表示不许出现隐式的 any 类型。如果你没有明确声明变量的类型，而且 TS 也不能自动推断出来，TS 就会把这个变量的类型声明为 any，注意一旦出现 any 就没了类型检查，TS 也就失去了意义，所以 noImplicitAny 一定要启用，强制我们自己进行类型声明。

例如，下面代码就不会报错：

let age;
age.lalalala()

noImplicitThis

noImplicitThis 表示当 this 被隐式指定为 any 类型时报错。

例如：

function fun() {
    console.log(this)
}
fun()

注意⚠️：目前 TS4.2 版本 strict 版本就包含这七个，随着 TS 的升级还可能新增或删除。