Posted in

70%的人都答错了的面试题,vue3 的 ref 是如何实现响应式的?_AI阅读总结 — 包阅AI

包阅导读总结

1. `Vue3`、`ref`、`响应式`、`原始类型`、`Proxy`

2. 本文主要介绍 Vue3 中 ref 实现响应式的原理,包括接收原始类型和对象的不同方式,通过 debug 分析相关代码和流程,解释其响应式实现机制,最后总结并回答了为何不统一使用 Proxy 实现的疑问。

3.

– 面试题:Vue3 的 ref 如何实现响应式

– 示例:包含 count(原始类型)和 user(对象)的 ref 变量

– 断点调试

– ref 函数调用 createRef 函数

– createRef 函数调用 RefImpl 类

– RefImpl 类:包含构造函数、value 属性的 getter 和 setter 方法

– 构造函数:处理原始值和响应式值

– getter 方法:依赖收集

– setter 方法:更新值并触发依赖

– 对象的响应式:通过 toReactive 函数使用 Proxy 实现

– Proxy 的 set 和 get 拦截:实现依赖收集和触发

– 总结:ref 对原始类型和对象实现响应式的不同方式,解释不统一使用 Proxy 的原因

思维导图:

文章地址:https://mp.weixin.qq.com/s/nBFdXicMSMU8Ju6kkv2sFg

文章来源:mp.weixin.qq.com

作者:前端欧阳

发布时间:2024/8/7 8:27

语言:中文

总字数:7406字

预计阅读时间:30分钟

评分:87分

标签:Vue3,ref,响应式编程,Proxy,前端开发


以下为原文内容

本内容来源于用户推荐转载,旨在分享知识与观点,如有侵权请联系删除 联系邮箱 media@ilingban.com

最近在我的vue源码交流群有位面试官分享了一道他的面试题:vue3的ref是如何实现响应式的?下面有不少小伙伴回答的是Proxy其实这些小伙伴只回答对了一半

  • 当ref接收的是一个对象时确实是依靠Proxy去实现响应式的。

  • 但是ref还可以接收stringnumberboolean这样的原始类型,当是原始类型时,响应式就不是依靠Proxy去实现的,而是在value属性的gettersetter方法中去实现的响应式。

本文将通过debug的方式带你搞清楚当ref接收的是对象和原始类型时,分别是如何实现响应式的。注:本文中使用的vue版本为3.4.19

看个demo

还是老套路,我们来搞个demo,index.vue文件代码如下:

<template>
<div>
<p>count的值为:{{count}}</p>
<p>user.count的值为:{{user.count}}</p>
<button@click="count++">count++</button>
<button@click="user.count++">user.count++</button>
</div>

</template>

<scriptsetuplang="ts">
import{ref}from"vue";

constcount=ref(0);

constuser=ref({
count:0,
});
</
script>

在上面的demo中我们有两个ref变量,count变量接收的是原始类型,他的值是数字0。

count变量渲染在template的p标签中,并且在button的click事件中会count++

user变量接收的是对象,对象有个count属性。

同样user.count也渲染在另外一个p标签上,并且在另外一个button的click事件中会user.count++

接下来我将通过debug的方式带你搞清楚,分别点击count++user.count++按钮时是如何实现响应式的。

开始打断点

第一步从哪里开始下手打断点呢?

既然是要搞清楚ref是如何实现响应式的,那么当然是给ref打断点吖,所以我们的第一个断点是打在const count = ref(0);代码处。这行代码是运行时代码,是跑在浏览器中的。

要在浏览器中打断点,需要在浏览器的source面板中打开index.vue文件,然后才能给代码打上断点。

那么第二个问题来了,如何在source面板中找到我们这里的index.vue文件呢?

很简单,像是在vscode中一样使用command+p(windows中应该是control+p)就可以唤起一个输入框。在输入框里面输入index.vue,然后点击回车就可以在source面板中打开index.vue文件。如下图:

然后我们就可以在浏览器中给const count = ref(0);处打上断点了。

RefImpl

刷新页面此时断点将会停留在const count = ref(0);代码处,让断点走进ref函数中。在我们这个场景中简化后的ref函数代码如下:

functionref(value){
returncreateRef(value,false);
}

可以看到在ref函数中实际是直接调用了createRef函数。

接着将断点走进createRef函数,在我们这个场景中简化后的createRef函数代码如下:

functioncreateRef(rawValue,shallow){
returnnewRefImpl(rawValue,shallow);
}

从上面的代码可以看到实际是调用RefImpl类new了一个对象,传入的第一个参数是rawValue,也就是ref绑定的变量值,这个值可以是原始类型,也可以是对象、数组等。

接着将断点走进RefImpl类中,在我们这个场景中简化后的RefImpl类代码如下:

