Vue2剥丝抽茧-响应式系统 (opens new window)Vue2剥丝抽茧-响应式系统之分支切换 (opens new window),还没有看过的同学需要看一下。

# 场景

Vue 开发中肯定存在组件嵌套组件的情况,类似于下边的样子。

<!-- parent-component -->
<div>
  <my-component :text="inner"></my-component>
  {{ text }}
<div>

<!-- my-component-->
<div>{{ text }}</div>

回到我们之前的响应式系统,模拟一下上边的情况:

import { observe } from "./reactive";
import Watcher from "./watcher";
const data = {
    text: "hello, world",
    inner: "内部",
};
observe(data);

const updateMyComponent = () => {
    console.log("子组件收到:", data.inner);
};

const updateParentComponent = () => {
    new Watcher(updateMyComponent);
    console.log("父组件收到:", data.text);
};

new Watcher(updateParentComponent);

data.text = "hello, liang";

可以先 1 分钟考虑一下上边输出什么?

首先回忆一下 new Watcher 会做什么操作。

第一步是保存当前函数,然后执行当前函数前将全局的 Dep.target 赋值为当前 Watcher 对象。

image-20220402083845476

接下来执行 getter 函数的时候,如果读取了相应的属性就会触发 get ,从而将当前 Watcher 收集到该属性的 Dep 中。

image-20220402083943606

# 执行过程

import { observe } from "./reactive";
import Watcher from "./watcher";
const data = {
    text: "hello, world",
    inner: "内部",
};
observe(data);

const updateMyComponent = () => {
    console.log("子组件收到:", data.inner);
};

const updateParentComponent = () => {
    new Watcher(updateMyComponent);
    console.log("父组件收到:", data.text);
};

new Watcher(updateParentComponent);

data.text = "hello, liang";

我们再一步一步理清一下:

  • new Watcher(updateParentComponent);

    Dep.target 赋值为保存了 updateParentComponent 函数的 Watcher

    接下来执行 updateParentComponent 函数。

  • new Watcher(updateMyComponent);

    Dep.target 赋值为保存了 updateMyComponent 函数的 Watcher

    接下来执行 updateMyComponent 函数。

  • const updateMyComponent = () => {
        console.log("子组件收到:", data.inner);
    };
    
    // 读取了 inner 变量。
    // data.inner 的 Dep 收集当前 Watcher(保存了 `updateMyComponent` 函数)
    
  • const updateParentComponent = () => {
        new Watcher(updateMyComponent);
        console.log("父组件收到:", data.text);
    };
    // 读取了 text 变量。
    // data.text 的 Dep 收集当前 Watcher (保存了 `updateMyComponent` 函数)
    
  • data.text = "hello, liang";

    触发 textset 函数,执行它依赖的 Watcher ,而此时是 updateMyComponent 函数。

所以上边代码最终输出的结果是:

子组件收到: 内部  // new Watcher(updateMyComponent); 时候输出
父组件收到: hello, world // new Watcher(updateParentComponent); 时候输出
子组件收到: 内部 // data.text = "hello, liang"; 输出

然而子组件并不依赖 data.text,依赖 data.text 的父组件反而没有执行。

# 修复

上边的问题出在我们保存当前正在执行 Watcher 时候使用的是单个变量 Dep.target = null; // 静态变量,全局唯一

回忆一下学习 C 语言或者汇编语言的时候对函数参数的处理:

function b(p) {
    console.log(p);
}

function a(p) {
    b("child");
    console.log(p);
}

a("parent");

当函数发生嵌套调用的时候,执行 a 函数的时候我们会先将参数压入栈中,然后执行 b 函数,同样将参数压入栈中,b 函数执行完毕就将参数出栈。此时回到 a 函数就能正确取到 p 参数的值了。

对应于 Watcher 的收集,我们同样可以使用一个栈来保存,执行函数前将 Watcher 压入栈,执行函数完毕后将 Watcher 弹出栈即可。其中,Dep.target 始终指向栈顶 Watcher ,代表当前正在执行的函数。

回到 Dep 代码中,我们提供一个压栈和出栈的方法。

import { remove } from "./util";

let uid = 0;

export default class Dep {
    ... 省略
}
Dep.target = null; // 静态变量,全局唯一

// The current target watcher being evaluated.
// This is globally unique because only one watcher
// can be evaluated at a time.
const targetStack = [];

export function pushTarget(target) {
    targetStack.push(target);
    Dep.target = target;
}

export function popTarget() {
    targetStack.pop();
    Dep.target = targetStack[targetStack.length - 1]; // 赋值为栈顶元素
}

然后 Watcher 中,执行函数之前进行入栈,执行后进行出栈。

import { pushTarget, popTarget } from "./dep";
export default class Watcher {
    constructor(Fn) {
        this.getter = Fn;
        this.depIds = new Set(); // 拥有 has 函数可以判断是否存在某个 id
        this.deps = [];
        this.newDeps = []; // 记录新一次的依赖
        this.newDepIds = new Set();
        this.get();
    }

    /**
     * Evaluate the getter, and re-collect dependencies.
     */
    get() {
      /************修改的地方*******************************/
        pushTarget(this); // 保存包装了当前正在执行的函数的 Watcher
       /*******************************************/
        let value;
        try {
            value = this.getter.call();
        } catch (e) {
            throw e;
        } finally {
          /************修改的地方*******************************/
            popTarget();
          /*******************************************/
            this.cleanupDeps();
        }
        return value;
    }
   ...
}

# 测试

回到开头的场景,再来执行一下:

import { observe } from "./reactive";
import Watcher from "./watcher";
const data = {
    text: "hello, world",
    inner: "内部",
};
observe(data);

const updateMyComponent = () => {
    console.log("子组件收到:", data.inner);
};

const updateParentComponent = () => {
    new Watcher(updateMyComponent);
    console.log("父组件收到:", data.text);
};

new Watcher(updateParentComponent);

data.text = "hello, liang";

执行 new Watcher(updateParentComponent); 的时候将 Watcher 入栈。

image-20220402093847759

进入 updateParentComponent 函数,执行 new Watcher(updateMyComponent); 的时候将 Watcher 入栈。

image-20220402093937896

执行 updateMyComponent 函数,data.inner 收集当前 Dep.target ,执行完毕后 Watcher 出栈。

image-20220402093847759

继续执行 updateParentComponent 函数,data.text 收集当前 Dep.target

此时依赖就变得正常了,data.text 会触发 updateParentComponent 函数,从而输出如下:

子组件收到: 内部
父组件收到: hello, world
子组件收到: 内部
父组件收到: hello, liang

# 总结

今天这个相对好理解一些,通过栈解决了嵌套调用的情况。

Last Updated: 6/6/2022, 1:53:00 PM