Typescript 支持泛型,也叫类型参数,可以对类型参数做一系列运算之后返回新的类型,这就是类型编程
。
因为类型编程实现一些逻辑还是有难度的,所以被戏称为类型体操
。
社区有用 Typescript 类型实现 Lisp 解释器、实现象棋等案例的(知乎可以搜到),这足够说明了 Typescript 类型可以实现各种复杂逻辑。
那 Typescript 类型体操这么难,有没有什么快速掌握的方式呢?
确实有,我总结了一些套路,可以快速提升 ts 类型体操水平。比如今天要讲的套路--模式匹配。
我们知道,字符串可以和正则做模式匹配,找到匹配的部分,提取子组,之后可以用 $1,$2 等引用匹配的子组。
Typescript 的类型也同样可以做模式匹配。
比如,提取 Promise
我们通过 extends 对传入的类型参数 T 做模式匹配,其中 value 部分是需要提取的,通过 infer 类声明一个局部变量 R 来保存,如果匹配,就返回匹配到的 R,否则就返回 never 代表没匹配到。
这就是 Typescript 类型的模式匹配。
小结一下: Typescript 类型的模式匹配是通过 extends 对类型参数做匹配,结果保存到通过 infer 声明的局部类型变量里,如果匹配就能从该局部变量里拿到提取出的类型。
这个模式匹配的套路有多有用呢?我们来看下在数组、字符串、函数等类型里的应用。
pop 是去掉最后一个元素,可以通过模式匹配来实现:
我们通过模式匹配取出最后一个元素的类型和前面的元素的类型,分别用 infer 放入不同的变量里,然后构造一个新的数组类型返回。
同样,shift 是去掉最开始的元素,也是类似的匹配方式来实现:
trim 是去掉前后的空格、制表符、换行符,那么就通过模式匹配取出后面的字符,通过 infer 放入新的变量返回就行。
先实现 TrimLeft:
如果匹配就继续递归 TrimLeft,直到前面没有空白字符。
再实现 TrimRight:
然后两者结合,就是 Trim:
replace 是替换字符串中的一部分,可以通过模式匹配取出这段字符串前后的子串,通过 infer 放入不同的变量,然后和替换后的部分组成新字符串。
取出参数的类型是通过模式匹配拿到参数部分,放入 infer 声明的变量里返回。
取出返回值类型也是通过模式匹配拿到返回值部分,放入 infer 声明的类型变量里返回。
类型编程是对类型参数(泛型)做一系列运算之后返回新的类型,也叫类型体操。
类型体操可以实现很多复杂的逻辑,学习起来也有一定的难度,但是掌握一些套路之后也能快速掌握。
这些套路里面最常用的就是模式匹配了,类似字符串匹配和提取子串,类型也可以通过 extends 对类型参数做匹配,把需要提取的部分保存到通过 infer 声明的局部类型变量里。
类型参数的模式匹配的套路在字符串类型、数组类型、函数类型等都有大量的应用,掌握这一个套路可以提升一大截类型体操的水平。
Copyright© 2013-2020
All Rights Reserved 京ICP备2023019179号-8