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還將復制數組值，前提是且僅當上一個點應用并且迭代是通過引用完成時