一、問題
先看一個(gè)例子：

<?php
$ar = array(1, 2, 3);
var_dump($ar);
foreach ($ar as &$v) {}
foreach ($ar as $v) {}
var_dump($ar);
?>
輸出為：

array(3) {
  [0]=>
  int(1)
  [1]=>
  int(2)
  [2]=>
  int(3)
}
array(3) {
  [0]=>
  int(1)
  [1]=>
  int(2)
  [2]=>
  &int(2)
}
？？？為什么沒有進(jìn)行賦值操作，數(shù)組最后一個(gè)元素的值卻發(fā)生了改變呢？

我早就發(fā)現(xiàn)了這個(gè)問題，一開始以為是 PHP 的 bug，就扔著沒管它， foreach 中不使用引用就沒事， 用 foreach $k => $v 然后 $ar[$k] 來改變?cè)紨?shù)組， 略微損失點(diǎn)效率。

二、分析

今天花了點(diǎn)時(shí)間，看了 參考 中的文章， 算是稍微明白一點(diǎn)了，原來是這個(gè)樣子的：

在執(zhí)行第一個(gè)使用引用的 foreach 時(shí)， 一開始， $v 指向 $ar[0] 的存儲(chǔ)空間，空間內(nèi)存儲(chǔ)著 1 ， foreach 結(jié)束時(shí)， $v 指向 $ar[2] 的存儲(chǔ)空間，空間內(nèi)存儲(chǔ)著 3 。 下面要開始執(zhí)行第二個(gè) foreach 了，注意和第一個(gè) foreach 不同， 第二個(gè) foreach 沒有使用引用，那么就是賦值方式， 即將 $ar 的值依次 賦值 給 $v 。 進(jìn)行到第一個(gè)元素時(shí)，要將 $ar[0] 賦值給 $v 。 問題就在這里，由于剛剛執(zhí)行完第一個(gè) foreach， $v 不是一個(gè)新變量，而是已經(jīng)存在的、指向 $ar[2] 的那個(gè) 引用 ， 如此一來，對(duì) $v 進(jìn)行賦值的時(shí)候，就將 $ar[0] = 1 寫入了 $ar[2] 的實(shí)際存儲(chǔ)空間， 相當(dāng)于對(duì) $ar[2] 進(jìn)行賦值。 依此類推，第二個(gè) foreach 執(zhí)行的結(jié)果， 就是數(shù)組的最后一個(gè)元素變成了倒數(shù)第二個(gè)元素的值。 參考文章 2 中有詳細(xì)的示意圖。

如果說這是一個(gè)錯(cuò)誤，那么錯(cuò)誤的原因就在于對(duì)引用變量的使用。 當(dāng)引用變量指向和其他變量時(shí)，改變引用變量的值當(dāng)然會(huì)影響到他指向的其他變量。 單獨(dú)說誰都明白，但在這個(gè) foreach 例子中，湊巧了， 同一個(gè)變量?jī)纱伪皇褂?，前一次是引用的身份，后一次是普通變量身份?就產(chǎn)生了意料之外的效果。 PHP 的開發(fā)者也認(rèn)為，這種情況屬于語言特性造成的，不是 bug。 的確，如果要修復(fù)這個(gè)問題，一種方法是對(duì) foreach 進(jìn)行特殊處理之外， 另外一種就是限制 foreach 中 $v 的作用域， 這兩種方式都與目前 PHP 的語言特性不符，開發(fā)人員不愿改， 但還是在 官方文檔 中用 Warning 進(jìn)行了說明。

三、解決方法

簡(jiǎn)單，但談不上完美，就是在使用了引用的 foreach 之后， unset 掉 $v ， 開始的例子改為：

<?php
$ar = array(1, 2, 3);
var_dump($ar);
foreach ($ar as &$v) {}
unset($v);
foreach ($ar as $v) {}
var_dump($ar);
?>
運(yùn)行結(jié)果：

array(3) {
  [0]=>
  int(1)
  [1]=>
  int(2)
  [2]=>
  int(3)
}
array(3) {
  [0]=>
  int(1)
  [1]=>
  int(2)
  [2]=>
  int(3)
}

參考

Bug #29992 foreach by reference corrupts the array:https://bugs.php.net/bug.php?id=29992
References and foreach:http://schlueters.de/blog/archives/141-References-and-foreach.html

最新評(píng)論