Typescript 一些令人又爱又恨的内容 — Type Guard、Narrowing

更新日期: 2022-10-30阅读: 152标签: Typescript

前言

由于 JavaScript 本身是弱型别语言,因此在开发上很常因为不知道变数的型态是什麽而感到苦恼,即使借由命名的方式让变数的定位稍微明确一点,我们还是很难一眼就知道他的型别甚至当此变数是一个 object 时我们更难知道裡面有哪些 key,因此大家渐渐开始使用 TypeScript 作为主要的开发工具

不晓得大家在利用 TypeScript 进行开发时,有没有觉得 TypeScript 在检查型别这块特别恼人,虽然知道这些型别检查的举动是非常好的,可以帮助我们减少许多可能会发生的潜在错误,今天笔者就要来谈谈当我们在开发上遇到这种问题时该如何解决。


情境一

不晓得大家有没有遇过这种问题,今天想要让这个变数查看是否符合 enum 中的某一个值,结果 TypeScript 就喷错给你看了,像下面这样。


其实要解决上面的红字方法非常多,首先是开大绝使用 @ts-ignore 让错误消失,当然这个方法非常不好,等于是叫 TypeScript 不要检查下面这行了。


这时候可能会想到另一个方法,上面的错误讯息是说 male 没有被 assign 到 GENDER 这个 type,所以我只要强制塞给他这个 type 就好,就像这样:


可是这样写仍然不好,等于你强制转型这个变数了,让这个变数失去了弹性,接下来笔者就要介绍比较好用的方法了,就让我们继续看下去吧!


Type Guard

首先要介绍的是 Type Guard,Type Guard 顾名思义就是型别的看守者,今天 TypeScript 会报错就是因为 type 不一样,所以只要我们建立一个型别的看守者,让 TypeScript 知道这个变数一定会符合我 enum 中的某一个 value 时,这时候就不会出现红字了,而通常 Type Guard 会写成一个 function 像这样:


这时候我们可以发现 gender 这个变数已经从 string type 变成 GENDER type 了,所以即便我很无聊的再做一次 includes 的判断 TypeScript 也不会报任何错误了。

这边笔者在指定 gender 这个值之前先指派这个变数是一个 string type,这个动作很重要,如果没有先指派变数型态再给值的话这个变数就没办法顺利改变 type 了。



情境二

不晓得大家有没有遇过在 api 回传的资料,也会因为资料对应到的 enum 的值不同而发生错误,像下面这样:


有了上面 Type Guard 的观念后,这时候的读者一定知道要写一个 function 来处理这段错误讯息:


的确错误讯息没有了,但很奇怪的是 gender 竟然变成 never type 了,而这个就是 Type Guard 会做到的一个型别保护机制叫:Narrowing


Narrowing

Narrowing 翻成白话文就是型别限缩,在 TypeScript 的世界中每一个 enum 基本上都是独立存在彼此之间是没有交集的,关係图就像下面这样:


所以今天要进行两个 enum 间的型别转换就很容易产生出一个可能不会存在的型别,对于可能不会存在的型别 TypeScript 把这个型别定义为 never,而这时候当我们使用了 Type Guard 的技巧,TypeScript 就会自动把型别限缩成 never type,而不是自动转换成另一个 enum 了。

当然聪明的你可能会这样想:那我只要把 function return 定义成另一个 enum 不就好了,这样就可以确保我 Type Guard 的结果一定会型别转换成我想要的 enum,像下面这样:


这样写看起来的确没有什麽问题,我们想要的结果也从型别限缩变成了型别转换,但这样做其实就有点不太符合 Type Guard 的精神,毕竟 Type Guard 要做的是型别检查而不是型别转换,而且假如我们要做的是型别转换,这样写也会让这个 function 的複用性不高,因此笔者接下来要介绍比较好的型别转型方法。


Mapper enum

首先我们可以先想想如何让型别转换这件事被複用,我们不妨把想法简单化,就是建立一个 function 把 A 型态转换成 B 型态,而这时候就必须要利用 TypeScript 中的 Generics 泛型这个技巧了,像下面这样:


这个 createEnumMapper 的 function 是一个 currying function,第一个变数传入的是 enum 本身,这时候 TypeScript 的 Generics 就会知道我的 T 就是跟 enum 本身有关。

