深入理解 PHP 記憶體管理與垃圾回收機制

前言

PHP 採用「複製時寫入」與「參考計數」機制管理記憶體。理解 `refcount`、`is_ref` 運作原理，對於編寫高效能、無記憶體洩漏的長期執行腳本（如 CLI 常駐程式、Swoole 服務）至關重要。

核心概念

賦值與參考的行為差異

一般賦值

$a = 'aa';           // refcount=1, is_ref=0
$b = $a;             // refcount=2, is_ref=0（共用同一容器）
unset($b);           // refcount=1, $b 銷毀
$b = $a;             // refcount=2
$b = 'bb';           // 觸發 Copy-on-Write：$b 分配新容器，$a refcount=1

參考賦值

$a = 'aa';           // refcount=1, is_ref=0
$b = &$a;            // refcount=2, is_ref=1（標記為參考集合）
$b = '123';          // 直接修改共用容器，$a 也變成 '123'
unset($b);           // refcount=1, is_ref=0（參考解除，恢復一般變數）

多重參考與混合操作

$a = 'aa';
$b = &$a;            // refcount=2, is_ref=1
$c = &$a;            // refcount=3, is_ref=1
unset($b);           // refcount=2, is_ref=1（不歸零，is_ref 維持 1）
$e = $a;             // 參考集合中複製：$e 分配新容器，refcount=1, is_ref=0

unset() vs 設為 null

$a = 'aa'; $b = $a;
$b = null;           // $b 指向新的 null 容器，$a 不受影響
unset($b);           // 此時 $b 容器才真正被回收

垃圾回收觸發時機

1. 即時釋放：非循環引用變數，離開作用域且 refcount 歸零 → 立即釋放
2. 循環引用檢測：滿足特定條件（根緩衝區滿、呼叫 `gc_collect_cycles()`）觸發
3. 腳本結束：所有記憶體強制釋放，不論是否有循環引用

& 參考符號的影響

$a = "data";
$b = &$a;            // 顯式參考，refcount+1, is_ref=1
unset($a);           // $a 消失，但 $b 仍指向該記憶體 → 不會釋放

實務最佳實踐

1. 大型陣列/物件處理完畢後：主動 `unset($largeVar)` 釋放記憶體
2. 長期執行腳本：定期呼叫 `gc_collect_cycles()` 強制清理循環引用
3. 避免不必要的參考：除非需修改原變數，否則勿濫用 `&`
4. 觀察記憶體用量：使用 `memory_get_usage()` / `memory_get_peak_usage()` 監控

總結

PHP 的記憶體管理核心在於「參考計數 + 複製時寫入」。掌握 `refcount`、`is_ref`、Copy-on-Write、循環引用檢測這幾個關鍵機制，才能真正掌控記憶體行為，避免長期執行程式的記憶體洩漏問題。