classRefImpl{
private_value:T
private_rawValue:T

constructor(value){
this._rawValue=toRaw(value);
this._value=toReactive(value);
}
getvalue(){
trackRefValue(this);
returnthis._value;
}
setvalue(newVal){
newVal=toRaw(newVal);
if(hasChanged(newVal,this._rawValue)){
this._rawValue=newVal;
this._value=toReactive(newVal);
triggerRefValue(this,4,newVal);
}
}
}

从上面的代码可以看到RefImpl类由三部分组成:constructor构造函数、value属性的getter方法、value属性的setter方法。

RefImpl类的constructor构造函数

constructor构造函数中的代码很简单,如下:

constructor(value){
this._rawValue=toRaw(value);
this._value=toReactive(value);
}

在构造函数中首先会将toRaw(value)的值赋值给_rawValue属性中,这个toRaw函数是vue暴露出来的一个API,他的作用是根据一个 Vue 创建的代理返回其原始对象。因为ref函数不光能够接受普通的对象和原始类型,而且还能接受一个ref对象,所以这里需要使用toRaw(value)拿到原始值存到_rawValue属性中。

接着在构造函数中会执行toReactive(value)函数,将其执行结果赋值给_value属性。toReactive函数看名字你应该也猜出来了,如果接收的value是原始类型,那么就直接返回value。如果接收的value不是原始类型(比如对象),那么就返回一个value转换后的响应式对象。这个toReactive函数我们在下面会讲。

_rawValue属性和_value属性都是RefImpl类的私有属性,用于在RefImpl类中使用的,而暴露出去的也只有value属性。

经过constructor构造函数的处理后,分别给两个私有属性赋值了:

  • _rawValue中存的是ref绑定的值的原始值。

  • 如果ref绑定的是原始类型,比如数字0,那么_value属性中存的就是数字0。

    如果ref绑定的是一个对象,那么_value属性中存的就是绑定的对象转换后的响应式对象。

RefImpl类的value属性的getter方法

我们接着来看value属性的getter方法,代码如下:

getvalue(){
trackRefValue(this);
returnthis._value;
}

当我们对ref的value属性进行读操作时就会走到getter方法中。

我们知道template经过编译后会变成render函数,执行render函数会生成虚拟DOM,然后由虚拟DOM生成真实DOM。

在执行render函数期间会对count变量进行读操作,所以此时会触发count变量的value属性对应的getter方法。

getter方法中会调用trackRefValue函数进行依赖收集,由于此时是在执行render函数期间,所以收集的依赖就是render函数。

最后在getter方法中会return返回_value私有属性。

RefImpl类的value属性的setter方法

我们接着来看value属性的setter方法,代码如下:

setvalue(newVal){
newVal=toRaw(newVal);
if(hasChanged(newVal,this._rawValue)){
this._rawValue=newVal;
this._value=toReactive(newVal);
triggerRefValue(this,4,newVal);
}
}

当我们对ref的value的属性进行写操作时就会走到setter方法中,比如点击count++按钮,就会对count的值进行+1,触发写操作走到setter方法中。

setter方法打个断点,点击count++按钮,此时断点将会走到setter方法中。初始化count的值为0,此时点击按钮后新的count值为1,所以在setter方法中接收的newVal的值为1。如下图:

从上图中可以看到新的值newVal的值为1,旧的值this._rawValue的值为0。然后使用if (hasChanged(newVal, this._rawValue))判断新的值和旧的值是否相等,hasChanged的代码也很简单,如下:

consthasChanged=(value,oldValue)=>!Object.is(value,oldValue);

Object.is方法大家平时可能用的比较少,作用也是判断两个值是否相等。和==的区别为Object.is不会进行强制转换,其他的区别大家可以参看mdn上的文档。

使用hasChanged函数判断到新的值和旧的值不相等时就会走到if语句里面,首先会执行this._rawValue = newVal将私有属性_rawValue的值更新为最新值。接着就是执行this._value = toReactive(newVal)将私有属性_value的值更新为最新值。

最后就是执行triggerRefValue函数触发收集的依赖,前面我们讲过了在执行render函数期间由于对count变量进行读操作。触发了getter方法,在getter方法中将render函数作为依赖进行收集了。

所以此时执行triggerRefValue函数时会将收集的依赖全部取出来执行一遍,由于render函数也是被收集的依赖,所以render函数会重新执行。重新执行render函数时从count变量中取出的值就是新值1,接着就是生成虚拟DOM,然后将虚拟DOM挂载到真实DOM上,最终在页面上count变量绑定的值已经更新为1了。

看到这里你是不是以为关于ref实现响应式已经完啦?

我们来看demo中的第二个例子,user对象,回顾一下在template和script中关于user对象的代码如下:

<template>
<div>
<p>user.count的值为:{{user.count}}</p>
<button@click="user.count++">user.count++</button>
</div>

</template>

