PHP foreach 中使用引用的注意事项

问题 先看一个例子： ?php$ar = array1, 2, 3;var_dump$ar;foreach $ar as $v foreach $ar as $v var_dump$ar;? 输出为： array3 0= int1 1= int2 2= int3array3 0= int1 1= int2 2= int2 ？？？为什么没有进行赋值操作，数组最后一个元素的值却发生了改变呢

问题

先看一个例子：

<?php
$ar = array&#40;1, 2, 3&#41;;
var_dump&#40;$ar&#41;;
foreach &#40;$ar as &$v&#41; &#123;&#125;
foreach &#40;$ar as $v&#41; &#123;&#125;
var_dump&#40;$ar&#41;;
?>

输出为：

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

？？？为什么没有进行赋值操作，数组最后一个元素的值却发生了改变呢？

我早就发现了这个问题，一开始以为是 PHP 的 bug，就扔着没管它， foreach 中不使用引用就没事， 用 foreach $k => $v 然后 $ar[$k] 来改变原始数组， 略微损失点效率。

分析

今天花了点时间，看了 参考 中的文章， 算是稍微明白一点了，原来是这个样子的：

在执行第一个使用引用的 foreach 时， 一开始， $v 指向 $ar[0] 的存储空间，空间内存储着 1 ， foreach 结束时， $v 指向 $ar[2] 的存储空间，空间内存储着 3 。 下面要开始执行第二个 foreach 了，注意和第一个 foreach 不同， 第二个 foreach 没有使用引用，那么就是赋值方式， 即将 $ar 的值依次 赋值 给 $v 。 进行到第一个元素时，要将 $ar[0] 赋值给 $v 。 问题就在这里，由于刚刚执行完第一个 foreach， $v 不是一个新变量，而是已经存在的、指向 $ar[2] 的那个 引用 ， 如此一来，对 $v 进行赋值的时候，就将 $ar[0] = 1 写入了 $ar[2] 的实际存储空间， 相当于对 $ar[2] 进行赋值。 依此类推，第二个 foreach 执行的结果， 就是数组的最后一个元素变成了倒数第二个元素的值。 参考文章 2 中有详细的示意图。

如果说这是一个错误，那么错误的原因就在于对引用变量的使用。 当引用变量指向和其他变量时，改变引用变量的值当然会影响到他指向的其他变量。 单独说谁都明白，但在这个 foreach 例子中，凑巧了， 同一个变量两次被使用，前一次是引用的身份，后一次是普通变量身份， 就产生了意料之外的效果。 PHP 的开发者也认为，这种情况属于语言特性造成的，不是 bug。 的确，如果要修复这个问题，一种方法是对 foreach 进行特殊处理之外， 另外一种就是限制 foreach 中 $v 的作用域， 这两种方式都与目前 PHP 的语言特性不符，开发人员不愿改， 但还是在 官方文档 中用 Warning 进行了说明。

解决方法

简单，但谈不上完美，就是在使用了引用的 foreach 之后， unset 掉 $v ， 开始的例子改为：

<?php
$ar = array&#40;1, 2, 3&#41;;
var_dump&#40;$ar&#41;;
foreach &#40;$ar as &$v&#41; &#123;&#125;
unset&#40;$v&#41;;
foreach &#40;$ar as $v&#41; &#123;&#125;
var_dump&#40;$ar&#41;;
?>

运行结果：

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
• References and foreach

Zemanta