當(dāng)一個PHP線程結(jié)束時,當(dāng)前占用的所有內(nèi)存空間都會被銷毀。那么如果這個線程不結(jié)束,怎么回收內(nèi)存呢?
refcount:引用技術(shù)器,可以理解為指向該個容器的指針個數(shù)吧。
is_ref:是否被引用(只可能是0或者1)
賦值的流程:
<?php
$a = 'aa';
xdebug_debug_zval(a); //(refcount=1, is_ref=0),string 'aa' (length=6)
$b = $a;
//以下的兩個其實是一個變量容器
xdebug_debug_zval(a); //(refcount=2, is_ref=0),string 'aa' (length=6)
xdebug_debug_zval(b); //(refcount=2, is_ref=0),string 'aa' (length=6)
unset($b); //對變量容器 refcount 減1
xdebug_debug_zval(a); //(refcount=1, is_ref=0),string 'aa' (length=6)
xdebug_debug_zval(b); //b: no such symbol b變量被銷毀,指向被斷掉,如果對應(yīng)容器的引用技術(shù)為零,那么該塊兒內(nèi)存被回收
$b = $a;
$b = 'bb';
xdebug_debug_zval(a); //(refcount=1, is_ref=0),string 'aa' (length=6)
xdebug_debug_zval(b); //(refcount=1, is_ref=0),string 'aa' (length=6) 重新申請一個變量容器存儲b,a的變量容器引用減1
引用的流程:
<?php
$a = 'aa';
xdebug_debug_zval('a'); //(refcount=1, is_ref=0),string 'aa' (length=2)
$b = & $a;
//變量容器的引用技術(shù)加1,引用標(biāo)記置為1
xdebug_debug_zval('a'); //(refcount=2, is_ref=1),string 'aa' (length=2)
xdebug_debug_zval('b'); //(refcount=2, is_ref=1),string 'aa' (length=2)
$b = '123';
//php會發(fā)現(xiàn),該容器變量是引用(is_ref),所以容器變量不用像賦值那樣再申請一個
xdebug_debug_zval('a'); //(refcount=2, is_ref=1),string '123' (length=2)
xdebug_debug_zval('b'); //(refcount=2, is_ref=1),string '123' (length=2)
unset($b);
//變量容器應(yīng)用計數(shù)減1,引用為零
xdebug_debug_zval('a'); //(refcount=1, is_ref=0),string '123' (length=2)
xdebug_debug_zval('b'); // b: no such symbol
那如果多次引用,unset掉一個,is_ref是否會被置為零,那樣bug不就出現(xiàn)了么?變量容器還是引用啊。那么我們來看看:
<?php
$a = 'aa';
$b = &$a;
$c = &$a;
//可以看到引用refCount是3,is_ref永遠(yuǎn)是1
xdebug_debug_zval('a'); //(refcount=3, is_ref=1),string 'aa' (length=2)
xdebug_debug_zval('b'); //(refcount=3, is_ref=1),string 'aa' (length=2)
xdebug_debug_zval('c'); //(refcount=3, is_ref=1),string 'aa' (length=2)
unset($b);
//我們期待的bug沒有出現(xiàn),只是refcount減1,is_ref還是1
xdebug_debug_zval('a'); //(refcount=2, is_ref=1),string 'aa' (length=2)
xdebug_debug_zval('b'); // b: no such symbol
xdebug_debug_zval('c'); //(refcount=2, is_ref=1),string 'aa' (length=2)
//那php它怎么知道這個容器還有引用,畢竟is_ref仍然是1,不能計數(shù),那么現(xiàn)在refcount就起作用了,是它告訴php,該變量有幾個引用,但問題又來了,如果我干點壞事,在引用的時候,又賦值,它會不會有bug
$e = $a;
//我們看到期望的bug還是沒出現(xiàn),這時候再賦值,就不像直接賦值那么簡單refcount加1了,而是申請了一個新的變量容器
xdebug_debug_zval('a'); //(refcount=2, is_ref=1),string 'aa' (length=2)
xdebug_debug_zval('e'); //(refcount=1, is_ref=0),string 'aa' (length=2)
unset和賦值null都能回收變量么?很多人都錯認(rèn)為,這兩個都能回收變量空間,其實錯了,null只是把變量占用的空間變小了,從回收上來說,該容器依然存在。
<?php
$a = 'aa';
$b = $a;
$b = null;
//又申請了一個變量容器
xdebug_debug_zval('a'); //(refcount=1, is_ref=0),string 'aa' (length=2)
xdebug_debug_zval('b'); //(refcount=1, is_ref=0),null 變量空間并沒被回收
unset($b);
//這時候才釋放了b變量容器的空間
xdebug_debug_zval('a'); //(refcount=1, is_ref=0),string 'aa' (length=2)
xdebug_debug_zval('b'); //b: no such symbol
總結(jié):
1. 垃圾回收的時機(jī)
PHP中,引用計數(shù)為0,則內(nèi)存立刻釋放。也就是說,不存在環(huán)狀引用的變量,離開變量的作用域,內(nèi)存被立刻釋放。環(huán)狀引用檢測則是在滿足一定條件下觸發(fā),所以在上面的例子中,會看到使用的內(nèi)存有大幅度的波動。也可以通過 gc_collect_cycles 函數(shù)來主動進(jìn)行環(huán)狀引用檢測。
2. &符號的影響
顯式引用一個變量,會增加該內(nèi)存的引用計數(shù):
$a = "something";
$b = &$a;
此時unset($a), 但是仍有$b指向該內(nèi)存區(qū)域的引用,內(nèi)存不會釋放。
3. unset函數(shù)的影響
unset只是斷開一個變量到一塊內(nèi)存區(qū)域的連接,同時將該內(nèi)存區(qū)域的引用計數(shù)-1;在上面的例子中,循環(huán)體內(nèi)部,$a=new A(); unset($a);并不會將$a的引用計數(shù)減到零;
4. = null 操作的影響;
$a = null 是直接將$a 指向的數(shù)據(jù)結(jié)構(gòu)置空,同時將其引用計數(shù)歸0。
5. 腳本執(zhí)行結(jié)束的影響
腳本執(zhí)行結(jié)束,該腳本中使用的所有內(nèi)存都會被釋放,不論是否有引用環(huán)。