函數(shù)內(nèi)局部變量返回后，函數(shù)的變量對象還在內(nèi)存中么？

對于閉包、return 還有些疑問：

let v=[];

function temp() {
    let a = [],b=0;
    return a;
}

let t = temp();

最后一行代碼執(zhí)行時(shí)，temp 函數(shù)內(nèi)會(huì)創(chuàng)建一個(gè)作用域鏈，作用域鏈中有2個(gè)變量對象，全局變量對象G和局部變量對象P，那么上面代碼執(zhí)行完后，我想出三個(gè)答案：

理解1：P 沒有被銷毀，因?yàn)?t 保存著對 P 里變量 a 的引用；
理解2：P 已經(jīng)被銷毀了，但 a 沒有被銷毀，因?yàn)?return 返回 a 的引用，然后解除了對 P 的引用；
理解3：P 已經(jīng)被銷毀了，但 a 沒有被銷毀，因?yàn)?return 返回 a 的值，然后解除了對 P 的引用；

我的分析：

理解1的問題在于：這里僅僅是返回一個(gè)引用類型的變量，認(rèn)為是通過變量對象來引用這個(gè)變量，從而導(dǎo)致變量對象沒有被銷毀，如果機(jī)制是這樣，不是太耗費(fèi)資源么，直接返回引用然后銷毀變量對象就是了；

理解2的問題在于：MDN上看到中英文里解釋，return 都是返回的是值，并沒有說引用，不過如果返回的是對象，就說是引用的話，那是不是意味著變量對象可能沒有被銷毀或者在返回后才被銷毀了？

我覺得理解3是對的，但不是很確定，請問大家覺得哪個(gè)理解是對的？或者上面的理解都不對，有自己的觀點(diǎn)？

回答

編輯回答

舊言

t=[]
返回的是a指向的地址，而不是指向a的地址，所以t和a指向同一個(gè)地址，而不是t指向a，a再指向[]。這里沒有指針的指針

2017年1月6日 18:48

編輯回答

女流氓

謝邀。

首先說結(jié)論。理解1肯定是不對的，因?yàn)橐梅较蚴荘引用a，而不是a引用P，所以a是否銷毀并不會(huì)影響到P。

而理解2和3，你的疑惑應(yīng)該是在到底返回的是a的引用還是a的值上。那么我可以告訴你答案：返回的是a的值，同時(shí)也是那個(gè)空數(shù)組的引用。

a是一個(gè)變量，位于棧上，而其實(shí)際指向的目標(biāo)則是那個(gè)空數(shù)組，后者位于堆上。

a -> []

當(dāng)函數(shù)返回的時(shí)候，它所返回的是a的值，也就是該空數(shù)組的地址。因此返回后，在內(nèi)存中的結(jié)果是這樣的：

a -> []
t----↑

最后，a作為P里面的變量隨同P一起被回收，而t則繼續(xù)保有數(shù)組的引用。

2017年10月27日 22:23

編輯回答

忠妾

let v=[];

function temp() {
    let a = [],b=0;
    return a;
}

let t = temp();

函數(shù)temp執(zhí)行完畢后，返回了一個(gè)對象這個(gè)對象就是通過內(nèi)部變量a初始化生成的數(shù)組對象，
這個(gè)數(shù)組對象被外部變量t引用到，故在數(shù)組對象不會(huì)被GC(在全局作用域下執(zhí)行)或?qū)⒈籊C(在一個(gè)函數(shù)內(nèi)部執(zhí)行，在執(zhí)行執(zhí)行完畢，且對象沒有被返回)。

temp函數(shù)在調(diào)用棧中執(zhí)行，其內(nèi)部局部變量都會(huì)在調(diào)用完成后被釋放，但是期間生成的對象不一定能被GC標(biāo)識(shí)為垃圾。因?yàn)橛锌赡苌傻膶ο罂赡鼙环祷剡M(jìn)而被外部引用到。

2017年2月9日 11:24