PHP foreach何時複製

本文描述了PHP 5中foreach的複製行為。需要一些PHP內部工作原理的知識，即zvals, refcount和copy-on-write行為。

PHP的foreach是一個非常整齊和切中要害的語言結構。仍然有些人不喜歡使用它，因為他們認為它是緩慢的。一個通常命名的原因是foreach複製它迭代的數組。

因此，有些人建議寫:

$keys = array_keys($array);
$size = count($array);
for ($i = 0; $i < $size; $i++) {
    $key   = $keys[$i];
    $value = $array[$key];

    // ...
}

而不是更直觀和直接:

foreach ($array as $key => $value) {
    // ...
}

這裡有兩個問題:

##Microoptimization是不好的。通常，它只會浪費您的時間，不會帶來任何可度量的效能改進。

foreach的複製行為比大多數人認為的要複雜一些。通常情況下，「優化」的版本會比原始版本慢。

foreach什麼時候複製?

foreach是否複製數組以及複製的數量取決於三件事:

是否引用了迭代數組、它的refcount有多高以及迭代是否透過引用完成。

沒有引用，refcount == 1

在下面的程式碼中，$array沒有被引用，且refcount為1。在這種情況下，foreach不會複製數組(證明)——這與流行的觀點相反，即foreach總是複製沒有引用的迭代數組。

test();
function test() {
    $array = range(0, 100000);
    foreach ($array as $key => $value) {
        // ...
    }
}

原因很簡單:為什麼要這樣做?foreach修改$array的唯一地方是它是內部陣列指標。這是預期的行為，因此不需要預防。

未引用，refcount > 1

下面的程式碼看起來非常類似前面的程式碼。唯一的區別是數組現在作為參數傳遞。這似乎是一個無關緊要的區別，但它確實改變了foreach的行為:

它現在將複製數組結構，而不是值(證明;如果你想知道這只是複製的結構，比較這個和那個腳本。第一個只複製結構，第二個兩個都複製)。

$array = range(0, 100000);
test($array);
function test($array) {
    foreach ($array as $key => $value) {
        // ...
    }
}

乍看之下這可能有點奇怪:

為什麼當陣列通過參數傳遞時，它會複製，但如果它是在函數中定義的，它就不會複製了?原因是數組zval現在在多個變數之間共享:函數外部的$array變數和函數內部的$array變數。如果foreach在不複製數組結構的情況下迭代數組，那麼它不僅會改變函數中$array變數的數組指針，還會改變函數外$array變數的指針。因此foreach需要複製數組結構(即散列表)。另一方面，這些值仍然可以共享zvals，因此不需要複製。

引用

下一個情況與前一個情況非常相似。唯一的區別是數組是透過引用傳遞的。在這種情況下，數組將不會被複製(證明)。

$array = range(0, 100000);
test($array);
function test(&$array) {
    foreach ($array as $key => $value) {
        // ...
    }
}

在這種情況下，相同的推理適用於前一種情況:外部$數組和內部$數組共享zvals。不同的是，它們現在是引用(isref == 1)，因此在這種情況下，對內部數組的任何更改都將對外部數組進行。所以如果內部數組的數組指標改變了，外部數組的數組指標也應該改變。這就是foreach不需要複製的原因。

迭代透過引用

上面的範例都是按值迭代的。對於引用迭代，應用相同的規則，但是附加值引用更改數組值的複製行為(關於結構複製的行為保持不變)。

情況「未引用，refcount == 1」沒有改變。引用迭代意味著如果$值有任何變化，我們想要改變原始數組，這樣數組就不會被複製(證明)。

「被引用」的情況也保持不變，在這種情況下，對$value的更改應該會更改引用迭代數組的所有變數(證明)。

只有「未引用，refcount > 1」的情況發生了變化，因為現在需要複製陣列結構及其值。陣列結構，因為否則函數外部的$array變數的陣列指標會改變，而對$value的改變也會改變外部的$array值(證明)。

總結

當且僅當迭代數組未被引用且具有refcount > 1時，foreach將複製數組結構

foreach也將複製數組值，前提是且僅當上一個點應用並且迭代是透過引用完成時

以上是PHP foreach何時複製的詳細內容。更多資訊請關注PHP中文網其他相關文章！