npm i rollup rollup-plugin-babel @babel/core @babel/preset-env rollup-plugin-node-resolve -D
这个可以直接使用es module
// rollup默认可以导出一个对象 作为打包的配置文件
import babel from "rollup-plugin-babel";
import resolve from 'rollup-plugin-node-resolve'
export default {
// 入口
input: "./src/index.js",
// 出口
output: {
// 生成的文件
file: "./dist/vue.js",
// 全局对象 Vue 在global(浏览器端就是window)上挂载一个属性 Vue
name: "Vue",
// 打包方式 esm commonjs模块 iife自执行函数 umd 统一模块规范 -> 兼容cmd和amd
format: "umd",
// 打包后和源代码做关联
sourcemap: true,
},
plugins: [
babel({
// 排除第三方模块
exclude: "node_modules/**",
}),
// 自动找文件夹下的index文件
resolve()
],
};
// babel config
module.exports = {
// 预设
presets: ["@babel/preset-env"],
};
"scripts": {
"dev": "rollup -cw"
}
-c表示使用配置文件,-w表示监控文件变化。
outerHTML
属性获取描述元素(包括其后代)的序列化HTML片段。它也可以设置为用从给定字符串解析的节点替换元素。
<div id="app">
<h2>{{name}}</h2>
<span>{{age}}</span>
</div>
<script>
console.log(document.querySelector("#app").outerHTML)
/*
<div id="app">
<h2>{{name}}</h2>
<span>{{age}}</span>
</div>
*/
</script>
vue的核心流程:
- 创造响应式数据
- 模板编译 生成 ast
- ast 转为render函数 后续每次数据更新 只执行render函数(不需要再次进行ast的转换)
- render函数执行 生成 vNode节点(会使用到响应式数据)
- 根据vNode 生成 真实dom 渲染页面
- 数据更新 重新执行render
Vue2中使用的是Object.definedProperty,Vue3中直接使用Proxy了
vue2中使用的是正则表达式进行匹配,然后转换为ast树。
模板引擎 性能差 需要正则匹配 替换 vue1.0 没有引入虚拟dom的改变,vue2 采用虚拟dom 数据变化后比较虚拟dom的差异 最后更新需要更新的地方, 核心就是我们需要将模板变成我们的js语法 通过js语法生成虚拟dom,语法之间的转换 需要先变成抽象语法树AST 再组装为新的语法,这里就是把template语法转为render函数。
把生成的ast语法树,通过字符串拼接等方式转为render函数。 render函数内部主要用到:
- _c函数:创建元素虚拟dom节点
- _v函数:创建文本虚拟dom节点
- _s函数:将函数内的变量字符串化
调用render函数,会生成虚拟dom,然后把虚拟dom转为真实DOM,挂载到页面即可。
核心流程:
- 数据处理成响应式,在 initState中处理的(针对对象来说主要是definedProperty,数组则是重写七个方法)
- 模板编译:先把模板转成ast语法树,再把语法树生成render函数
- 调用render函数,可能会进行变量的取值操作(_s函数内有变量),产生对应的虚拟dom
- 虚拟dom渲染为真实dom,挂载到页面即可
完成了,虚拟和真实dom的渲染,也完成了响应式数据的处理,接下来需要进行视图和响应式数据的关联,在渲染页面的时候,收集依赖数据。
- 使用观察者模式实现依赖收集
- 异步更新策略
- mixin的实现原理
要完成依赖的收集,很明显的就是,我们要如何得知,此模板在此次渲染的时候,用到了那些响应式数据。
我们可以给模板中的属性,增加一个收集器(dep)。这个收集器,是给每个属性单独增加的。页面渲染的时候,我们把渲染逻辑封装到watcher中。(其实就是手动更新视图的那两个方法app._update(app._render()))。让dep记住这个watcher即可,在属性变化了以后,可以找到对应的dep中存放的watcher,然后执行重新渲染页面。
这里面我们用到的方式其实就是观察者模式。
/**
* watcher 进行实际的视图渲染
* 每个组件都有自己的watcher,可以减少每次更新页面的部分
* 给每个属性都增加一个dep,目的就是收集watcher
* 一个视图(组件)可能有很多属性,多个属性对应一个视图 n个dep对应1个watcher
* 一个属性也可能对应多个视图(组件)
* 所以 dep 和 watcher 是多对多关系
*
* 每个属性都有自己的dep,属性就是被观察者
* watcher就是观察者(属性变化了会通知观察者进行视图更新)-> 观察者模式
*/
class Watcher{}
先让watcher收集dep,如果dep已经收集过,则不会再次收集。当dep被收集的时候,我们也会让dep反向收集当前的watcher。实现二者的双向收集。
然后在响应式数据发送改变的时候,通知dep的观察者(watcher)进行视图更新。
此时,已经完成了响应式数据和视图的绑定,在数据发生改变的情况下,视图会同步更新。也就是说,我们更新了两次响应式数据,也会更新两次视图。
正常情况下,更新两次视图是没有问题的,但是此时两次数据的更新发生在一次同步代码中,我们应该让视图的更新是异步的,这样在一次操作更新多个数据的情况下,也只会渲染一次视图,提高渲染速率。
那么我们的想法就是合并更新,在所有的更新数据做完以后,在刷新页面。也就是批处理,事件环。
我们的期望就是,同步代码执行完毕之后,在执行视图的渲染(作为异步任务)。把更新操作延迟。
方法就是使用一个队列维护需要更新的watcher,第一次更新属性值的时候,就开启一个定时器,清空所有的watcher。后续的数据改变的操作,都不会再次开启定时器,只是会把需要更新的watcher再次入队列。(当然watcher我们会先去重)。
但是这个清空操作是在同步代码执行完毕后才会执行的。
// watcher queue 本次需要更新的视图队列
let queue = [];
// watcher 去重 {0:true,1:true}
let has = {};
// 批处理 也可以说是防抖
let pending = false;
/**
* 不管执行多少次update操作,但是我们最终只执行一轮刷新操作
* @param {*} watcher
*/
function queueWatcher(watcher) {
const id = watcher.id;
// 去重
if (!has[id]) {
queue.push(watcher);
has[id] = true;
console.log(queue);
if (!pending) {
// 刷新队列 多个属性刷新 其实执行的只是第一次 合并刷新了
setTimeout(flushSchedulerQueue, 0);
pending = true;
}
}
}
/**
* 刷新调度队列 且清理当前的标识 has pending 等都重置
* 先执行第一批的watcher,如果刷新过程中有新的watcher产生,再次加入队列即可
*/
function flushSchedulerQueue() {
const flushQueue = [...queue];
queue = [];
has = {};
pending = false;
// 刷新视图 如果在刷新过程中 还有新的watcher 会重新放到queueWatcher中
flushQueue.forEach((watcher) => watcher.run()); // run 就是执行render
}
原理:
因为我们数据的更新和视图的更新不再是同步,导致我们在同步获取视图最新的dom元素时,可能出现获取的元素和视图实际显示的元素不一致的情况。于是出现了 nextTick方法
实际上:nextTick方法内部也是维护了一个异步回调队列,开启一个定时器,每次调用该方法传入回调,都是把回调函数放入队列,并不是每次调用nextTick方法都开启一个定时器(比较销毁性能)。再放入第一个回调函数的时候,开启定时器,后续的回调函数只放入队列而不会再次开启定时器了,。所以nextTick不是创建了异步任务,而是将这个任务维护到了队列而已。
nextTick方法是同步还是异步?
把任务(回调)放到队列是同步,实际执行任务是异步。
// 任务队列
let callbacks = [];
// 是否等待任务刷新
let waiting = false;
/**
* 刷新异步回调函数队列
*/
function flushCallbacks() {
const cbs = [...callbacks];
callbacks = [];
waiting = false;
cbs.forEach((cb) => cb());
}
/**
* 异步批处理
* 是先执行内部的回调 还是用户的? 用个队列 排序
* @param {Function} cb 回调函数
*/
export function nextTick(cb) {
// 使用队列维护nextTick中的callback方法
callbacks.push(cb);
if (!waiting) {
setTimeout(flushCallbacks, 0); // 刷新
waiting = true;
}
}
实际上,vue的nextTick方法,内部并没有直接使用原生的某一个异步api(比如promise,setTimeout等)。而是采用优雅降级的方法。
- 内部先采用的是promise(ie不兼容)。
- 有一个和Promise等价的 MutationObserve。也是异步微任务。(此API是H5的,只能在浏览器中使用)
- 考虑ie浏览器专享的 setImmediate API。性能比settimeout好一些
- 最后直接上setTimeout
**采用优雅降级的目的,**还是为了用户可以尽快看见页面的渲染。
/**
* 优雅降级 Promise -> MutationObserve -> setImmediate -> setTimeout(需要开线程 开销最大)
*/
let timerFunc = null;
if (Promise) {
timerFunc = () => Promise.resolve().then(flushCallbacks);
} else if (MutationObserver) {
// 创建并返回一个新的 MutationObserver 它会在指定的DOM发生变化时被调用(异步执行callback)。
const observer = new MutationObserver(flushCallbacks);
// TODO 创建文本节点的API 应该封装 为了方便跨平台
const textNode = document.createTextNode(1);
console.log("observer-----------------")
// 监控文本值的变化
observer.observe(textNode, {
characterData: true,
});
timerFunc = () => (textNode.textContent = 2);
} else if (setImmediate) {
// IE平台
timerFunc = () => setImmediate(flushCallbacks);
} else {
timerFunc = () => setTimeout(flushCallbacks, 0);
}
对于vue3,肯定就不需要这种方式了,在不兼容ie的情况下,可以直接使用promise了。
经过一次次处理,现在是可以在视图更新以后再去拿最新的dom了。
当然:对于更改值放在取值的下面,那么获取到的肯定还是旧的dom值。vue也是如此的。
Vue的mixin,可以实现全局混入和局部混入。
全局混入对所有组件实例都生效。
暂时我实现了生命周期的混入,对于data等其他特殊选项的合并还未处理。
对于混入的生命周期,无论是一个还是多个相同的生命周期,最终我们都转为使用数组包裹,每个数组元素都是混入进来的生命周期。在创建组件实例的时候,把传入的选项和全局的Vue.options选项进行合并到实例上,实现混入效果。
计算属性:
计算属性:依赖的值发生改变 才会重新执行用户的方法 计算属性需要维护一个dirty属性。而且在默认情况下,计算属性不会立刻执行,而是在用户取值的时候才会执行。
计算属性使用的两种方式:
computed: {
/**
* 计算属性:依赖的值发生改变 才会重新执行用户的方法 计算属性需要维护一个dirty属性
*/
// 只有get的计算属性
fullName1() {
return this.firstName + " " + this.lastName
},
// getter and setter
fullName2: {
get() {
return this.firstName + " " + this.lastName
},
set(newVal) {
[this.firstName, this.lastName] = newVal.split(" ")
}
}
}
特点:
- 计算属性本身就是一个defineProperty,响应式数据
- 计算属性也是一个Watcher,默认渲染会创造一个渲染watcher
- 如果watcher中有lazy属性,表明这是一个计算属性watcher
- 计算属性维护了一个dirty,当我们直接修改计算属性的值,或者修改了计算属性依赖的值,那么计算属性自己的值并不会直接发生改变,而是使dirty的值发生改变。
- 当dirty为false的时候,表示依赖的值没有发生改变,不需要再次计算,直接使用上次缓存的值即可。
- 计算属性自身不会收集依赖,而是让计算属性依赖的属性去收集依赖(watcher)
/**
* 初始化 computed
* @param {Vue} vm 实例
*/
function initComputed(vm) {
const computed = vm.$options.computed;
const watchers = (vm._computedWatchers = {});
for (const key in computed) {
const userDef = computed[key];
// function -> get
// object -> {get(){}, set(newVal){}}
let setter;
const getter = isFunction(userDef)
? userDef
: ((setter = userDef.set), getter);
// 监控计算属性中 get的变化
// 每次data的属性发生改变 重新执行的就是这个get
// 传入额外的配置项 标明当前的函数 不需要立刻执行 只有在使用到计算属性了 才计算值
// 把属性和watcher对应起来
watchers[key] = new Watcher(vm, getter, { lazy: true });
// 劫持每一个计算属性
defineComputed(vm, key, setter);
}
}
/**
* 定义计算属性
* @param {*} target
* @param {*} key
* @param {*} setter
*/
function defineComputed(target, key, setter) {
Object.defineProperty(target, key, {
// vm.key -> vm.get key this -> vm
get: createComputedGetter(key),
set: setter,
});
}
/**
* vue2.x 的计算属性 不会收集依赖,只是让计算属性依赖的属性去收集依赖
* 创建一个懒执行(有缓存的)计算属性 判断值是否发生改变
* 检查是否需要执行这个getter
* @param {string} key
*/
function createComputedGetter(key) {
// this -> vm 因为返回值给了计算属性的 get 我们是从 vm上取计算属性的
return function lazyGetter() {
// 对应属性的watcher
const watcher = this._computedWatchers[key];
if (watcher.dirty) {
// 如果是脏的 就去执行用户传入的getter函数 watcher.get()
// 但是为了可以拿到get的执行结果 我们调用 evaluate函数
watcher.evaluate(); // dirty = false
}
// 计算属性watcher出栈后 还有渲染watcher(在视图中使用了计算属性)
// 或者说是在其他的watcher中使用了计算属性
if (Dep.target) {
// 让计算属性的watcher依赖的变量也去收集上层的watcher
watcher.depend();
}
return watcher.value;
};
}
watch选项是一个对象,每个watch的属性作为键,
-
如果watch的属性直接是一个函数,那么会在属性值发生改变后,给该函数传入两个参数,新值和旧值。
// 就是一个观察者 firstName(newVal, oldVal) { console.log(newVal, oldVal) }
-
watch的属性是一个数组,数组元素可以是直接定义的函数,也可以是methods中的字符串函数名
// 就是一个观察者 firstName:[ function (newVal, oldVal) { console.log(newVal, oldVal) }, function (newVal, oldVal) { console.log(newVal, oldVal) } ]
-
watch也可以是一个methods中的字符串函数名
-
vm.$watch,上面三种的定义方式,最终都是转为vm.$watch的形式
const unwatch = vm.$watch(()=>vm.firstName, (newVal)=>{},options)// 额外选项options // 取消watch unwatch() vm.$watch(() => vm.firstName + vm.lastName, (newVal) => { console.log("类似侦听未定义的计算属性了",newVal) }) // 是字符串 则不需要再属性前加vm vm.$watch("firstName", (newVal) => { console.log(newVal) })
在vue中,我们知道数组有七个变异方法(会修改数组自身元素的方法),vue对这七个方法实现了重写,不然正常情况下我们使用这七个方法是没有办法实现响应式更新视图的。
而且对于一个对象,如果我们修改的是对象已经在data中定义好的对象的属性,当然是可以进行响应式更新的,但是,如果我们新增一个属性,视图是没有办法实现响应式更新的。
正常情况下,只有我们让数组属性的值变为一个新数组,或者对象属性变为一个新对象,这样才能让对于没有劫持的数组元素或者对象属性给劫持下来。
// 数组数据响应式更新原理
const vm = new Vue({
data: {
arr: ["海贼王", "火影忍者", "名侦探柯南"],
obj: { name: "张三" }
},
el: "#app",
// 模板编译为虚拟dom的时候,从arr对象取值了 _v(_s(变量)) JSON.stringify()
// 所以对象会收集依赖
template: `
<div id="app">
<ul>
<li>{{arr[0]}}</li>
<li>{{arr[1]}}</li>
<li>{{arr[2]}}</li>
<li>{{obj}}</li>
</ul>
</div>
`
})
setTimeout(() => {
// 这种修改方式无法监控
vm.arr[1] += 1
// 也不会刷新视图
vm.arr.length = 10;
// 7个数组的变异方法可以监控到 因为我们重写了
// 这里并没有改变 arr属性 只是改变了arr这个数组对象
// arr数组对象自身并没有改变(没有变成新数组,地址没改变)
vm.arr.push("12")
vm.obj.age = 22
console.log("1秒后更新。。。",vm.arr,vm.obj)
}, 1000)
所以我们为了能劫持修改数组自身和给对象新增属性等,也可以被Vue劫持,我们需要在数组,对象等引用类型的属性上,也让其自身具有dep,不仅仅是对象的属性,数组的元素等需要被劫持,数组,对象等自身也需要被劫持。
也就是说:不管这个属性是原始类型,还是引用类型,都让其对应一个dep,用来收集依赖。
class Observe {
constructor(data) {
// 让引用数据自身也实现依赖收集 这个dep是放在 data.__ob__ = this 上的
// 也就是说 data.__ob__.dep 并不是 data.dep 所以不会发生重复
this.dep = new Dep();
// 记录this 也是一个标识 如果对象上有了该属性 标识已经被观测
Object.defineProperty(data, "__ob__", {
value: this, // observe的实例
});
// 如果劫持的数据是数组
if (Array.isArray(data)) {
// 重写数组上的7个方法 这7个变异方法是可以修改数组本身的
Object.setPrototypeOf(data, arrayProto);
// 对于数组元素是 引用类型的,需要深度观测的
this.observeArray(data);
} else {
// Object.defineProperty 只能劫持已经存在的属性(vue提供单独的api $set $delete 为了增加新的响应式属性)
this.walk(data);
}
}
/**
* 循环对象 对属性依次劫持 重新‘定义’属性
* @param {*} data
*/
walk(data) {
Object.keys(data).forEach((key) => defineReactive(data, key, data[key]));
}
/**
* 劫持数组元素 是普通原始值不会劫持
* @param {Array} data
*/
observeArray(data) {
data.forEach((item) => observe(item));
}
}
可以看见,修改数组自身的元素,视图也能正常更新。
但是要注意,直接使用arr[index]的方式修改元素,和新增对象还不存在的元素,目前还不能进行视图更新。
也就是说目前只是修改数组自身的7个变异方法,可以劫持到,并且实现视图更新。对于使用下标修改元素和修改数组的长度等,是不能劫持到的。
对于新增属性,需要使用vm.$set()方法新增才能实现劫持。
通过上面的操作,给每个对象的观察者observe都挂上了一个dep,用来收集每个对象自身的依赖。
当我们给对象新增属性的时候,可以observe通知dep更新视图。
setTimeout(() => {
vm.obj.age = 22
vm.obj.__ob__.dep.notify()//$set原理
console.log("1秒后更新。。。",vm.arr,vm.obj)
}, 1000)
$set本质上就是这种原理实现的。
对于数组元素还是数组的这种情况,需要二次侦听。
function dependArray(arr) {
// console.log(arr);
for (let i = 0; i < arr.length; i++) {
const cur = arr[i];
// console.log(cur, cur.__ob__);
// 数组元素可能不是数组了
if (Array.isArray(cur)) {
// 收集依赖
cur.__ob__.dep.depend();
dependArray(cur);
}
}
}
把数组元素循环,对于元素还是数组的情况,让该数组自身也收集依赖。
数据劫持总结:
-
默认vue在初始化的时候 会对对象每一个属性都进行劫持,增加dep属性, 当取值的时候会做依赖收集
-
默认还会对属性值是(对象和数组的本身进行增加dep属性) 进行依赖收集
-
如果是属性变化 触发属性对应的dep去更新
-
如果是数组更新,触发数组的本身的dep 进行更新
-
如果取值的时候是数组还要让数组中的对象类型也进行依赖收集 (递归依赖收集)
-
如果数组里面放对象,默认对象里的属性是会进行依赖收集的,因为在取值时 会进行JSON.stringify操作
diff算法:
在之前的更新中,每次数据更新,在更新视图时,都是完全产生新的虚拟节点,通过新的虚拟节点生成真实节点,用新生成的真实节点替换所有的老节点。
这种方法在页面元素很少的情况下性能销毁倒是无所谓,但是在页面元素特别多情况下,很明显是消耗很大性能的。哪怕我只是修改了一个dom的文本内容,也都需要重新生成一遍所有节点。(因为现在只有一个组件)
第一次渲染的时候,我们会产生虚拟节点,第二次更新我们也会调用render方法产生新的虚拟节点,我们需要对比两次的vnode,找到需要更新的部分进行更新。
对于没有key的情况下:vue会在两个vnode的tag相同的时候,就任务是同一个节点。这种情况下可能会出现错误复用。
<ul>
<li>1</li>
<li>2</li>
<li>3</li>
</ul>
<!--更新后-->
<ul>
<li>2</li>
<li>3</li>
<li>1</li>
</ul>
此时vue只会让第一个节点和第一个节点比较,第二个节点和第二个节点比较。
vue在进行diff的时候(新旧虚拟dom都有子节点数组),维护了一个双指针,来进行比较。
// 我们为了比较两个儿子的时候,提高比较的性能(速度)
/**
* 1. 我们操作列表 经常会有 push pop shift unshift sort reverse 等方法 针对这些情况可以做一些优化
* 2. vue2中采用双指针的方法 比较两个节点
*/
let oldStartIndex = 0,
oldEndIndex = oldChildren.length - 1,
newStartIndex = 0,
newEndIndex = newChildren.length - 1,
oldStartVnode = oldChildren[oldStartIndex],
oldEndVnode = oldChildren[oldEndIndex],
newStartVnode = newChildren[newStartIndex],
newEndVnode = newChildren[newEndIndex];
新旧节点都进行头指针指向的头结点比较。如果两个子节点相同,则会进行复用。
<ul>
<li key="a">1</li>
<li key="b">2</li>
<li key="c">3</li>
</ul>
<!--更新后-->
<ul>
<li key="a">1</li>
<li key="b">2</li>
<li key="d">4</li>
</ul>
此时vue会复用前两个节点(比对后发现前两个节点都不需要更改),只需要在原来的dom元素上追加一个子元素而已。
在头结点进行比较时,发现不是一个节点,则再次比较两个children的尾节点。
<ul>
<li key="a">1</li>
<li key="b">2</li>
<li key="c">3</li>
</ul>
<!--更新后-->
<ul>
<li key="b">2</li>
<li key="c">3</li>
</ul>
在头结点不同,尾节点相同的情况下,会一直比较尾节点,发现相同则复用,到下一轮循环发现头节点还是不一致,继续比对尾节点。此时页面渲染也只是会删除一个旧的dom。
在头结点和尾节点都不同的情况下,去比对旧vnode的头结点和新vnode的尾节点。
<ul>
<li key="a">1</li>
<li key="b">2</li>
<li key="c">3</li>
</ul>
<!--更新后-->
<ul>
<li key="b">2</li>
<li key="c">3</li>
<li key="a">1</li>
</ul>
比较旧vnode的头节点和新vnode的尾节点发现一样,则进行复用,只需要移动dom元素的位置到其应该在的位置即可。
此时会复用这三个节点,只是会把第一个li移动到最后。
比较旧vnode的尾节点和新vnode的头结点,一样则也会复用节点。
<ul>
<li key="a">1</li>
<li key="b">2</li>
<li key="c">3</li>
</ul>
<!--更新后-->
<ul>
<li key="c">3</li>
<li key="b">2</li>
<li key="a">1</li>
</ul>
此时也只是移动三个节点中key为a和c这两个dom元素的位置。
当前面四种情况都不符合,恭喜了,已经没办法优化了,或者说再想办法优化并不是那么划算了。因为这个时候我们已经需要拿新vnode中的每个节点,去和旧vnode中的每个节点依次比对,此时的时间复杂度已经是O(N^2)了。算是很高的复杂度了。
先根据旧节点vnode集合生成一个key和节点所在索引的map。
/**
* 生成映射表
* @param {*} children
* @returns
*/
function makeIndexByKey(children) {
const map = {};
children.forEach((child, index) => (map[child.key] = index));
return map;
}
我们让新vnode的每个节点,都拿出key去这个map中找旧节点的索引,如果找到则可以复用,找不到则需要创建新的dom元素然后插入到指定位置;如果找到了,则移动这个节点到指定位置,并且标识当前节点已经使用。
const map = makeIndexByKey(oldChildren);
// ...
// 乱序比对 a b c -> d e a b f
/**
* 根据老的列表做一个映射关系,用新的去找,找到则移动节点,找不到就新增节点,最后移除多余节点
*/
// 如有值:则是需要移动的节点的索引
let moveIndex = map[newStartVnode.key];
if (moveIndex !== undefined) {
const moveVnode = oldChildren[moveIndex];
// 移动节点到头指针所在节点的前面
insertBefore(el, moveVnode, oldStartVnode.el);
// 标识这个节点已经移动过
oldChildren[moveIndex] = undefined;
patchVnode(moveVnode, newStartVnode);
} else {
// 找不到 这是新节点 创建 然后插入进去 完事
insertBefore(el, createEle(newStartVnode), oldStartVnode.el);
}
newStartVnode = newChildren[++newStartIndex];
此时,就完成了所有diff算法的步骤。
<ul>
<li key="a">1</li>
<li key="b">2</li>
<li key="c">3</li>
<li key="d">4</li>
</ul>
<ul>
<li key="g">6</li>
<li key="f">5</li>
<li key="h">7</li>
<li key="a">1</li>
<li key="c">3</li>
<li key="b">2</li>
</ul>
这种复杂的也能实现dom复用了。
此时对于key来说,是不能出现重复的。否则会报错。
**核心代码:**大概一百行左右吧。
function patchVnode(oldVNode, vnode) {
/**
* 1. 两个节点不是同一个节点,直接删除老的换上新的(不在继续对比属性等)
* 2. 两个节点是同一个节点(tag,key都一致),比较两个节点的属性是否有差异
* 复用老节点,将差异的属性更新
*/
const el = oldVNode.el;
// 不是同一个节点
if (!isSameVNode(oldVNode, vnode)) {
// tag && key
// 直接替换
const newEl = createEle(vnode);
replaceChild(el.parentNode, newEl, el);
return newEl;
}
// 文本的情况 文本我们期望比较一下文本的内容
vnode.el = el;
if (!oldVNode.tag) {
if (oldVNode.text !== vnode.text) {
textContent(el, vnode.text);
}
}
// 是标签 我们需要比对标签的属性
patchProps(el, oldVNode.props, vnode.props);
// 有子节点
/**
* 1.旧节点有子节点 新节点没有
* 2. 都有子节点
* 3. 旧节点没有子节点,新节点有
*/
const oldChildren = oldVNode.children || [];
const newChildren = vnode.children || [];
const oldLen = oldChildren.length,
newLen = newChildren.length;
if (oldLen && newLen) {
// 完整的diff 都有子节点
updateChildren(el, oldChildren, newChildren);
} else if (newLen) {
// 只有新节点有子节点 挂载
mountChildren(el, newChildren);
} else if (oldLen) {
// 只有旧节点有子节点 全部卸载
unmountChildren(el, oldChildren);
}
return el;
}
/**
* 对比更新子节点
* @param {*} el
* @param {*} oldChildren
* @param {*} newChildren
*/
// TODO 对于出现重复的key,有bug,还未修复。。。。
function updateChildren(el, oldChildren, newChildren) {
// 我们为了比较两个儿子的时候,提高比较的性能(速度)
/**
* 1. 我们操作列表 经常会有 push pop shift unshift sort reverse 等方法 针对这些情况可以做一些优化
* 2. vue2中采用双指针的方法 比较两个节点
*/
let oldStartIndex = 0,
oldEndIndex = oldChildren.length - 1,
newStartIndex = 0,
newEndIndex = newChildren.length - 1,
oldStartVnode = oldChildren[oldStartIndex],
oldEndVnode = oldChildren[oldEndIndex],
newStartVnode = newChildren[newStartIndex],
newEndVnode = newChildren[newEndIndex];
// 乱序比较时 使用的映射表 {key:"节点在数组中的索引"} -> {a:0,b:1,...}
const map = makeIndexByKey(oldChildren);
// 循环比较 只要头指针不超过尾指针 就一直比较
while (oldStartIndex <= oldEndIndex && newStartIndex <= newEndIndex) {
// 排除 undefined 的情况
if (!oldStartVnode) oldStartVnode = oldChildren[++oldStartIndex];
if (!oldEndVnode) oldEndVnode = oldChildren[--oldStartIndex];
/**
* 1. old head -> new head
* 2. old tail -> new tail
* 3. old head -> new tail
* 4. old tail -> new head
*/
// 进行节点比较
else if (isSameVNode(oldStartVnode, newStartVnode)) {
// 头结点相同
// 从头指针开始比较两个节点
// 相同节点 递归比较子节点
patchVnode(oldStartVnode, newStartVnode);
oldStartVnode = oldChildren[++oldStartIndex];
newStartVnode = newChildren[++newStartIndex];
} else if (isSameVNode(oldEndVnode, newEndVnode)) {
// 尾节点相同
// 从尾指针开始比较两个节点
patchVnode(oldEndVnode, newEndVnode);
oldEndVnode = oldChildren[--oldEndIndex];
newEndVnode = newChildren[--newEndIndex];
}
// 交叉比对 两次头尾比较
// a b c -> c a b 把尾节点移动到头结点之前
else if (isSameVNode(oldEndVnode, newStartVnode)) {
patchVnode(oldEndVnode, newStartVnode);
console.log(oldEndVnode, newStartVnode);
// 将老节点的尾节点插入到老节点头结点(头结点会变化)的前面去
insertBefore(el, oldEndVnode.el, oldStartVnode.el);
oldEndVnode = oldChildren[--oldEndIndex];
newStartVnode = newChildren[++newStartIndex];
}
// a b c d -> d c b a 头结点移动到尾节点后面
else if (isSameVNode(oldStartVnode, newEndVnode)) {
patchVnode(oldStartVnode, newEndVnode);
insertBefore(el, oldStartVnode.el, oldEndVnode.el.nextSibling);
oldStartVnode = oldChildren[++oldStartIndex];
newEndVnode = newChildren[--newEndIndex];
} else {
// 乱序比对 a b c -> d e a b f
/**
* 根据老的列表做一个映射关系,用新的去找,找到则移动节点,找不到就新增节点,最后移除多余节点
*/
// 如有值:则是需要移动的节点的索引
let moveIndex = map[newStartVnode.key];
if (moveIndex !== undefined) {
const moveVnode = oldChildren[moveIndex];
// 移动节点到头指针所在节点的前面
insertBefore(el, moveVnode, oldStartVnode.el);
// 标识这个节点已经移动过
oldChildren[moveIndex] = undefined;
patchVnode(moveVnode, newStartVnode);
} else {
// 找不到 这是新节点 创建 然后插入进去 完事
insertBefore(el, createEle(newStartVnode), oldStartVnode.el);
}
newStartVnode = newChildren[++newStartIndex];
}
}
// 新节点的比旧节点多 挂载
if (newStartIndex <= newEndIndex) {
for (let i = newStartIndex; i <= newEndIndex; i++) {
// 这里可能是向后追加 也可能是向前插入
// 判断当前的虚拟dom后面是否还有节点 有节点则是插入到该节点前面
const anchor = newChildren[newEndIndex + 1]?.el;
// 注意:插入方法在 要插入的那个节点不存在的情况下,自动变为追加方法 appendChild
insertBefore(el, createEle(newChildren[i]), anchor);
}
}
// 旧节点比新节点多 卸载
if (oldStartIndex <= oldEndIndex) {
for (let i = oldStartIndex; i <= oldEndIndex; i++) {
// 乱序比对时 可能已经标记为 undefined了
oldChildren[i] && removeChild(el, oldChildren[i].el);
}
}
}
/**
* 生成映射表
* @param {*} children
* @returns
*/
function makeIndexByKey(children) {
const map = {};
children.forEach((child, index) => (map[child.key] = index));
return map;
}
直接将新节点替换老节点,很消耗性能,所以我们不直接替换,而是在比较两个节点之间的区别之后在替换,这就是diff算法。
diff算是 是一个平级比较的过程,父亲和父亲节点比对 儿子和儿子节点比对。
我们在比较两个虚拟dom是否一致的时候,是根据虚拟dom的标签名和key值来进行比较的。如果没有key,相当于只要标签名一致,我我们就认为这两个虚拟节点是一样的,然后判断其子元素...
当我们在遍历动态列表,给其增加key的时候,要尽量避免使用索引作为key,因为两次的虚拟dom的key都是从0开始的,可能会发生错误复用。
注意:在vue和react中,我们说的key要唯一,实际上是在同级的vnode情况下(也就是兄弟节点这些),并不意味着key需要全局唯一。
Vue中,一般一个项目只有一个根组件,也就是 new Vue产生的app。
但是一个页面不可能只由一个组件构成,很明显我们需要实现自定义组件。
vue中提供了两种自定义组件的方式:
- 全局组件
- 局部组件
组件的使用流程:
在任意一个组件中,都可以使用其他组件。当我们在一个组件中使用其他组件的时候,会先去组件内部的局部组件中找是否定义过该组件,如果定义了,则直接使用该局部组件;如果没有定义局部组件,则去全局组件中寻找(和js中的原型,原型链很像了)。所以vue内部很可能也是利用类似于继承的这种模型实现组件的定义的。
其实vue内部在定义组件的时候,表面上我们是传递了一个对象:
Vue.component("cmp",{
//...
})
实际上这个对象内部也会被Vue.extend给包裹,变成子类
.
Vue.component("cmp",Vue.extend({
//...
}))
- 自定义标签
- 组件有自己的属性和事件
- 组件的插槽
既然组件的实现内部还是需要调用extend方法,那么就先把extend实现出来。
**用法:**使用基础 Vue 构造器,创建一个“子类”。参数是一个包含组件选项的对象。
实现:
这个实现就不难了:不过就是实现一个构造函数,让该函数继承Vue而已。就是组合式继承。
/**
* 使用基础 Vue 构造器,创建一个“子类”。参数是一个包含组件选项的对象。
* 返回值是一个构造函数 通过new可以创建一个vue组件实例
* @param {{data:Function,el:string}} options
* @returns
*/
Vue.extend = function (options) {
// 组合式继承 Vue
function Sub(options = {}) {
// 最终使用的组件 就是 new 一个实例
this._init(options);
}
Sub.prototype = Object.create(Vue.prototype);
Object.defineProperty(Sub.prototype, "constructor", {
value: Sub,
writable: true,
configurable: true,
});
Sub.options = options; // 保存用户传递的选项
return Sub;
};
参数:
- id: string
- definition?: Function | object
**用法:**注册或获取全局组件。注册还会自动使用给定的 id
设置组件的名称
// 注册组件,传入一个扩展过的构造器
Vue.component('my-component', Vue.extend({ /* ... */ }))
// 注册组件,传入一个选项对象 (自动调用 Vue.extend)
Vue.component('my-component', { /* ... */ })
// 获取注册的组件 (始终返回构造器)
var MyComponent = Vue.component('my-component')
实现:
// 维护一个 全局组件对象
Vue.options.components = {};
/**
* 定义或者获取全局组件 没有获取到组件时 返回 undefined
* @param {string} id
* @param {Function | object} definition
*/
Vue.component = function component(id, definition) {
// 获取全局组件
if (!definition) return Vue.options[id];
// 如果 definition 是一个函数,说明用户自己调用了 Vue.extend
// 不是函数 就用 extend函数包装一下
!isFunction(definition) && (definition = Vue.extend(definition));
Vue.options.components[id] = definition;
};
实现全局的组件注册并不难,其核心还是利用了extend方法。
对于一个组件中,我们如果使用了一个其他组件,且在全局和局部都注册了一个同名的组件,那么我们会优先使用哪个?vue中会优先使用组件内部注册的局部组件。
我们在处理创建组件时的配置的时候,要维护一下:components:{"btn":{}}.__proto__ -> Vue.options.components
const Cmp = Vue.extend({
template: `<div>
<h2>你好!{{name}}</h2>
<btn/>
</div>`,
components:{
btn:{
template:`<button>局部button</button>`
}
}
});
Vue.component("btn",{
template:`<button>全局button</button>`
})
const cmp = new Cmp({
data: {
name: "张三"
}
})
cmp.$mount("#app")
我们需要修改一下当时extend和合并选项的部分代码实现:
**不过这样还是有一些小bug,我觉得这样实现就更加完美了。**不过在vue中的实现方式还是上面那种。
把合并策略再次修改一下:
strategy.components = function (parentVal, childVal) {
// 已经和全局组件对象创建关系了,则不需要再次建立关系 直接返回
if (Object.getPrototypeOf(parentVal) === Vue.options.components)
return parentVal;
// 通过父亲 创建一个对象 原型上有父亲的所有属性和方法
const res = Object.create(parentVal); // {}.__proto__ = parentVal
if (childVal) {
for (const key in childVal) {
// 拿到所有的孩子的属性和方法
res[key] = childVal[key];
}
}
return res;
};
实现了组件的寻找规则,接下来只需要在组件的模板解析时,去寻找组件并渲染子组件。
之前我们都是模板生成ast以后,然后生成虚拟dom,下一步就是比对节点生成真实dom了。
但是当我们引入组件以后,就需要对元素再次分类,分类出组件的虚拟节点和其他的普通节点。
我们需要在生成vnode的时候,判断出该标签是原始标签还是自定义组件的标签。
一个朴素无华的操作就是判断此tag是否是所有原始标签的一种。。。
const ReservedTags = [
"div",
"h1",
"h2",
"h3",
"h4",
"h5",
"h6",
"span",
"ul",
"ol",
"li",
"a",
"table",
"button",
"input",
];
const isReservedTag = (tag) => {
return ReservedTags.includes(tag);
};
Vue.component的作用就是进行组件的全局定义而已。把id和definition对应。让 Vue.options.componnets[id] = definition。只是如果definition是对象的情况下,会帮我们使用extend进行包裹成构造函数(Vue子类)。
- Vue.extend返回值就是一个Vue子类,一个继承了父类Vue的构造函数。(为什么Vue的组件中的data不能是一个对象呢?)
Vue.extend({
data:{}
})
我们在实例化这个返回的子类的时候,也就是 new Sub,会调用父亲Vue上的_init方法,然后在该方法的内部,又会进行mergeOptions合并选项的操作。也就是每次合并选项,都会把子类上的options都拿一份放到实例自己的$options上。如果data是一个对象,那么每次都会把data的引用放到实例对象自己身上。
多个子类实例会共享一个Sub上的options.data。但是如果data是一个函数,我们虽然也是直接把data放到实例对象的身上,但是在初始化属性拦截数据的时候,发现data是一个函数的情况下,我们会执行这个函数,拿到真正的data数据。每次执行函数返回的都是一个全新的对象,哪怕每个对象的所有属性都一样,但是他们直接不会相互影响。
在创建子类的构造函数的时候,会把全局的组件和自己身上定义的组件进行合并(组件的合并规则,先找自己身上是否有该组件,没有的情况下,然后去全局查找)
组件的渲染:
开始渲染的组件会编译组件的模板,变成render函数。然后调用render方法。
createElementVNode会根据tag类型来区分否是普通节点和组件节点。
对于组件节点:我们在创建的时候,会给一个标识,包含组件的构造函数。且在data中增加一个初始化的init钩子。
稍后在创建组件对应的真实节点的时候,只需要new Ctor即可。
创建真实节点:
在创建真实节点的时候,也就是在createEle方法内部,我们可以调用createComponent方法来创建组件。如果是组件,当然就会调用上面创建组件的虚拟节点的时候,插入的init的hook。然后返回组件生成的$el;不是组件当然也无伤大雅,会不满足组件的条件,正常往普通组件的流程往下走。
function createComponent(vnode) {
// init 初始化组件
vnode.props?.hook?.init(vnode);
return vnode.componentInstance;
}
所以到此为止,就实现了组件的渲染流程。
- 安装源码依赖 npm install
- npm run dev是否可以打包成功
代码结构: