使用腳本語言最大的好處之一就是可利用其擁有的自動垃圾回收機制（釋放內(nèi)存）。你不需要在使用完變量后做任何釋放內(nèi)存的處理，PHP會幫你完成。當(dāng)然，我們可以按自己的意愿調(diào)用 unset() 函數(shù)來釋放內(nèi)存，但通常不需要這么做。不過在PHP里，至少有一種情況內(nèi)存不會得到自動釋放，即便是手動調(diào)用 unset()。詳情可考：http://bugs.php.net/bug.php?id=33595。

問題癥狀如果兩個對象之間存在著相互引用的關(guān)系，如“父對象-子對象”，對父對象調(diào)用 unset()不會釋放在子對象中引用父對象的內(nèi)存（即便父對象被垃圾回收，也不行）。有些糊涂了？我們來看下面的這段代碼：

<?phpclass Foo {function __construct(){$this->bar = new Bar($this);}}class Bar {function __construct($foo = null){$this->foo = $foo;}}while (true) {$foo = new Foo();unset($foo);echo number_format(memory_get_usage()) . 'n';}?>運行這段代碼，你會看到內(nèi)存使用率越來越高越來越高，直到用光光。

...33,551,61633,551,97633,552,33633,552,696PHP Fatal error:; Allowed memory size of 33554432 bytes exhausted(tried to allocate 16 bytes) in memleak.php on line 17對大部分PHP程序員來講這種情況不算是什么問題。可如果你在一個長期運行的代碼中使用到了一大堆相互引用的對象，尤其是在對象相對較大的情況下，內(nèi)存會迅速地消耗殆盡。

Userland解決方案雖然有些乏味、不優(yōu)雅，但之前提到的 bugs.php.net 鏈接中提供了一個解決方案。這個方案在釋放對象前使用一個 destructor 方法以達到目的。Destructor 方法可將所有內(nèi)部的父對象引用全部清除，也就是說可以將這部分本來會溢出的內(nèi)存釋放掉。以下是“修復(fù)后”的代碼：

<?phpclass Foo {function __construct(){$this->bar = new Bar($this);}function __destruct(){unset($this->bar);}}class Bar {function __construct($foo = null){$this->foo = $foo;}}while (true) {$foo = new Foo();$foo->__destruct();unset($foo);echo number_format(memory_get_usage()) . 'n';}?>注意那個新增的Foo::__destruct()方法，以及在釋放對象前對 $foo->__destruct() 的調(diào)用。現(xiàn)在這段代碼解決了內(nèi)存使用率一直增加的問題，這么一來,代碼就可以很好的工作了。

PHP內(nèi)核解決方案？為什么會有內(nèi)存溢出的發(fā)生？我對PHP內(nèi)核方面的研究并不精通，但可以確定的是此問題與引用計數(shù)有關(guān)系。在 $bar 中引用 $foo 的引用計數(shù)不會因為父對象 $foo 被釋放而遞減，這時PHP認(rèn)為你仍需要 $foo 對象，也就不會釋放這部分的內(nèi)存……大概是這樣。這里確實可以看出我的無知，但大體意思是：一個引用計數(shù)沒有遞減，所以一些內(nèi)存永遠得不到釋放。在前面提到的 bugs.php.net 鏈接中我看到修改垃圾回收的過程將會犧牲極大的性能，因為我對引用計數(shù)了解不多，所以我認(rèn)為這是真的。與其改變垃圾回收的過程，為什么不用 unset() 對內(nèi)部對象做釋放的工作呢？（或者在釋放對象的時候調(diào)用 __destruct()？）也許PHP內(nèi)核開發(fā)者可以在此或其他地方，對這種垃圾回收處理機制做出修改。更新：Martin Fjordvald 在評論中提到了一個由 David Wang 為垃圾回收所寫的補丁（其實它看起來更像“一整塊布”——非常巨大。詳情參見此郵件結(jié)尾的CVS導(dǎo)出信息。）確實存在（一封郵件），并受到了PHP內(nèi)核開發(fā)成員的關(guān)注。問題是這個補丁要不要放到PHP5.3中并未得到太多支持。我覺得一個不錯的折中方案就是在 unset() 函數(shù)中調(diào)用對象中的 __destruct() 方法；