PHP 變數參考與物件參考深度解析：原理、陷阱與最佳實踐

前言

PHP 的參考（Reference）讓多個變數指向同一份資料（zval 容器），是效能優化與複雜資料結構操作的利器，但也因「寫時複製」機制與版本差異產生許多陷阱。本文系統整理變數參考、函式參考傳遞/回傳、物件參考、取消參考、全域參考等核心概念，並附上經典面試題解析。

基本語法與語意

$a = & $b;  // $a 與 $b 指向同一 zval 容器，非指標、非「$a 指向 $b」

• 修改任一變數，另一變數同步變化。
• unset($a) 僅斷開 `$a` 與 zval 的綁定，不銷毀資料（`$b` 仍可存取）。

函式參考傳遞

function add100(&$n) { $n += 100; }
$b = 1;
add100($b); // $b 變為 101

• 函式定義參數加 &，呼叫端**不需**加 &（PHP 5.4+ 呼叫端加 & 會報 Deprecated）。
• 無法傳遞常值：add100(1) 會報錯，必須是變數。

函式參考回傳

function &getCounter() {
    static $c = 0;
    $c++;
    return $c;
}

$v1 = getCounter();  // 1  （值拷貝）
$v1 = 5;
$v2 = getCounter();  // 2  （$v1 修改不影響靜態變數）

$v3 = &getCounter(); // 3  （參考回傳，綁定靜態變數 $c）
$v3 = 5;
$v4 = getCounter();  // 6  （$c 已被改為 5，再 +1 = 6）

• 定義與呼叫**雙方都要加 &**。
• 主要用於「讓呼叫端直接操作函式內部靜態/成員變數」，現代較少見，常以物件屬性取代。

物件參考：PHP 5 vs PHP 4/7+

class A { public $v = 'ABC'; }
$b = new A;
$c = $b;        // PHP 5/7/8：$c 與 $b 指向同一物件實例（隱性參考）
$c->v = 'DEF';
echo $b->v;     // DEF

• **PHP 5 起預設物件指派為參考行為**（實際是物件識別子複製），不再需要 $c = &$b。
• 需**獨立副本**時，使用 clone：$copy = clone $obj; 並可實作 __clone() 深層複製。
• 效能/記憶體：大型陣列/物件傳遞給函式時，若**唯讀**無需參考（寫時複製機制自動優化）；若**需修改原值**，才加 & 參考傳遞。

參考的實際用途與建議

特殊參考：global、$this

• global $var 等同 $var = & $GLOBALS['var']，建立到全域變數的參考。
• 函式內 global $var; $var = &$other; 僅改變區域參考，不影響全域。需改全域請用 $GLOBALS['var'] = &$other;。
• $this 永遠是呼叫物件的參考，不可重新指派。

取消參考：unset()

$a = 1; $b = &$a; unset($a); // $b 仍為 1，$a 被銷毀

unset 僅移除符號表項目，不影響 zval 參考計數（refcount）。當 refcount 歸零時才真正釋放記憶體。

寫時複製（Copy-on-Write）機制

$a = 'ABC';  // zval(refcount=1, is_ref=0)
$b = $a;     // zval(refcount=2, is_ref=0)  共享同一記憶體
$a = 'EFG';  // 觸發寫時複製：為 $a 分配新 zval，原 zval 留給 $b

• 參考賦值 $b = &$a 會將 is_ref=1，之後修改任一變數**不會**觸發複製，直接修改共享 zval。
• 這是 PHP 記憶體高效的核心，理解它能避免不必要的參考濫用。

經典面試題解析

$a = 1;
$x = &$a;   // $x 參考 $a
$b = $a++;  // 後置遞增：$b = 1, $a = 2
// 結果：$b = 1, $x = 2（$x 參考 $a，故同步變化）

關鍵點：$a++ 先取值再遞增，但因 $x 參考 $a，遞增動作直接作用於共享 zval，故 $x 同步看到新值 2。

總結

PHP 參考是「符號表別名」而非 C 指標。核心原則：

1. **預設值傳遞、寫時複製**已涵蓋 90% 場景，勿濫用 &。
2. **需修改原值**時（大型陣列、純量輸出參數），在函式參數加 &。
3. **物件指派預設即參考行為**，需副本用 clone。
4. **foreach 參考修改**後務必 unset($v)。
5. 理解 refcount/is_ref 與 unset 行為，能避免記憶體洩漏與邏輯錯誤。