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版-中

原文地址:https://www.cnblogs.com/xianshenglu/p/8379643.html