js 闭包与垃圾回收-待删

关于闭包请看戳 串讲-解释篇：作用域，作用域链，执行环境，变量对象，活动对象，闭包，本篇写的不太好；

先摆定义：

函数对象，可以通过作用域链相互关联起来，函数体内部的变量都可以保存在函数作用域内，这种特性在计算机科学文献中称为‘闭包’；---引自 权威指南

闭包是指有权访问另一个函数作用域中的变量的函数。创建闭包的常见方式，就是在一个函数内部创建另一个函数.---引自 高程

高程的貌似更好理解些，也更适用些，换成高程的代码就是这样：

function createComparisonFunction(propertyName) {
    return function(object1, object2){
        var value1 = object1[propertyName];
        var value2 = object2[propertyName];
        if (value1 < value2){
            return -1;
        } else if (value1 > value2){
            return 1;
        } else {
            return 0;
        }
    };
}

var compare = createComparisonFunction("name");
var result = compare({ name: "Nicholas" }, { name: "Greg" });

为什么说这是闭包呢？

在这个例子中，突出的那两行代码是内部函数（一个匿名函数）中的代码，这两行代码访问了外部函数中的变量propertyName。即使这个内部函数被返回了，而且是在其他地方被调用了，但它仍然可以访问变量propertyName。之所以还能够访问这个变量，是因为内部函数的作用域链中包含createComparisonFunction()的作用域。---引自 高程

然后具体解释呢，再摆定义：

每次调用 js 函数时，都会为之创建一个新的变量对象用来保存局部变量，把这个对象添加至作用域链中。当函数返回时，就从作用域链中将这个绑定的变量对象删除。如果不存在嵌套的函数，也没有其他引用指向这个绑定对象，他就会被当做垃圾回收掉。如果定义了嵌套的函数，每个嵌套的函数都各自对应一个作用域链，并且这个作用域链指向一个变量绑定对象。但如果这些嵌套的函数对象在外部函数中保存下来，那么他们也会和所指向的变量绑定对象一样当做垃圾回收。但是如果这个函数定义了嵌套的函数，并将它作为返回值返回或者存储在某处的属性里，这时就会有一个外部引用指向这个嵌套的函数，他就不会被当做垃圾回收，并且他所指向的变量绑定对象也不会被当做垃圾回收。---引自 权威指南

当某个函数被调用时，会创建一个执行环境（execution context）及相应的作用域链。
然后，使用arguments 和其他命名参数的值来初始化函数的活动对象（activation object）。但在作用域链中，外部函数的活动对象始终处于第二位，外部函数的外部函数的活动对象处于第三位，……直至作为作用域链终点的全局执行环境。无论什么时候在函数中访问一个变量时，就会从作用域链中搜索具有相应名字的变量。一般来讲，当函数执行完毕后，局部活动对象就会被销毁，内存中仅保存全局作用域（全局执行环境的变量对象）。但是，闭包的情况又有所不同。在另一个函数内部定义的函数会将包含函数（即外部函数）的活动对象添加到它的作用域链中。结合上面的列子，在匿名函数从createComparisonFunction()中被返回后，它的作用域链被初始化为包含createComparisonFunction()函数的活动对象和全局变量对象。这样，匿名函数就可以访问在createComparisonFunction()中定义的所有变量。更为重要的是，createComparisonFunction()函数在执行完毕后，其活动对象也不会被销毁，因为匿名函数的作用域链仍然在引用这个活动对象。换句话说，当createComparisonFunction()函数返回后，其执行环境的作用域链会被销毁，但它的活动对象仍然会留在内存中；直到匿名函数被销毁后，createComparisonFunction()的活动对象才会被销毁.---引自 高程 p180

高程上是直接举例子的，容易明白，不明白翻到 180页，好好看看；

权威指南的纯文字，第一次没看懂，后来懂了，其实是因为权威指南说的情况比较多，所以相对难懂，这段话要逐步分析：