为了让这个 Generics 可以正确的把两个 enum mapping 起来,我们必须要先建立一个 object 把两个 enum 的 key value 配对像下面这样:


由于我们上面的 mapper 是把 enum 的 value 当成 key,所以我们只要带入 data 的值就可以直接转换了,像下面这样:


这时候就可以发现我们成功的把 BE_GENDER type 的值转成 FE_GENDER type 的值了,而且也不需要动用到 Type Guard 的观念。


小结

今天介绍了 TypeScript 中用来检查型别的方法,假如读者日后遇到类似这种问题不妨可以多加利用 Type Guard 进行检查,而不是直接开大绝用 @ts-ignore 或者 as 这两种方法,除了介绍型别检查外也介绍了如何进行型别转换,希望这些方法都可以让读者未来在使用上都不会有太多的问题。

也感谢笔者同事 Peter Lin 提供 createMapper 这套这麽好用的方法可以介绍给大家。

翻译来自:https://medium.com/onedegree-tech-blog/Typescript 一些令人又愛又恨的內容-type-guard-narrowing-1655a9ae2a4d

链接: https://www.fly63.com/article/detial/12226

用TypeScript弥补Elm和JavaScript之间的差距

近些日子,我使用了新语言编程,从JavaScript,切确地说是Elm,转成TypeScript。在本文中,我将继续深挖一些我非常喜欢的TypeScript特性。

Typescript 和 Javascript之间的区别

TypeScript 和 JavaScript 是目前项目开发中较为流行的两种脚本语言,我们已经熟知 TypeScript 是 JavaScript 的一个超集,但是 TypeScript 与 JavaScript 之间又有什么样的区别呢?

Nerv_一款类 React 前端框架,基于虚拟 DOM 技术的 JavaScript(TypeScript) 库

Nerv_是一款由京东凹凸实验室打造的类 React 前端框架,基于虚拟 DOM 技术的 JavaScript(TypeScript) 库。它基于React标准,提供了与 React 16 一致的使用方式与 API。

TypeScript_TS系列之高级类型

交叉类型:将多个类型合并为一个类型、联合类型:表示取值可以为多种类型中的一种、混合类型:一个例子就是,一个对象可以同时做为函数和对象使用,并带有额外的属性、类型断言:可以用来手动指定一个值的类型

TypeScript 在 JavaScript 的基础上的改动

在做比较大的,多人合作的项目的时候,TypeScript会更加地适合,这得益于它的可读性,面向对象性以及易于重构的特点。但如果只是自己做小程序,不需要太多人参与的时候,JavaScript则会更加简单。

5分钟了解TypeScript

有两种方式安装TypeScript,如何创建第一个TypeScript文件,在TypeScript中,可以使用interface来描述一个对象有firstName和lastName两个属性,TypeScript支持JavaScript的新功能,其中很重要的一个功能就是基于类的面向对象编程

如何编写 Typescript 声明文件

使用TypeScript已经有了一段时间,这的确是一个好东西,虽说在使用的过程中也发现了一些bug,不过都是些小问题,所以整体体验还是很不错的。有关TypeScript声明类型声明相关的目前就总结了这些比较常用的

谷歌为何会选用TypeScript?

谷歌在很早之前就张开双臂拥抱 Web 应用程序,Gmail 已经发布 14 年了。当时,JavaScript 的世界是疯狂的。Gmail 工程师不得不为 IE 糟糕的垃圾回收算法捏一把汗,他们需要手动将字符串文字从 for 循环中提取出来,以避免 GC 停顿

为什么要学习Typescript 语言呢?Typescript 开发环境安装

TypeScript是一种由微软开发的自由和开源的编程语言。它是JavaScript的一个超集,TypeScript是JavaScript类型的超集,它可以编译成纯JavaScript。TypeScript可以在任何浏览器、任何计算机和任何操作系统上运行,并且是开源的。

使用TypeScript两年后-值得吗?

差不多两年前,我在一个创业团队中开始了一个全新的项目。用到的全都是类似Microservices,docker,react,redux这些时髦的东西。我在前端技术方面积累了一些类似的经验

点击更多...

内容以共享、参考、研究为目的,不存在任何商业目的。其版权属原作者所有,如有侵权或违规,请与小编联系!情况属实本人将予以删除!