上次說到了refcount和is_ref，這里來說說內存泄露的情況

復制代碼 代碼如下:

$a = array(1, 2, &$a);
unset($a);

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

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

同樣的道理可以發生在類內部引用里，例如

復制代碼 代碼如下:

$a = new Man();
$a->self = &$a;
unset($a);

PHP有一個root buffer用來存儲zval的節點信息，當root buffer滿了或者手動調用gc函數時，GC算法啟動

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

復制代碼 代碼如下:

$a = array(1, 2, &$a, &$a);
unset($a);

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

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

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