闭包: //JS函数式风格中,在内部保存数据和对外无副作用这两个特性主要就是通过闭包实现的;
函数与闭包: 一个函数是一段静态代码,它是一个代码书写时已经编译期,静态概念;闭包是函数在代码运行过程中产生的一个动态环境,是一个运行期,动态的概念;
函数引用和函数实例://在被调用时,每个函数实例至少拥有一个闭包;
//函数引用
function myFunc2() { };
var f1 = myFunc2;
var f2 = myFunc2;
console.log(f1 === f2); //true
//函数实例
function MyObject1() {
function func() { }
this.doFunc = func;
}
var obj1 = new MyObject1;
var obj2 = new MyObject1; console.log(obj2 === obj1); //false
console.log(obj2.doFunc === obj1.doFunc); //false
console.log(obj2.toString() == obj1.toString()); //true
//常见的两种构造对象的方法,产生对象实例的效果也并不一样;demo
闭包和调用对象:
- 闭包相关元素(调用对象,上下文环境等)的内部数据结构; //这个结构同样使用与全局对象,只是TheContext内容为空;
- TheContext结构描述函数作为对象时外在表现;
- ScriptObject(调用对象)包含函数全部代码的语法分析;包括内部变量表:varDecls,内嵌函数表:funcDecls,以及此外全部代码:source;
- varDecls总是在语法分析阶段就创建好,所以函数内会有变量提升效果,且初始化为undefined;
- 函数执行退出时,varDecls不被重置,所以具有在函数内保存数据的效果;
- 函数内数据持续的生成周期,取决于该函数实例是否存在活动引用;如果没有,ScriptObject会被内存回收;
- 函数闭包与调用对象的生存周期
- 函数执行创建函数实例时:
- 创建一个函数实例;
- 为该函数实例创建一个闭包;
- 为该函数实例(及闭包)的运行环境从ScriptObject复制一个调用对象;
- 函数执行创建函数实例时:
闭包的特性:
- 引用与泄漏:
- 除了变量引用,JS中最常用的是对象属性引用:
- 对象在构造时,使用this引用进入构造函数;
- 对象在调用方法时,使用this引用进入函数;
- 某函数使用apply/call调用,并传入某个对象作为this引用;
- 调用一个函数时,对象从参数入口传入;
- 函数实例被创建和引用的过程: //有些对象不被销毁或销毁时不能通知JS引擎,所以有些JS闭包总不能被销毁,会形成内存泄漏;
function MyObject(obj) {
var foo = function() {};
if(!obj) return;
obj.method = foo;
}- MyObject(); //函数执行后一个匿名函数实例被创建并赋值给foo变量,到函数执行后,闭包内的数据未被外部引用,闭包马上销毁,foo指向的匿名函数也被销毁;
- MyObject(new Object); //函数执行后,匿名函数与MyObject都不能被销毁;但之后传入对象未被引用,依次随机销毁了;之后obj.method引用被释放;匿名函数也没有其他引用,开始闭包销毁过程;
-
var obj = new Object; MyObject(obj); //函数执行后,由于有函数外部obj引用,所以JS引擎会维护MyObject()闭包中foo变量的关系,直到变量被销毁或指定方法被重置,删除:如
obj.method = new Function();
delete obj.method;
- 除了变量引用,JS中最常用的是对象属性引用:
-
函数闭包特性总结:
JS中函数被调用,总会初始化一个闭包;
JS中函数实例可能有多个闭包; //重复调用;
JS中函数实例和闭包的生存周期是分别管理的;
在函数执行中闭包没有被其他对象引用,则在函数执行结束之时也被销毁;
语句中闭包问题:
- 问题:语句级别中创建函数实例也会创建一个对应的闭包;当同时创建多个实例时,它们仍共享外层函数闭包(语句中是全局闭包)中的upvalue值
var obj1 = new Object;
var events = {m1: 'clicked', m2: 'changed'};
for(e in events) {
obj1[e] = function() {
console.log(events[e]);
}
}
console.log(obj1.m1 === obj1.m2); //false; obj1.m1(); //changed
obj1.m2(); //changed上例中创建的两个实例,在执行的时候其闭包环境是全局闭包,共享相同值e;
- 解决:
for(e in events) {
obj2[e] = function(aValue) { //闭包1
return function() { //闭包2
console.log(events[aValue]);
}
}(e)
}上例中创建的两个实例所在的是闭包1,每个实例对应的闭包会暂存不同的传入参数; 其实这里只是需要暂存值e的地方,并不一定要多加一层闭包,并且多加闭包增加了消耗,可以这样优化
for(e in events) {
(obj3[e] = function() {
console.log(events[arguments.callee.aValue]);
}).aValue = e;
}
闭包中标识符特例:
- 函数内标识符绑定顺序:
- 内部函数声明优于参数名;
- 内部函数或参数中有arguments名称的标识符时,当前函数的arguments不被创建;
- 函数内的局部变量声明时(不是赋值),如果标识符已经被绑定,则忽略变量标识符声明;
- 对应函数名,引擎会为函数准备好一个闭包,开始绑定其他标识符(然后开始执行)之前,引擎会在闭包中初始化这个函数名,并将其绑定到函数自身;所以函数名是闭包中最先被初始化的标识符;
函数对象的闭包:
- Function构造器在任意位置创建实例,都处于全局闭包中;即Function实例的upvalue总是指向全局闭包;原因在于Function构造器传入的参数都是字符串,不必与函数局部变量建立引用;基于此对前面的问题可以这样写
var events = {m1: 'clicked', m2: 'changed'};
for(e in events) {
obj[e] = new Function('console.log(events["'+e+'"])');
}
闭包与可见性:
- 闭包带来的可见性效果:具体实现上,JS只要求在语法分析期将一个函数体中所有用var声明的变量记入自己的ScriptObject的varDecls域,然后设定访问规则,如果当前函数的ScriptObject.varDecls域中不存在该变量声明,则通过闭包.parent来取得上一层函数的scriptObject.varDecls作为upvalue.
function foo() {
var A = 100;
function foo_2() {
var A = 1000;
function foo_3() { }
}
}- 可见性传递的实质是foo_2()与foo_3()都能访问来自与foo()的同一份ScriptObject.varDecls;
- 可见性覆盖的实质是foo_3()在foo_2()的ScriptObject.varDecls中找到名为A的变量,因而不必再向上层回溯;
- 变量在代码任何位置隐式声明,都全局可见的实质是该变量标识符不在函数内所有parent的ScriptObject.varDecls中存在时,必然回溯到顶层全局函数闭包中的varDecls,并在该位置隐式地声明了一个变量;
- 正是由于每一个函数实例都有一份ScriptObject的副本,所有不同闭包访问到的私有变量不一致;