PHP數(shù)組通過Copy-on-Write（寫時復(fù)制）機(jī)制實現(xiàn)高效內(nèi)存管理，即多個變量共享同一數(shù)組直到發(fā)生寫操作時才複製；1. 賦值時僅增加zval的引用計數(shù)，不立即復(fù)制數(shù)據(jù)；2. 當(dāng)修改數(shù)組且refcount>1時觸發(fā)複製；3. 引用賦值（&）使變量共享zval，繞過COW機(jī)制；4. 混合引用與普通變量可能導(dǎo)致隱式分離和性能開銷；5. 函數(shù)傳參默認(rèn)按值傳遞但受COW保護(hù)，只讀不復(fù)制；6. 引用傳參可修改原數(shù)組；7. unset減少refcount，但引用存在時數(shù)組不釋放；因此，應(yīng)避免不必要的引用，遍歷大數(shù)組無需擔(dān)心性能，理解zval與refcount機(jī)制有助於編寫高效且可預(yù)測的代碼。

PHP 的數(shù)組在底層實現(xiàn)中有一套高效且巧妙的機(jī)制，理解其內(nèi)部行為，特別是Copy-on-Write（寫時復(fù)制）和引用語義（Reference Semantics） ，對於編寫高性能和避免意外行為的PHP 代碼至關(guān)重要。

什麼是Copy-on-Write？

Copy-on-Write（簡稱COW）是一種優(yōu)化策略：多個變量可以共享同一份數(shù)據(jù)的內(nèi)存，直到其中某個變量嘗試修改數(shù)據(jù)時，才真正複製一份獨(dú)立的副本。在PHP 中，數(shù)組變量賦值默認(rèn)就是這種機(jī)制。

舉個例子：

 $a = [1, 2, 3];
$b = $a; // 並未立即復(fù)制數(shù)組$b[] = 4; // 此時觸發(fā)寫時復(fù)制，$b 得到獨(dú)立副本

在$b = $a這一步，PHP 並不會立刻複製整個數(shù)組，而是讓$a和$b指向同一個zval （PHP 的變量容器）。這個zval 的引用計數(shù)（refcount）會增加。只有當(dāng)$b被修改時（如添加元素），PHP 才會為$b創(chuàng)建數(shù)組的副本，確保$a不受影響。

關(guān)鍵點：引用計數(shù)與寫時復(fù)制觸發(fā)

• 當(dāng)一個數(shù)組被賦值給另一個變量時，refcount 加1。
• 只有在“寫”操作發(fā)生且refcount > 1 時，才會觸發(fā)複製。
• 讀取操作（如foreach 、 isset ）不會觸發(fā)複製。

這意味著，大量只讀共享數(shù)組的場景下，內(nèi)存使用非常高效。

引用賦值：打破Copy-on-Write

使用引用賦值（ & ）可以顯式讓兩個變量共享同一個zval，即使修改也不會觸發(fā)複製。

 $a = [1, 2, 3];
$b = &$a; // $b 是$a 的引用$b[] = 4; // 直接修改共享數(shù)據(jù)var_dump($a); // 輸出: [1, 2, 3, 4]

此時$a和$b永遠(yuǎn)指向同一個zval。任何一方的修改都會影響另一方。這種行為繞過了COW 機(jī)制。

注意：引用與普通變量混合時的陷阱

$a = [1, 2, 3];
$b = $a; // 普通賦值，共享zval（refcount=2）
$c = &$a; // $a 變成引用，PHP 必須分離$b

在這個例子中，當(dāng)$c = &$a執(zhí)行時，PHP 發(fā)現(xiàn)$a正在被普通變量$b共享，而又要變成引用，於是必須將$b分離出去，創(chuàng)建副本，以保證$c和$a共享新zval，而$b使用舊副本。這個過程稱為分離（separation） ，可能帶來隱式性能開銷。

函數(shù)傳參中的數(shù)組行為

函數(shù)傳參時，數(shù)組默認(rèn)按值傳遞，但依然受COW 保護(hù)：

 function modify($arr) {
    $arr[] = 4;
}

$a = [1, 2, 3];
modify($a);
var_dump($a); // 仍然是[1, 2, 3]

雖然傳參看起來像複製，但實際上PHP 仍使用COW：函數(shù)內(nèi)的$arr初始時與$a共享zval。只有當(dāng)$arr被修改時才複製。如果函數(shù)只讀數(shù)組，則完全不復(fù)制，非常高效。

若想在函數(shù)內(nèi)修改原數(shù)組，需使用引用傳參：

 function modify(&$arr) {
    $arr[] = 4;
}
modify($a); // $a 被修改

unset 與引用的交互

unset會減少zval 的refcount。當(dāng)refcount 降為0，內(nèi)存被釋放。

但涉及引用時要注意：

 $a = [1, 2, 3];
$b = &$a;
unset($a); // $b 仍有效，指向數(shù)組

因為$b仍引用該zval，所以數(shù)組不會被銷毀。

實際建議與最佳實踐

• 避免不必要的引用：除非明確需要共享狀態(tài)，否則不要使用& 。引用容易導(dǎo)致意外修改和調(diào)試?yán)щy。
• 遍歷大數(shù)組時無需擔(dān)心性能： foreach ($array as $item)不會復(fù)制數(shù)組，因為是只讀操作。
• 修改數(shù)組前考慮是否真的需要副本：PHP 的COW 已經(jīng)為你做了最優(yōu)選擇。
• 注意引用與普通變量的混合：可能導(dǎo)致隱式數(shù)組複製，影響性能。

基本上就這些。 PHP 數(shù)組的Copy-on-Write 機(jī)制在大多數(shù)情況下“隱形”地提升了性能，而引用語義則提供了靈活性，但也要求開發(fā)者更小心地管理變量關(guān)係。理解zval、refcount 和分離機(jī)制，能幫你寫出更高效、更可預(yù)測的代碼。

以上是PHP陣列內(nèi)部：了解抄寫和參考語義的詳細(xì)內(nèi)容。更多資訊請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！