深入Vue2.0底層思想–模板渲染
初衷
在使用vue2.0的過(guò)程，有時(shí)看API很難理解vue作者的思想，這促使我想要去深入了解vue底層的思想，了解完底層的一些思想，才能更好的用活框架，雖然網(wǎng)上已經(jīng)有很多源碼解析的文檔，但我覺(jué)得只有自己動(dòng)手了，才能更加深印象。
vue2.0和1.0模板渲染的區(qū)別
Vue 2.0 中模板渲染與 Vue 1.0 完全不同，1.0 中采用的 DocumentFragment (想了解可以觀看這篇文章)，而 2.0 中借鑒 React 的 Virtual DOM。基于 Virtual DOM，2.0 還可以支持服務(wù)端渲染(SSR)，也支持 JSX 語(yǔ)法。
知識(shí)普及
在開(kāi)始閱讀源碼之前，先了解一些相關(guān)的知識(shí)：AST 數(shù)據(jù)結(jié)構(gòu)，VNode 數(shù)據(jù)結(jié)構(gòu)，createElement 的問(wèn)題，render函數(shù)。
AST 數(shù)據(jù)結(jié)構(gòu)
AST 的全稱是 Abstract Syntax Tree(抽象語(yǔ)法樹(shù))，是源代碼的抽象語(yǔ)法結(jié)構(gòu)的樹(shù)狀表現(xiàn)形式，計(jì)算機(jī)學(xué)科中編譯原理的概念。而vue就是將模板代碼映射為AST數(shù)據(jù)結(jié)構(gòu)，進(jìn)行語(yǔ)法解析。
我們看一下 Vue 2.0 源碼中 AST 數(shù)據(jù)結(jié)構(gòu) 的定義：
- declare type ASTNode = ASTElement | ASTText | ASTExpression
- declare type ASTElement = { // 有關(guān)元素的一些定義
- type: 1;
- tag: string;
- attrsList: Array{ name: string; value: string }>;
- attrsMap: { [key: string]: string | null };
- parent: ASTElement | void;
- children: ArrayASTNode>;
- //......
- }
- declare type ASTExpression = {
- type: 2;
- expression: string;
- text: string;
- static?: boolean;
- }
- declare type ASTText = {
- type: 3;
- text: string;
- static?: boolean;
- }
我們看到 ASTNode 有三種形式：ASTElement，ASTText，ASTExpression。用屬性 type 區(qū)分。
VNode數(shù)據(jù)結(jié)構(gòu)
下面是 Vue 2.0 源碼中 VNode 數(shù)據(jù)結(jié)構(gòu) 的定義 (帶注釋的跟下面介紹的內(nèi)容有關(guān))：
- constructor {
- this.tag = tag //元素標(biāo)簽
- this.data = data //屬性
- this.children = children //子元素列表
- this.text = text
- this.elm = elm //對(duì)應(yīng)的真實(shí) DOM 元素
- this.ns = undefined
- this.context = context
- this.functionalContext = undefined
- this.key = data && data.key
- this.componentOptions = componentOptions
- this.componentInstance = undefined
- this.parent = undefined
- this.raw = false
- this.isStatic = false //是否被標(biāo)記為靜態(tài)節(jié)點(diǎn)
- this.isRootInsert = true
- this.isComment = false
- this.isCloned = false
- this.isOnce = false
- }
真實(shí)DOM存在什么問(wèn)題，為什么要用虛擬DOM
我們?yōu)槭裁床恢苯邮褂迷?DOM 元素，而是使用真實(shí) DOM 元素的簡(jiǎn)化版 VNode，最大的原因就是 document.createElement 這個(gè)方法創(chuàng)建的真實(shí) DOM 元素會(huì)帶來(lái)性能上的損失。我們來(lái)看一個(gè) document.createElement 方法的例子
- let div = document.createElement('div');
- for(let k in div) {
- console.log(k);
- }
打開(kāi) console 運(yùn)行一下上面的代碼，會(huì)發(fā)現(xiàn)打印出來(lái)的屬性多達(dá) 228 個(gè)，而這些屬性有 90% 多對(duì)我們來(lái)說(shuō)都是無(wú)用的。VNode 就是簡(jiǎn)化版的真實(shí) DOM 元素，關(guān)聯(lián)著真實(shí)的dom，比如屬性elm，只包括我們需要的屬性，并新增了一些在 diff 過(guò)程中需要使用的屬性，例如 isStatic。
render函數(shù)
這個(gè)函數(shù)是通過(guò)編譯模板文件得到的，其運(yùn)行結(jié)果是 VNode。render 函數(shù) 與 JSX 類(lèi)似，Vue 2.0 中除了 Template 也支持 JSX 的寫(xiě)法。大家可以使用 Vue.compile(template)方法編譯下面這段模板。
- div id="app">
- header>
- h1>I am a template!/h1>
- /header>
- p v-if="message">
- {{ message }}
- /p>
- p v-else>
- No message.
- /p>
- /div>
方法會(huì)返回一個(gè)對(duì)象，對(duì)象中有 render 和 staticRenderFns 兩個(gè)值。看一下生成的 render函數(shù)
- (function() {
- with(this){
- return _c('div',{ //創(chuàng)建一個(gè) div 元素
- attrs:{"id":"app"} //div 添加屬性 id
- },[
- _m(0), //靜態(tài)節(jié)點(diǎn) header，此處對(duì)應(yīng) staticRenderFns 數(shù)組索引為 0 的 render 函數(shù)
- _v(" "), //空的文本節(jié)點(diǎn)
- (message) //三元表達(dá)式，判斷 message 是否存在
- //如果存在，創(chuàng)建 p 元素，元素里面有文本，值為 toString(message)
- ?_c('p',[_v("\n "+_s(message)+"\n ")])
- //如果不存在，創(chuàng)建 p 元素，元素里面有文本，值為 No message.
- :_c('p',[_v("\n No message.\n ")])
- ]
- )
- }
- })
要看懂上面的 render函數(shù)，只需要了解 _c，_m，_v，_s 這幾個(gè)函數(shù)的定義，其中 _c 是 createElement(創(chuàng)建元素)，_m 是 renderStatic(渲染靜態(tài)節(jié)點(diǎn))，_v 是 createTextVNode(創(chuàng)建文本dom)，_s 是 toString (轉(zhuǎn)換為字符串)
除了 render 函數(shù)，還有一個(gè) staticRenderFns 數(shù)組，這個(gè)數(shù)組中的函數(shù)與 VDOM 中的 diff 算法優(yōu)化相關(guān)，我們會(huì)在編譯階段給后面不會(huì)發(fā)生變化的 VNode 節(jié)點(diǎn)打上 static 為 true 的標(biāo)簽，那些被標(biāo)記為靜態(tài)節(jié)點(diǎn)的 VNode 就會(huì)單獨(dú)生成 staticRenderFns 函數(shù)
- (function() { //上面 render 函數(shù) 中的 _m(0) 會(huì)調(diào)用這個(gè)方法
- with(this){
- return _c('header',[_c('h1',[_v("I'm a template!")])])
- }
- })
模板渲染過(guò)程(重要的函數(shù)介紹)
了解完一些基礎(chǔ)知識(shí)后，接下來(lái)我們講解下模板的渲染過(guò)程
$mount 函數(shù)，主要是獲取 template，然后進(jìn)入 compileToFunctions 函數(shù)。
compileToFunctions 函數(shù)，主要將 template 編譯成 render 函數(shù)。首先讀緩存，沒(méi)有緩存就調(diào)用 compile 方法拿到 render 函數(shù) 的字符串形式，再通過(guò) new Function 的方式生成 render 函數(shù)。
- // 有緩存的話就直接在緩存里面拿
- const key = options && options.delimiters
- ? String(options.delimiters) + template
- : template
- if (cache[key]) {
- return cache[key]
- }
- const res = {}
- const compiled = compile(template, options) // compile 后面會(huì)詳細(xì)講
- res.render = makeFunction(compiled.render) //通過(guò) new Function 的方式生成 render 函數(shù)并緩存
- const l = compiled.staticRenderFns.length
- res.staticRenderFns = new Array(l)
- for (let i = 0; i l; i++) {
- res.staticRenderFns[i] = makeFunction(compiled.staticRenderFns[i])
- }
- ......
- }
- return (cache[key] = res) // 記錄至緩存中
compile 函數(shù)就是將 template 編譯成 render 函數(shù)的字符串形式，后面一小節(jié)我們會(huì)詳細(xì)講到。
完成render方法的生成后，會(huì)進(jìn)入 _mount 中進(jìn)行DOM更新。該方法的核心邏輯如下：
- // 觸發(fā) beforeMount 生命周期鉤子
- callHook(vm, 'beforeMount')
- // 重點(diǎn)：新建一個(gè) Watcher 并賦值給 vm._watcher
- vm._watcher = new Watcher(vm, function updateComponent () {
- vm._update(vm._render(), hydrating)
- }, noop)
- hydrating = false
- // manually mounted instance, call mounted on self
- // mounted is called for render-created child components in its inserted hook
- if (vm.$vnode == null) {
- vm._isMounted = true
- callHook(vm, 'mounted')
- }
- return vm
首先會(huì)new一個(gè)watcher對(duì)象(主要是將模板與數(shù)據(jù)建立聯(lián)系)，在watcher對(duì)象創(chuàng)建后，會(huì)運(yùn)行傳入的方法 vm._update(vm._render(), hydrating) 。其中的vm._render()主要作用就是運(yùn)行前面compiler生成的render方法，并返回一個(gè)vNode對(duì)象。vm.update() 則會(huì)對(duì)比新的 vdom 和當(dāng)前 vdom，并把差異的部分渲染到真正的 DOM 樹(shù)上。
推薦個(gè)圖，響應(yīng)式工程流程
(想深入了解watcher的背后實(shí)現(xiàn)原理的，可以觀看這篇文章 Vue2.0 源碼閱讀：響應(yīng)式原理)
compile
上文中提到 compile 函數(shù)就是將 template 編譯成 render 函數(shù) 的字符串形式。
- export function compile (
- template: string,
- options: CompilerOptions
- ): CompiledResult {
- const AST = parse(template.trim(), options) //1. parse
- optimize(AST, options) //2.optimize
- const code = generate(AST, options) //3.generate
- return {
- AST,
- render: code.render,
- staticRenderFns: code.staticRenderFns
- }
- }
這個(gè)函數(shù)主要有三個(gè)步驟組成：parse，optimize 和 generate，分別輸出一個(gè)包含 AST，staticRenderFns 的對(duì)象和 render函數(shù) 的字符串。
parse 函數(shù)，主要功能是將 template字符串解析成 AST。前面定義了ASTElement的數(shù)據(jù)結(jié)構(gòu)，parse 函數(shù)就是將template里的結(jié)構(gòu)(指令，屬性，標(biāo)簽等)轉(zhuǎn)換為AST形式存進(jìn)ASTElement中，最后解析生成AST。
optimize 函數(shù)(src/compiler/optimizer.js)主要功能就是標(biāo)記靜態(tài)節(jié)點(diǎn)，為后面 patch 過(guò)程中對(duì)比新舊 VNode 樹(shù)形結(jié)構(gòu)做優(yōu)化。被標(biāo)記為 static 的節(jié)點(diǎn)在后面的 diff 算法中會(huì)被直接忽略，不做詳細(xì)的比較。
generate 函數(shù)(src/compiler/codegen/index.js)主要功能就是根據(jù) AST 結(jié)構(gòu)拼接生成 render 函數(shù)的字符串。
- const code = AST ? genElement(AST) : '_c("div")'
- staticRenderFns = prevStaticRenderFns
- onceCount = prevOnceCount
- return {
- render: `with(this){return ${code}}`, //最外層包一個(gè) with(this) 之后返回
- staticRenderFns: currentStaticRenderFns
- }
其中 genElement 函數(shù)(src/compiler/codegen/index.js)是會(huì)根據(jù) AST 的屬性調(diào)用不同的方法生成字符串返回。
- function genElement (el: ASTElement): string {
- if (el.staticRoot && !el.staticProcessed) {
- return genStatic(el)
- } else if (el.once && !el.onceProcessed) {
- return genOnce(el)
- } else if (el.for && !el.forProcessed) {
- return genFor(el)
- } else if (el.if && !el.ifProcessed) {
- return genIf(el)
- } else if (el.tag === 'template' && !el.slotTarget) {
- return genChildren(el) || 'void 0'
- } else if (el.tag === 'slot') {
- }
- return code
- }
- }
以上就是 compile 函數(shù)中三個(gè)核心步驟的介紹，compile 之后我們得到了 render 函數(shù) 的字符串形式，后面通過(guò) new Function 得到真正的渲染函數(shù)。數(shù)據(jù)發(fā)現(xiàn)變化后，會(huì)執(zhí)行 Watcher 中的 _update 函數(shù)(src/core/instance/lifecycle.js)，_update 函數(shù)會(huì)執(zhí)行這個(gè)渲染函數(shù)，輸出一個(gè)新的 VNode 樹(shù)形結(jié)構(gòu)的數(shù)據(jù)。然后在調(diào)用 patch 函數(shù)，拿這個(gè)新的 VNode 與舊的 VNode 進(jìn)行對(duì)比，只有發(fā)生了變化的節(jié)點(diǎn)才會(huì)被更新到真實(shí) DOM 樹(shù)上。
patch
patch.js 就是新舊 VNode 對(duì)比的 diff 函數(shù)，主要是為了優(yōu)化dom，通過(guò)算法使操作dom的行為降到最低，diff 算法來(lái)源于 snabbdom，是 VDOM 思想的核心。snabbdom 的算法為了 DOM 操作跨層級(jí)增刪節(jié)點(diǎn)較少的這一目標(biāo)進(jìn)行優(yōu)化，它只會(huì)在同層級(jí)進(jìn)行, 不會(huì)跨層級(jí)比較。
想更加深入VNode diff算法原理的，可以觀看(解析vue2.0的diff算法)
總結(jié)
- compile 函數(shù)主要是將 template 轉(zhuǎn)換為 AST，優(yōu)化 AST，再將 AST 轉(zhuǎn)換為 render函數(shù);
- render函數(shù) 與數(shù)據(jù)通過(guò) Watcher 產(chǎn)生關(guān)聯(lián);
- 在數(shù)據(jù)發(fā)生變化時(shí)調(diào)用 patch 函數(shù)，執(zhí)行此 render 函數(shù)，生成新 VNode，與舊 VNode 進(jìn)行 diff，最終更新 DOM 樹(shù)。
