鍍金池/ 問(wèn)答/網(wǎng)絡(luò)安全  HTML/ 但如果這些嵌套的函數(shù)對(duì)象在外部函數(shù)中保存下來(lái),那么他們也會(huì)和所指向的變量綁定對(duì)象

但如果這些嵌套的函數(shù)對(duì)象在外部函數(shù)中保存下來(lái),那么他們也會(huì)和所指向的變量綁定對(duì)象一樣當(dāng)做垃圾回收。

js 權(quán)威指南-第六版-中 p184 實(shí)現(xiàn)閉包,有段話理解不了;全文是這樣:

每次調(diào)用 js 函數(shù)時(shí),都會(huì)為之創(chuàng)建一個(gè)新的變量對(duì)象用來(lái)保存局部變量,把這個(gè)對(duì)象添加至作用域鏈中。當(dāng)函數(shù)返回時(shí),就從作用域鏈中將這個(gè)綁定的變量對(duì)象刪除。如果不存在嵌套的函數(shù),也沒(méi)有其他引用指向這個(gè)綁定對(duì)象,他就會(huì)被當(dāng)做垃圾回收掉。如果定義了嵌套的函數(shù),每個(gè)嵌套的函數(shù)都各自對(duì)應(yīng)一個(gè)作用域鏈,并且這個(gè)作用域鏈指向一個(gè)變量綁定對(duì)象。但如果這些嵌套的函數(shù)對(duì)象在外部函數(shù)中保存下來(lái),那么他們也會(huì)和所指向的變量綁定對(duì)象一樣當(dāng)做垃圾回收。但是如果這個(gè)函數(shù)定義了嵌套的函數(shù),并將它作為返回值返回或者存儲(chǔ)在某處的屬性里,這時(shí)就會(huì)有一個(gè)外部引用指向這個(gè)嵌套的函數(shù),他就不會(huì)被當(dāng)做垃圾回收,并且他所指向的變量綁定對(duì)象也不會(huì)被當(dāng)做垃圾回收。

我分成三段理解:

1、每次調(diào)用 js 函數(shù)時(shí),都會(huì)為之創(chuàng)建一個(gè)新的變量對(duì)象用來(lái)保存局部變量,把這個(gè)對(duì)象添加至作用域鏈中。當(dāng)函數(shù)返回時(shí),就從作用域鏈中將這個(gè)綁定的變量對(duì)象刪除。如果不存在嵌套的函數(shù),也沒(méi)有其他引用指向這個(gè)綁定對(duì)象,他就會(huì)被當(dāng)做垃圾回收掉。

可以理解上面一段,下面兩段不太清楚;

2、如果定義了嵌套的函數(shù),每個(gè)嵌套的函數(shù)都各自對(duì)應(yīng)一個(gè)作用域鏈,并且這個(gè)作用域鏈指向一個(gè)變量綁定對(duì)象。但如果這些嵌套的函數(shù)對(duì)象在外部函數(shù)中保存下來(lái),那么他們也會(huì)和所指向的變量綁定對(duì)象一樣當(dāng)做垃圾回收。

3、但是如果這個(gè)函數(shù)定義了嵌套的函數(shù),并將它作為返回值返回或者存儲(chǔ)在某處的屬性里,這時(shí)就會(huì)有一個(gè)外部引用指向這個(gè)嵌套的函數(shù),他就不會(huì)被當(dāng)做垃圾回收,并且他所指向的變量綁定對(duì)象也不會(huì)被當(dāng)做垃圾回收。

結(jié)合高程,可以理解3、,因?yàn)閾Q成代碼就是這樣:

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;
        }
    };
}

//創(chuàng)建函數(shù)
var compareNames = createComparisonFunction("name");

createComparisonFunction()函數(shù)在執(zhí)行完畢后,其活動(dòng)對(duì)象也不會(huì)被銷毀,因?yàn)槟涿瘮?shù)的作用域鏈仍然在引用這個(gè)活動(dòng)對(duì)象。這個(gè)很好理解;

但是2、比較模糊,換成代碼我覺(jué)得就是下面這樣,

function createComparisonFunction(propertyName) {
    //但如果這些嵌套的函數(shù)對(duì)象在外部函數(shù)中保存下來(lái)
    function f(object1, object2) {//嵌套的函數(shù)都各自對(duì)應(yīng)一個(gè)作用域鏈
        var value1 = object1[propertyName];//這個(gè)作用域鏈指向一個(gè)變量綁定對(duì)象
        var value2 = object2[propertyName];
        if (value1 < value2) {
            return -1;
        } else if (value1 > value2) {
            return 1;
        } else {
            return 0;
        }
    }

    return f;
}

var compareNames = createComparisonFunction("name");

