PHP 與 C# 值類型賦值機制差異深度解析：寫時複製 vs 立即複製

理解語言的值類型賦值語義，對預測內存行為、避免副作用至關重要。PHP 採用 Copy-on-Write (COW)，而 C# 值類型採用 立即深拷貝。本文從底層機制、代碼演示、性能影響三個維度深度對比。

核心差異速覽

PHP 代碼演示：COW 機制

<?php
$a = 2;
$b = $a; // 此時 $b 與 $a 指向同一 zval（refcount=2）

echo "修改前: \$a=$a, \$b=$b\n"; // 2, 2

$a = 5; // 寫入觸發分離：為 $a 分配新 zval，值複製為 5；$b 仍指向舊 zval(2)

echo "修改後: \$a=$a, \$b=$b\n"; // 5, 2

// 數組同理
$arr1 = [1,2,3];
$arr2 = $arr1; // 共享底層 Bucket 數組
$arr1[0] = 99; // 寫時複製：分離數組
var_dump($arr1, $arr2); // arr1[0]=99, arr2[0]=1
?>

C# 代碼演示：立即複製

// C#
int a = 2;
int b = a; // 立即在棧上為 b 分配 4 字節，複製值 2
a = 5;     // 僅修改 a 的棧槽，b 仍為 2

// 結構體同理
struct Point { public int X, Y; }
Point p1 = new Point { X = 1, Y = 2 };
Point p2 = p1; // 立即逐字段複製（淺拷貝，字段若為引用類型則共享引用）
p1.X = 99;     // p2.X 仍為 1

底層原理對比

PHP：zval + 引用計數

• 所有變量指向 zval 結構體（含類型、值、refcount、is_ref）
• 賦值：refcount++，指針指向同一 zval
• 寫入：檢測 refcount > 1 → 分離：refcount--，分配新 zval，複製值，修改新 zval
• 數組：底層 HashTable，同樣 COW，修改鍵值觸發分離

C#：棧分配 + 逐位複製

• 值類型（int、struct、enum）直接存儲在棧上
• 賦值 = 內存拷貝（memcpy 級），無引用計數概念
• 傳參默認按值（複製），ref 傳地址
• 引用類型（class）引用存棧，對象存堆，賦值複製引用

性能與設計啟示

• PHP 大數組只讀傳遞極快：函數參數、foreach 遍歷無拷貝開銷
• PHP 意外修改風險：foreach 引用循環 foreach ($arr as &$v) 會導致原數組被修改，需 unset($v) 清理
• C# 結構體設計原則：struct 建議 < 16 字節、不可變、邏輯單一，避免頻繁拷貝開銷
• 跨語言遷移注意：將 C# 結構體邏輯移植 PHP 時，數組/對象語義差異極大，需重新設計數據流

總結：PHP 的 COW 優化了「讀多寫少」場景，C# 的立即複製保證了值語義的直觀性與線程安全。理解差異，才能寫出符合語言習慣的高性能代碼。