昨天已經(jīng)通過gc_enter和stack_push的實現(xiàn)，了解到用一個近似調(diào)用堆棧的東西，保存每一級調(diào)用中分配的自由內(nèi)存的id。
今天看看gc_leave。gc_leave有一個可變參數(shù)列表，這些參數(shù)的用途是，將本函數(shù)分配的自由內(nèi)存的聲明周期再保留更長一點的時間。
看看實現(xiàn)就知道了：

我們知道，調(diào)用gc_leave，也就意味著要離開當前的函數(shù)回到父函數(shù)上了，那么堆棧也要退回到父函數(shù)調(diào)用gc_enter后的情形。
首先看if部分，因為在 E.stack.current的位置上保存的是父函數(shù)中分配的自由內(nèi)存的數(shù)量，所以第6行讓top指向這里，第7行用current對這個數(shù)量做一個減法，就變成了父函數(shù)堆棧的情形了。

不過9行else部分比較令人困惑。僅僅在第一次調(diào)用gc_enter之前，current會小于bottom，此時current=0，bottom=1。那么接下來的第11行執(zhí)行后bottom=0，第12行看起來就會訪問索引為-1處的數(shù)據(jù)。我還沒有跑過這個庫，也沒有在源碼中搜索出 E.stack.bottom比較特殊的賦值操作，所以不太確定到底是怎么回事。所以，這個先暫時放下，等以后看到其他內(nèi)容，或者跑一下這個庫的時候，再搞清楚這段代碼的意義。

最后是一個while循環(huán)，處理可變參數(shù)列表，這些參數(shù)是需要延長生命的自由內(nèi)存指針。怎么做呢？因為現(xiàn)在已經(jīng)回到了父函數(shù)的gc堆棧上，所以就把這些需要延長生命的自由內(nèi)存壓入父函數(shù)的gc堆棧即可，見23行。
不過這也意味著，他們的生命最少只延長到父函數(shù)也退出而已。

OK，看完了分配出來的內(nèi)存的兩種管理方式，明天終于可以看看如何進行內(nèi)存回收了。

<strike id="22ms4"></strike>

<cite id="22ms4"></cite>