TypeScript在Vue3.0的Ref类型中的实践
Posted
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了TypeScript在Vue3.0的Ref类型中的实践相关的知识,希望对你有一定的参考价值。
参考技术A vue3.0中的响应式原理是基于proxy做的,而使用proxy的前提是,我们要代理的是对象而不是基本类型数据。如果我们用如下方式定义一个响应式的数据,count的改变是无法变监听拦截到的:这时候,就需要ref来先讲基本类型包装成value: 基本类型数据,然后再对这个包装对象进行响应式处理。
最容易想到的实现方式如下:
简单解释下,首先定义一个Ref类型,这个类型的value可以是任意类型(any),然后再定义一个ref的函数,接受一个任意类型的参数T,再将T封装成Ref类型返回。由上图我们可以看到,我们输入了number类型的值,由泛型的反向推到我们可以知道,返回的count是Ref<number>,所以count.value为number类型。
考虑到ref嵌套的问题,我们期望直接通过count.value获取,而不是count.value.value.value.value。这时候我们需要对一版本进行改进。
对于改进,首先想到的是利用extends关键字进行条件判断:
由上图可是,对于ref函数的返回时,我们进行了条件判断, 如果传入的参数是Ref类型,函数将原封不动返回这个Ref类型,否则需要将T包装成Ref类型再进行返回。
这样针对ref(ref(2))这种嵌套场景,首先内层的ref(2)返回的是Ref<number>类型,然后外层的ref通过判断,将内层的Ref<number>类型直接返回。这返回值依然形如value:number的对象。而不是value:value:number。
UnwrapRef<T>类型,就是对Ref类型就行反解,其作用分为:
a.如果泛型T是Ref<R>类型,则UnwrapRef类型为ref.value的类型(R)
b.如果泛型T不是Ref类型,则UnwrapRef类型为T
由上面的分析我们可以定义如下图的方式定义UnwrapRef:
由图可知
a.当T继承自Ref,我们都过索引类型'ref'取到了 T extends Ref<infer R> ? R : T (*)
这里用到了推断类型infer,其作用类似于正则匹配里面的捕获组,先提前捕获类型R,在后续的表达式(? R : T)中用到这个捕获类型,R可以是任意类型。所以这个表达是*的含义就是:当T继承自Ref<R>, 则 UnwrapRef就是类型R
b.当T未继承自Ref,我们通过索引类型'other',直接返回类型T
另外我们还要考虑UnwrapRef<T>中的T是对象,且这个对象立包含Ref的情况, 仍然需要利用UnwrapRef进行反解:
由上图可以看出,如果T是object类型,我们通过索引类型‘object’找到类型 [K in keyof T] : UnwrapRef<T[K]>
其中keyof操作符是TS中用来获取对象的key值的集合,这样K就表示对象T的任意key值,而UnwrapRef<T[K]>则表示对对象T的所以属性进行Ref反解。
总结知识点:
1.keyof操作符 2.利用extends进行条件判断 3.infer类型推断 4.索引类型 5.泛型反向推到
参考文章by晨曦时梦见兮
以上是关于TypeScript在Vue3.0的Ref类型中的实践的主要内容,如果未能解决你的问题,请参考以下文章
vue-type-check: Vue 模板中的 Typescript 类型检查