<scriptsetuplang="ts">
import{ref}from"vue";

constuser=ref({
count:0,
});
</
script>

在button按钮的click事件中执行的是:user.count++,前面我们讲过了对ref的value属性进行写操作会走到setter方法中。但是我们这里ref绑定的是一个对象,点击按钮时也不是对user.value属性进行写操作,而是对user.value.count属性进行写操作。所以在这里点击按钮不会走到setter方法中,当然也不会重新执行收集的依赖。

那么当ref绑定的是对象时,我们改变对象的某个属性时又是怎么做到响应式更新的呢?

这种情况就要用到Proxy了,还记得我们前面讲过的RefImpl类的constructor构造函数吗?代码如下:

classRefImpl{
private_value:T
private_rawValue:T

constructor(value){
this._rawValue=toRaw(value);
this._value=toReactive(value);
}
}

其实就是这个toReactive函数在起作用。

Proxy实现响应式

还是同样的套路,这次我们给绑定对象的名为user的ref打个断点,刷新页面代码停留在断点中。还是和前面的流程一样最终断点走到RefImpl类的构造函数中,当代码执行到this._value = toReactive(value)时将断点走进toReactive函数。代码如下:

consttoReactive=(value)=>(isObject(value)?reactive(value):value);

toReactive函数中判断了如果当前的value是对象,就返回reactive(value),否则就直接返回value。这个reactive函数你应该很熟悉,他会返回一个对象的响应式代理。因为reactive不接收number这种原始类型,所以这里才会判断value是否是对象。

我们接着将断点走进reactive函数,看看他是如何返回一个响应式对象的,在我们这个场景中简化后的reactive函数代码如下:

functionreactive(target){
returncreateReactiveObject(
target,
false,
mutableHandlers,
mutableCollectionHandlers,
reactiveMap
);
}

从上面的代码可以看到在reactive函数中是直接返回了createReactiveObject函数的调用,第三个参数是mutableHandlers。从名字你可能猜到了,他是一个Proxy对象的处理器对象,后面会讲。

接着将断点走进createReactiveObject函数,在我们这个场景中简化后的代码如下:

functioncreateReactiveObject(
target,
isReadonly2,
baseHandlers,
collectionHandlers,
proxyMap
)
{
constproxy=newProxy(target,baseHandlers);
returnproxy;
}

在上面的代码中我们终于看到了大名鼎鼎的Proxy了,这里new了一个Proxy对象。new的时候传入的第一个参数是target,这个target就是我们一路传进来的ref绑定的对象。第二个参数为baseHandlers,是一个Proxy对象的处理器对象。这个baseHandlers是调用createReactiveObject时传入的第三个参数,也就是我们前面讲过的mutableHandlers对象。

在这里最终将Proxy代理的对象进行返回,我们这个demo中ref绑定的是一个名为user的对象,经过前面讲过函数的层层return后,user.value的值就是这里return返回的proxy对象。

当我们对user.value响应式对象的属性进行读操作时,就会触发这里Proxy的get拦截。

当我们对user.value响应式对象的属性进行写操作时,就会触发这里Proxy的set拦截。

getset拦截的代码就在mutableHandlers对象中。

Proxysetget拦截

在源码中使用搜一下mutableHandlers对象,看到他的代码是这样的,如下:

constmutableHandlers=newMutableReactiveHandler();

从上面的代码可以看到mutableHandlers对象是使用MutableReactiveHandler类new出来的一个对象。

我们接着来看MutableReactiveHandler类,在我们这个场景中简化后的代码如下:

classMutableReactiveHandlerextendsBaseReactiveHandler{
set(target,key,value,receiver){
letoldValue=target[key];

constresult=Reflect.set(target,key,value,receiver);
if(target===toRaw(receiver)){
if(hasChanged(value,oldValue)){
trigger(target,"set",key,value,oldValue);
}
}
returnresult;
}
}

在上面的代码中我们看到了set拦截了,但是没有看到get拦截。

MutableReactiveHandler类是继承了BaseReactiveHandler类,我们来看看BaseReactiveHandler类,在我们这个场景中简化后的BaseReactiveHandler类代码如下:

classBaseReactiveHandler{
get(target,key,receiver){
constres=Reflect.get(target,key,receiver);
track(target,"get",key);
returnres;
}
}

BaseReactiveHandler类中我们找到了get拦截,当我们对Proxy代理返回的对象的属性进行读操作时就会走到get拦截中。

前面讲过了经过层层return后user.value的值就是这里的proxy响应式对象,而我们在template中使用user.count将其渲染到p标签上,在template中读取user.count,实际就是在读取user.value.count的值。

同样的template经过编译后会变成render函数,执行render函数会生成虚拟DOM,然后将虚拟DOM转换为真实DOM渲染到浏览器上。在执行render函数期间会对user.value.count进行读操作,所以会触发BaseReactiveHandler这里的get拦截。