1、每次调用 js 函数时，都会为之创建一个新的变量对象用来保存局部变量，把这个对象添加至作用域链中。当函数返回时，就从作用域链中将这个绑定的变量对象删除。如果不存在嵌套的函数，也没有其他引用指向这个绑定对象，他就会被当做垃圾回收掉。

代码：

function compare(value1, value2){
    if (value1 < value2){
        return -1;
    } else if (value1 > value2){
        return 1;
    } else {
        return 0;
    }
}

var result = compare(5, 10);

以上代码先定义了compare()函数，然后又在全局作用域中调用了它。

当调用compare()时，会创建一个包含arguments、value1 和value2 的活动对象(函数里变量对象叫活动对象)。

全局执行环境的变量对象（包含result 和compare）在compare()执行环境的作用域链中则处于第二位。

而像 compare()函数这样的局部环境的变量对象，则只在函数执行的过程中存在。当函数执行完毕后（当函数返回后），局部活动对象就会被销毁（就从作用域链中将这个绑定的变量对象删除），内存中仅保存全局作用域（全局执行环境的变量对象）。（因为这里不存在嵌套的函数，也没有其他引用指向这个绑定对象，他就会被当做垃圾回收掉。）

继续：

2、如果定义了嵌套的函数，每个嵌套的函数都各自对应一个作用域链，并且这个作用域链指向一个变量绑定对象。但如果这些嵌套的函数对象在外部函数中保存下来，那么他们也会和所指向的变量绑定对象一样当做垃圾回收。

这个高程没有对应的例子，代码自己琢磨修改是这样，核心是：仅仅有嵌套函数，没有返回出去或者作为某处的属性，此时也会在外部函数执行完后正常被垃圾回收：

function createComparisonFunction(propertyName) {
    //但如果这些嵌套的函数对象在外部函数中保存下来
    function f(object1, object2) {//嵌套的函数都各自对应一个作用域链
        var value1 = object1[propertyName];//这个作用域链指向一个变量绑定对象
        var value2 = object2[propertyName];
        if (value1 < value2) {
            return -1;
        } else if (value1 > value2) {
            return 1;
        } else {
            return 0;
        }
    }

    //没有将 f 返回出去；

}

继续：

3、但是如果这个函数定义了嵌套的函数，并将它作为返回值返回或者存储在某处的属性里，这时就会有一个外部引用指向这个嵌套的函数，他就不会被当做垃圾回收，并且他所指向的变量绑定对象也不会被当做垃圾回收。

代码：

function createComparisonFunction(propertyName) {
    //并将它作为返回值返回
    return function(object1, object2) {
        var value1 = object1[propertyName];
        var value2 = object2[propertyName];
        if (value1 < value2) {
            return -1;
        } else if (value1 > value2) {
            return 1;
        } else {
            return 0;
        }
    };
}

//创建函数
var compareNames = createComparisonFunction("name");
//调用函数
var result = compareNames({ name: "Nicholas" }, { name: "Greg" });
//解除对匿名函数的引用（以便释放内存）
compareNames = null;

解释：

在匿名函数从createComparisonFunction()中被返回后，它的作用域链被初始化为包含
createComparisonFunction()函数的活动对象和全局变量对象。这样，匿名函数就可以访问在
createComparisonFunction()中定义的所有变量。更为重要的是，createComparisonFunction()
函数在执行完毕后，其活动对象也不会被销毁，因为匿名函数的作用域链仍然在引用这个活动对象。换句话说，当createComparisonFunction()函数返回后，其执行环境的作用域链会被销毁，但它的活动对象仍然会留在内存中；直到匿名函数被销毁后，createComparisonFunction()的活动对象才会被销毁。

到此为止，权威指南上的关于闭包的讲解是讲完了，结合了 高程上的例子，如果还有不解，请看高程；

参考文档：

JavaScript高级程序设计-第3版-中

JavaScript权威指南-第6版-中