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 到底有什么影响呢?

目前来讲有下面几个影响:

  1. alwaysStrict

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

  1. strictNullChecks

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

  1. 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);
  1. 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);
  1. strictPropertyInitialization

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

  1. noImplicitAny

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

例如,下面代码就不会报错:

let age;
age.lalalala()
  1. noImplicitThis

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

例如:

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

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

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 211,817评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,329评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,354评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,498评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,600评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,829评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,979评论 3 408
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,722评论 0 266
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,189评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,519评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,654评论 1 340
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,329评论 4 330
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,940评论 3 313
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,762评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,993评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,382评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,543评论 2 349

推荐阅读更多精彩内容

  • 夜莺2517阅读 127,717评论 1 9
  • 我是黑夜里大雨纷飞的人啊 1 “又到一年六月,有人笑有人哭,有人欢乐有人忧愁,有人惊喜有人失落,有的觉得收获满满有...
    陌忘宇阅读 8,529评论 28 53
  • 兔子虽然是枚小硕 但学校的硕士四人寝不够 就被分到了博士楼里 两人一间 在学校的最西边 靠山 兔子的室友身体不好 ...
    待业的兔子阅读 2,593评论 2 9
  • 信任包括信任自己和信任他人 很多时候,很多事情,失败、遗憾、错过,源于不自信,不信任他人 觉得自己做不成,别人做不...
    吴氵晃阅读 6,186评论 4 8