上次說到了refcount和is_ref，這里來說說內(nèi)存泄露的情況

執(zhí)行第一行，可以知道$a和$a[2]指向的zval refcount=2，is_ref=1

然后執(zhí)行第二行，$a將會從符號表中被刪除，同時指向的zval的refcount--，此時refcount=1,因為refcount!=0，故此zval不會被當做垃圾回收，但是此時我們卻失去了$a[2]指向這個zval的入口，因此這個zval成了一塊內(nèi)存垃圾

同樣的道理可以發(fā)生在類內(nèi)部引用里，例如

PHP有一個root buffer用來存儲zval的節(jié)點信息，當root buffer滿了或者手動調(diào)用gc函數(shù)時，GC算法啟動

對于一個數(shù)組或者類類型的zval而言，在垃圾回收機制啟動時，算法會對該zval的數(shù)組/類內(nèi)部的元素/成員的zval進行一次遍歷并將refcount減1，如果說遍歷完成后該zval的refcount被減為0，則說明這個zval是一個內(nèi)存垃圾，他將被銷毀，見下面的例子

當unset($a)執(zhí)行的時候，$a就已經(jīng)從符號表中刪去，同時我們也失去了訪問z1的入口，此時z1 refcount=2，is_ref=1

當GC啟動時，會對該z1的數(shù)組元素的zval的refcount進行遍歷減1，遍歷到a[2]時,z1 refcount--， a[3]時 z1 refcount--，此時z1 refcount = 0，即可將z1標記為內(nèi)存垃圾，算法后將其回收

總結(jié)來說可以這么表述：若一個數(shù)組類型的zval，對他的元素zval進行一次遍歷，同時將遍歷到的zval的refcount--，如果最后refcount=0的zval，就是垃圾，需要被回收

最新評論