关于JavaScript的执行域,标识符解析,闭包的研究
2008-07-28 09:56
681 查看
· 作者:laruence(http://www.laruence.com/)
· 本文地址: http://www.laruence.com/2008/07/28/210.html
· 转载请注明出处
在js中,作用域的概念和其他语言差不多, 在每次调用一个函数的时候 ,就会进入一个函数内的作用域,当从函数返回以后,就返回调用前的作用域,但js的实现方式却和一般语言不同,并非用“堆栈”方式,而是使用列表,具体过程如下(ECMA262中所述):
在一个函数对象被创建的时候, 会创建一个活动对象(也就是一个对象),然后对于每一个函数的形参,都命名为该活动对象的命名属性:
在真正的调用时刻,会做一个叫做变量实例化的过程,也就是将调用参数赋值给形参数,对于缺少的调用参数,赋值为undefined。
接下来,谈谈作用域, 在js中,作用域的实现,是通过一个列表[[scope]]。对于每一个js的函数对象,都维护一个内部的对象列表[[scope]],这个列表由上面提到的一个个活动对象组成。
当调用一个函数的时候,这个函数的活动对象列表,将保存该函数作用域(调用者的作用域)列表,然后将对于这个被调用函数所生成的活动对象,置于[[scope]]的最前端。
当发生标识符解析的时候, 会逆向查询这个[[scope]]列表的每一个活动对象的属性,如果找到同名的就返回。找不到,那就是这个标识符没有被定义。
而当b()在内部调用a()的时候,a()的[[scope]]由:全局活动对象->b的活动对象->a的活动对象组成。
这样,就构成了js自己的作用域的机制。。
接下来谈谈闭包,ECMA262没有规定垃圾回收机制的具体实现,但一般来说,垃圾回收机制的原理都是,如果一个对象没有再
被引用,那么这个对象就会成为垃圾回收的目标。
接下来结合前面讲的,分析如下代码:
当调用a()的时候,a返回了一个叫做b的函数对象的引用。 当从a调用返回以后,因为ref引用了b(),所以在b()的[[scope]]上的,已经被变量实例化了的a的活动对象就不会被垃圾回收,那么这样,当在外部直接调用ref所引用的b时,就可以访问到b()函数外层的a()函数对象已经被实例化了的各个参数。
这样就形成了一个闭包。也可以理解为一个不会被回收的函数对象列表,不过要注意的时候,在这个列表中的a()的活动对象是已经被实例化了的。
现在根据前面所讲的这些,讨论一个问题,就是对于js对象编程中所实现的"私有成员":
结合上面的讨论,我们来分析一下,
对于private, 它会被作为class函数对象的活动对象的一个属性,那么当class函数对象(构造函数)执行结束以后,该活动对像就会被回收,那么自然,这个private也就不能再被外部访问了,也就是模拟了私有变量。
而对于this.public,我们知道this在js中是一个关键字,而不是一个标识符,它指向调用者的引用, 比如:
当然,你也许会发现,如果是这样的话,每次new一个对象的时候,这种形式的共有对象,每次都会new一个新的对象,会很浪费资源,所以,最好还是通过函数对象的原型来创建公有的属性。
· 本文地址: http://www.laruence.com/2008/07/28/210.html
· 转载请注明出处
在js中,作用域的概念和其他语言差不多, 在每次调用一个函数的时候 ,就会进入一个函数内的作用域,当从函数返回以后,就返回调用前的作用域,但js的实现方式却和一般语言不同,并非用“堆栈”方式,而是使用列表,具体过程如下(ECMA262中所述):
在一个函数对象被创建的时候, 会创建一个活动对象(也就是一个对象),然后对于每一个函数的形参,都命名为该活动对象的命名属性:
var func = function(lps, rps){ ........ }对于上面的列子,会创建一个活动对象(假设为aObj),给这个对象添加俩个命名属性aObj.lps, aObj.rps; 然后还会创建一个arguments对象,这个对象以数组的方式保存调用参数,还有callee等其他参数;然后将arguments也作为活动对象(假设为aObj)的一个同名命名属性(arguments);还有就是,对于每一个这个函数申明,或者定义的变量,都作为该活动对象的同名命名属性。内部函数也是一样。
在真正的调用时刻,会做一个叫做变量实例化的过程,也就是将调用参数赋值给形参数,对于缺少的调用参数,赋值为undefined。
接下来,谈谈作用域, 在js中,作用域的实现,是通过一个列表[[scope]]。对于每一个js的函数对象,都维护一个内部的对象列表[[scope]],这个列表由上面提到的一个个活动对象组成。
当调用一个函数的时候,这个函数的活动对象列表,将保存该函数作用域(调用者的作用域)列表,然后将对于这个被调用函数所生成的活动对象,置于[[scope]]的最前端。
当发生标识符解析的时候, 会逆向查询这个[[scope]]列表的每一个活动对象的属性,如果找到同名的就返回。找不到,那就是这个标识符没有被定义。
function a(){ .... } function b(){ a(); }对于上面的列子,当调用b()的时候, b的[[scope]]由: 全局活动对象->b的活动对象组成。
而当b()在内部调用a()的时候,a()的[[scope]]由:全局活动对象->b的活动对象->a的活动对象组成。
这样,就构成了js自己的作用域的机制。。
接下来谈谈闭包,ECMA262没有规定垃圾回收机制的具体实现,但一般来说,垃圾回收机制的原理都是,如果一个对象没有再
被引用,那么这个对象就会成为垃圾回收的目标。
接下来结合前面讲的,分析如下代码:
function a(){ return funtion b(){ .....};; } var ref = a();
当调用a()的时候,a返回了一个叫做b的函数对象的引用。 当从a调用返回以后,因为ref引用了b(),所以在b()的[[scope]]上的,已经被变量实例化了的a的活动对象就不会被垃圾回收,那么这样,当在外部直接调用ref所引用的b时,就可以访问到b()函数外层的a()函数对象已经被实例化了的各个参数。
这样就形成了一个闭包。也可以理解为一个不会被回收的函数对象列表,不过要注意的时候,在这个列表中的a()的活动对象是已经被实例化了的。
现在根据前面所讲的这些,讨论一个问题,就是对于js对象编程中所实现的"私有成员":
function class(){ var private; this.public; }做过Javascript面对对象编程的朋友一定知道,对于上面的代码,private变量是一个私有的变量,而public变量是共有的,那么他们具体是怎么实现的呢?
结合上面的讨论,我们来分析一下,
对于private, 它会被作为class函数对象的活动对象的一个属性,那么当class函数对象(构造函数)执行结束以后,该活动对像就会被回收,那么自然,这个private也就不能再被外部访问了,也就是模拟了私有变量。
而对于this.public,我们知道this在js中是一个关键字,而不是一个标识符,它指向调用者的引用, 比如:
var objRef = new Class();这个时候,this指向的是 objRef,所以,,,,,,很显然,这个时候public就可以通过objRef来访问了,公有的属性了。。。
当然,你也许会发现,如果是这样的话,每次new一个对象的时候,这种形式的共有对象,每次都会new一个新的对象,会很浪费资源,所以,最好还是通过函数对象的原型来创建公有的属性。
相关文章推荐
- javascript执行上下文、作用域与闭包(第七篇)---关于闭包典型例子的理解
- javascript脚本从载入浏览器到显示执行的过程解析
- javascript的加载、解析、执行对浏览器渲染的影响
- 关于javascript事件延迟执行,关于百度地图初始化定位误差
- javascript笔记:深入了函数的作用域链及标识符解析的过程
- 深入理解javascript原型和闭包(8)——简述【执行上下文】上
- javascript代码运行分两个阶段:预解析,执行
- Javascript的执行过程详细研究
- 深入理解javascript原型和闭包(8)——简述【执行上下文】
- 关于Java静态代码块执行时机的解析(一篇就够用)
- 关于win7 x64 连接oracle 客户端 VS2010调试 提示“ORA-12154: TNS: 无法解析指定的连接标识符 ” 原创 2013年04月13日 12:50:56 标签:Oracle
- 比较详细的关于javascript 解析json的代码
- 比较详细的关于javascript 解析json的代码
- [置顶] 深入理解javascript原型和闭包(11)——执行上下文栈
- 深入理解javascript原型和闭包系列 深入理解javascript原型和闭包(8)——简述【执行上下文】上
- [导入]关于网页标准与JAVAScript执行的问题
- 关于PL/SQL配置本地NET报ORA-12154: TNS: 无法解析指定的连接标识符
- 标识符解析在闭包中理解
- 执行代码[WebKit] JavaScriptCore解析--基础篇(二)解释器基础与JSC核心组件
- 关于javascript中Math对象的属性与方法研究