理解vue实现原理，实现一个简单的Vue框架

原文地址：http://blog.csdn.net/pur_e/article/details/53066275

      其实对JS我研究不是太深，用过很多次，但只是实现功能就算了。最近JS实在是太火，从前端到后端，应用越来越广泛，各种框架层出不穷，忍不住也想赶一下潮流。        Vue是近年出的一个前端构建数据驱动的web界面的库，主要的特色是响应式的数据绑定，区别于以往的命令式用法。也就是在var a=1;的过程中，拦截’=’的过程，从而实现更新数据，web视图也自动同步更新的功能。而不需要显式的使用数据更新视图（命令式）。这种用法我最早是在VC MFC中见过的，控件绑定变量，修改变量的值，输入框也同步改变。        Vue的官方文档，网上的解析文章都很详细，不过出于学习的目的，还是了解原理后，自己实现一下记忆深刻，同时也可以学习下Js的一些知识。搞这行的，一定要多WTFC(Write The Fucking Code)。

一、思考设计

       其实这里的思考是在看过几篇文章、看过一些源码后补上的，所以有的地方会有上帝视角的意思。但是这个过程是必须的，以后碰到问题就会有思考的方向。        先看看我们想要实现什么功能，以及现在所具有的条件： 效果图如下： 

使用Vue框架代码如下：

然后我们还知道一个条件，Vue的官方文档所说的：

把一个普通对象传给 Vue 实例作为它的 data 选项，Vue.js 将遍历它的属性，用 Object.definePRoperty 将它们转为 getter/setter。这是 ES5 特性，不能打补丁实现，这便是为什么 Vue.js 不支持 IE8 及更低版本。

用这个特性实现这样的功能，我们需要做什么呢？

首先，需要利用Object.defineProperty，将要观察的对象，转化成getter/setter，以便拦截对象赋值与取值操作，称之为Observer；需要将DOM解析，提取其中的指令与占位符，并赋与不同的操作，称之为Compiler；需要将Compile的解析结果，与Observer所观察的对象连接起来，建立关系，在Observer观察到对象数据变化时，接收通知，同时更新DOM，称之为Watcher；最后，需要一个公共入口对象，接收配置，协调上述三者，称为Vue;

二、实现Observer

1.转化getter/setter

       本来以为实现起来很简单，结果只是转换为getter和setter就碰到了很多问题。原来对JS真得是只知道点皮毛啊……

开始Observer.js代码如下：