get拦截中会执行track(target, "get", key)函数,执行后会将当前render函数作为依赖进行收集。到这里依赖收集的部分讲完啦,剩下的就是依赖触发的部分。

我们接着来看MutableReactiveHandler,他是继承了BaseReactiveHandler。在BaseReactiveHandler中有个get拦截,而在MutableReactiveHandler中有个set拦截。

当我们点击user.count++按钮时,会对user.value.count进行写操作。由于对count属性进行了写操作,所以就会走到set拦截中,set拦截代码如下:

classMutableReactiveHandlerextendsBaseReactiveHandler{
set(target,key,value,receiver){
letoldValue=target[key];

constresult=Reflect.set(target,key,value,receiver);
if(target===toRaw(receiver)){
if(hasChanged(value,oldValue)){
trigger(target,"set",key,value,oldValue);
}
}
returnresult;
}
}

我们先来看看set拦截接收的4个参数,第一个参数为target,也就是我们proxy代理前的原始对象。第二个参数为key,进行写操作的属性,在我们这里key的值就是字符串count。第三个参数是新的属性值。

第四个参数receiver一般情况下是Proxy返回的代理响应式对象。这里为什么会说是一般是呢?看一下MDN上面的解释你应该就能明白了:

假设有一段代码执行obj.name = "jen"obj不是一个 proxy,且自身不含name属性,但是它的原型链上有一个 proxy,那么,那个 proxy 的set()处理器会被调用,而此时,obj会作为 receiver 参数传进来。

接着来看set拦截函数中的内容,首先let oldValue = target[key]拿到旧的属性值,然后使用Reflect.set(target, key, value, receiver)

Proxy中一般都是搭配Reflect进行使用,在Proxyget拦截中使用Reflect.get,在Proxyset拦截中使用Reflect.set

这样做有几个好处,在set拦截中我们要return一个布尔值表示属性赋值是否成功。如果使用传统的obj[key] = value的形式我们是不知道赋值是否成功的,而使用Reflect.set会返回一个结果表示给对象的属性赋值是否成功。在set拦截中直接将Reflect.set的结果进行return即可。

还有一个好处是如果不搭配使用可能会出现this指向不对的问题。

前面我们讲过了receiver可能不是Proxy返回的代理响应式对象,所以这里需要使用if (target === toRaw(receiver))进行判断。

接着就是使用if (hasChanged(value, oldValue))进行判断新的值和旧的值是否相等,如果不相等就执行trigger(target, "set", key, value, oldValue)

这个trigger函数就是用于依赖触发,会将收集的依赖全部取出来执行一遍,由于render函数也是被收集的依赖,所以render函数会重新执行。重新执行render函数时从user.value.count属性中取出的值就是新值1,接着就是生成虚拟DOM,然后将虚拟DOM挂载到真实DOM上,最终在页面上user.value.count属性绑定的值已经更新为1了。

这就是当ref绑定的是一个对象时,是如何使用Proxy去实现响应式的过程。

看到这里有的小伙伴可能会有一个疑问,为什么ref使用RefImpl类去实现,而不是统一使用Proxy去代理一个拥有value属性的普通对象呢?比如下面这种:

constproxy=newProxy(
{
value:target,
},
baseHandlers
);

如果是上面这样做那么就不需要使用RefImpl类了,全部统一成Proxy去使用响应式了。

但是上面的做法有个问题,就是使用者可以使用delete proxy.valueproxy对象的value属性给删除了。而使用RefImpl类的方式去实现就不能使用delete的方法去将value属性给删除了。

总结

这篇文章我们讲了ref是如何实现响应式的,主要分为两种情况:ref接收的是number这种原始类型、ref接收的是对象这种非原始类型。

  • 当ref接收的是number这种原始类型时是依靠RefImpl类的value属性的gettersetter方法中去实现的响应式。

    当我们对ref的value属性进行读操作时会触发value的getter方法进行依赖收集。

    当我们对ref的value属性进行写操作时会进行依赖触发,重新执行render函数,达到响应式的目的。

  • 当ref接收的是对象这种非原始类型时,会调用reactive方法将ref的value属性转换成一个由Proxy实现的响应式对象。

    当我们对ref的value属性对象的某个属性进行读操作时会触发Proxy的get拦截进行依赖收集。

    当我们对ref的value属性对象的某个属性进行写操作时会触发Proxy的set拦截进行依赖触发,然后重新执行render函数,达到响应式的目的。

最后我们讲了为什么ref不统一使用Proxy去代理一个有value属性的普通对象去实现响应式,而是要多搞个RefImpl类。

因为如果使用Proxy去代理的有value属性的普通的对象,可以使用delete proxy.valueproxy对象的value属性给删除了。而使用RefImpl类的方式去实现就不能使用delete的方法去将value属性给删除了。