所以問(wèn)題是:
var compareNames = createComparisonFunction("name"); 執(zhí)行完了后,createComparisonFunction()的活動(dòng)對(duì)象會(huì)被銷毀么?

回答1:會(huì)銷毀,因?yàn)榘凑?2、所說(shuō),

但如果這些嵌套的函數(shù)對(duì)象在外部函數(shù)中保存下來(lái),那么他們也會(huì)和所指向的變量綁定對(duì)象一樣當(dāng)做垃圾回收。

返回的 f 在 外部函數(shù)中保存下來(lái)了,所以會(huì)和所指向的變量綁定對(duì)象一樣當(dāng)做垃圾回收。

回答2:不會(huì)銷毀,因?yàn)榉祷氐?f 里依然保存著對(duì) createComparisonFunction() 活動(dòng)對(duì)象的引用啊,就是那個(gè) propertyName ,所以 createComparisonFunction() 活動(dòng)對(duì)象不會(huì)銷毀;

所以哪個(gè)解釋是對(duì)的?還是有其他解釋?

回答
編輯回答
薔薇花
2、如果定義了嵌套的函數(shù),每個(gè)嵌套的函數(shù)都各自對(duì)應(yīng)一個(gè)作用域鏈,并且這個(gè)作用域鏈指向一個(gè)變量綁定對(duì)象。但如果這些嵌套的函數(shù)對(duì)象在外部函數(shù)中保存下來(lái),那么他們也會(huì)和所指向的變量綁定對(duì)象一樣當(dāng)做垃圾回收。
3、但是如果這個(gè)函數(shù)定義了嵌套的函數(shù),并將它作為返回值返回或者存儲(chǔ)在某處的屬性里,這時(shí)就會(huì)有一個(gè)外部引用指向這個(gè)嵌套的函數(shù),他就不會(huì)被當(dāng)做垃圾回收,并且他所指向的變量綁定對(duì)象也不會(huì)被當(dāng)做垃圾回收。

意思說(shuō)當(dāng)一個(gè)函數(shù)返回一個(gè)函數(shù)對(duì)象,并且這個(gè)還是賦值了一個(gè)外部變量,那么當(dāng)這個(gè)外部變量不再被其引用,也就是符合垃圾回收的條件(非活動(dòng)對(duì)象)時(shí),將被回收掉。如果這個(gè)外部變量一直保持有對(duì)返回的函數(shù)的引用,那么這個(gè)函數(shù)對(duì)象就不會(huì)被回收掉

其實(shí)上面2段函數(shù)是一樣的,

var compareNames = createComparisonFunction("name");
//執(zhí)行一些操作
compareNames(....);
compareNames=null;
//此后createComparisonFunction返回的對(duì)象不再被引用,就會(huì)在某個(gè)時(shí)刻被GC掉
2017年1月27日 08:36
編輯回答
陪我終
如果定義了嵌套的函數(shù),每個(gè)嵌套的函數(shù)都各自對(duì)應(yīng)一個(gè)作用域鏈,并且這個(gè)作用域鏈指向一個(gè)變量綁定對(duì)象。但如果這些嵌套的函數(shù)對(duì)象在外部函數(shù)中保存下來(lái),那么他們也會(huì)和所指向的變量綁定對(duì)象一樣當(dāng)做垃圾回收。

一共兩句話。前面那句只是說(shuō)嵌套函數(shù)也有自己的作用域鏈和變量綁定對(duì)象,所以主要是后面那一句。這句話的意思是,外部函數(shù)可以在其變量綁定對(duì)象中保存嵌套函數(shù)的引用,但是如果沒(méi)有把嵌套函數(shù)返回給其他代碼,那么當(dāng)外部函數(shù)銷毀的時(shí)候,其保存的嵌套函數(shù)也會(huì)同時(shí)被銷毀回收。

翻譯成代碼是這樣的:

function outer() {
    var a = 3;
    function inner() {
        var b = 5;
    }
    // 這時(shí)候outer的變量綁定對(duì)象里面有a和inner兩個(gè)變量
    // 所以當(dāng)outer被回收的時(shí)候,a和inner也會(huì)被同時(shí)回收

    ...
}

第三段話則比上面這段話的意思更進(jìn)了一步。

但是如果這個(gè)函數(shù)定義了嵌套的函數(shù),并將它作為返回值返回或者存儲(chǔ)在某處的屬性里,這時(shí)就會(huì)有一個(gè)外部引用指向這個(gè)嵌套的函數(shù),他就不會(huì)被當(dāng)做垃圾回收,并且他所指向的變量綁定對(duì)象也不會(huì)被當(dāng)做垃圾回收。

如果innerouter作為返回值返回的話,那么就不僅僅是outer保有它的引用了,外面會(huì)有其他變量也保有它的引用。所以當(dāng)outer被回收的時(shí)候,inner并不會(huì)回收。

2017年3月4日 02:50