/** Observer是将输入的Plain Object进行处理,利用Object.defineProperty转化为getter与setter,从而在赋值与取值时进行拦截 这是Vue响应式框架的基础 */function isObject(obj){ return obj != null && typeof(obj) == 'object';}function isPlainObject(obj){ return Object.prototype.toString(obj) == '[object Object]';}function observer(data){ if(!isObject(data) || !isPlainObject(data)){ return; } return new Observer(data);}var Observer = function(data){ this.data = data; this.transform(data);};Observer.prototype.transform = function(data){ for(var key in data){ var value = data[key]; Object.defineProperty(data,key,{ enumerable:true, configurable:true, get:function(){ console.log("intercept get:"+key); return value; }, set:function(newVal){ console.log("intercept set:"+key); if(newVal == value){ return; } data[key] = newVal; } }); //递归处理 this.transform(value); }};12345678910111213141516171819202122232425262728293031323334353637383940414243444546471234567891011121314151617181920212223242526272829303132333435363738394041424344454647

index.html:

<script src="src/Observer.js"></script><div id="msg"> <p>{{message}}</p> <p><input type="text" v-model="message"/></p> <p>{{message}}</p> <p><button type="button" v-on:click="clickBtn">click me</button></p></div><script> var a = { b:{c:1}, d:2 }; observer(a); a.d = 3;</script>1234567891011121314151612345678910111213141516

浏览器执行直接死循环栈溢出了，问题出在set函数里，有两个问题：

set:function(newVal){ console.log("intercept set:"+key); if(newVal == value){ return; } //这里，通过data[key]来赋值，因为我们对data对象进行了改造，set中又会调用set函数，就会递归调用，死循环 //而上面本来用来判断相同赋值不进行处理的逻辑，也因为value的值没有改变，没有用到。很低级的错误！ data[key] = newVal;}123456789123456789

修改为value = newVal可以吗？为什么可以这样修改，因为JS作用域链的存在，value对于这个匿名对象来说，是如同全局变量的存在，在set中修改后，在get中也可正常返回修改后的值。

但是仅仅这样是不够的，因为一个很常见的错误，在循环中建立的匿名对象，使用外部变量用的是循环最终的值！！！

还是作用域链的原因，匿名对象使用外部变量，不是保留这个变量的值，而是延长外部变量的生命周期，在该销毁时也不销毁（所以容易形成内存泄露），所以匿名对象被调用时，用的外部变量的值，是取决于变量在这个时刻的值（一般是循环执行完的最终值，因为循环结束后才有匿名函数调用）。

所以，打印a.d的值，将会是2

所以，最终通过新建函数的形式，Observer.js如下：

Observer.prototype.transform = function(data){ for(var key in data){ this.defineReactive(data,key,data[key]); }};Observer.prototype.defineReactive = function(data,key,value){ var dep = new Dep(); Object.defineProperty(data,key,{ enumerable:true, configurable:false, get:function(){ console.log("intercept get:"+key); if(Dep.target){ //JS的浏览器单线程特性，保证这个全局变量在同一时间内，只会有同一个监听器使用 dep.addSub(Dep.target); } return value; }, set:function(newVal){ console.log("intercept set:"+key); if(newVal == value){ return; } //利用闭包的特性,修改value,get取值时也会变化 //不能使用data[key]=newVal //因为在set中继续调用set赋值，引起递归调用 value = newVal; //监视新值 observer(newVal); dep.notify(newVal); } }); //递归处理 observer(value);};123456789101112131415161718192021222324252627282930313233343536373839123456789101112131415161718192021222324252627282930313233343536373839

2.监听队列

       现在我们已经可以拦截对象的getter/setter，也就是对象的赋值与取值时我们都会知道，知道后需要通知所有监听这个对象的Watcher，数据发生了改变，需要进行更新DOM等操作，所以我们需要维护一个监听队列，所有对该对象有兴趣的Watcher注册进来，接收通知。这一部分之前看了Vue的实现，感觉也不会有更巧妙的实现方式了，所以直接说一下实现原理。

首先，我们拦截了getter；我们要为a.d添加Wacher监听者tmpWatcher；将一个全局变量赋值target=tmpWatcher；取值a.d，也就调用到了a.d的getter；在a.d的getter中，将target添加到监听队列中；target = null;

       就是这么简单，至于为什么可以这样做，是因为JS在浏览器中是单线程执行的！！所以在执行这个监听器的添加过程时，决不会有其他的监听器去修改全局变量target！！所以这也算是因地制宜吗0_0

       详细代码可以去看github中源码的实现，在Observer.js中。当然他还有比较复杂的依赖、剔重等逻辑，我这里只是简单实现一个。

var Dep = function(){ this.subs = {};};Dep.prototype.addSub = function(target){ if(!this.subs[target.uid]) { //防止重复添加 this.subs[target.uid] = target; }};Dep.prototype.notify = function(newVal){ for(var uid in this.subs){ this.subs[uid].update(newVal); }};Dep.target = null;123456789101112131415123456789101112131415

三.实现Compiler

       这里，是在看过DMQ的源码后，自己实现的一份代码，因为对JS不太熟悉，犯了一些小错误。果然学习语言的最好方式就是去写~_~，之后，对JS的理解又加深了不少。        又因为想要实现的深入一点，也就是不只是单纯的变量占位符如{{a}}，而是表达式如{{a+Math.PI+b+fn(a)}}，想不出太好的办法，又去翻阅了Vue的源码实现，发现Vue的实现其实也不怎么优雅，但确实也没有更好的办法。有时候，不得不写出这种代码，如枚举所有分支，是最简单、最直接，也往往是最好的方法。

1.最简单的实现

       也就是纯的变量占位，这个大家都想得到，用正则分析占位符，将这个变量添加监听，与前面建立的setter/getter建立关系即可。

2.进阶的实现——Vue

说一下Vue的实现方法：

原理：

将表达式{{a+Math.PI+b+fn(a)}}，变成函数：function getter(scope) { return scope.a + Math.PI + scope.b + scope.fn(scope.a);}123123调用时，传入Vue对象getter(vm)，这样，所有表达式中的变量、函数，变成vm作用域内的调用。

Vue的实现

var body = exp.replace(saveRE, save).replace(wsRE, ''); * 利用了几个正则，首先将所有的字符串提取出来，进行替换，因为后面要去除所有的空格； * 去除空格； body = (' ' + body).replace(identRE, rewrite).replace(restoreRE, restore); * 将所有的变量前加scope（除了保留字如Math,Date,isNaN等，具体见代码中的正则）； * 将所有字符串替换回去 * 生成上面提到过的函数

可以看出这个操作还是稍微有点耗时，所以Vue做了一些优化，加了一个缓存。

3.实现中碰到的问题

明白了一个概念，DOM中每一个文字块，也是一个节点：文字节点，而且只要被其他节点分隔，就是不同的文字节点；JS中，可以使用childNodes与attributes等来枚举子节点与属性列表等；[].forEach.call，可以用来遍历非Array对象如childNodes；[].slice会生成数组的一个浅复制，因为childNodes在修改DOM对象时，会实时变动，所以不能直接在遍历中修改DOM，此时，可以生成浅复制数组，用来遍历；

具体代码太长就不展示，可以直接看Git上的源码。

四、实现Watcher

       Watcher的实现，需要考虑几个问题：

传入的表达式如前面提到的{{a+Math.PI+b+fn(a)}}，如何与每一个具体对象建立关系，添加监听；添加后的关系如何维护，其中包括： 上一层对象被直接赋值，如表达式是{{a.b.c}},进行赋值a.b={c:4}，此时，c的getter没有被触发，与c相关的Watcher如何被通知；还是上面的例子，新添加的c如何与老的c的Watcher建立关系；

       其实，上面说监听队列时，已经稍微提过，利用JS单线程的特性，在调用对象的getter前，将Dep.target这个全局变量修改为Watcher，然后getter中将其添加到监听队列中。所以，Watcher中，只需要取一次表达式的值，就会实现这个功能，而且，Watcher在初始化时，本来就需要调用一次取值来初始化DOM！

       来看一下上面的问题：

首先，Watcher需要监听的是一个表达式，所有表达式中的成员，都需要监听，如{{a+Math.PI+b+fn(a)}}需要监听a和b的变化，而取这个表达式值时，会调用a和b的getter，从而将自身添加到a和b的监听队列中！关于添加后关系的维护： 我们在取表达式值{{a.b.c}}时，a和b和c的getter都会被调用，从而都会将Watcher添加到自己的监听队列中，所以a.b={c:4}赋值时，Watcher同样会被触发！上面Watcher被触发后，会重新获取a.b.c的值，则新的c的getter会被调用，从而新的c会将Watcher添加到自己的监听队列中。

       可以发现，上面的问题都被圆满解决，如果这是我自己想出来的方案，我会被自己感动哭的T_T 这才是优雅的解决方案！

五、实现Vue

       这就是一个公共入口，整个框架从这里创建。需要实现的目标：

进行流程的串接，observe对象，compile Dom；对自己的对象data，函数methods等进行代理，从而可以直接使用vm.a，vm.init等进行调用，同样通过Object.defineProperty进行对象定义；

       具体实现比较简单，可以直接参考源码