php中foreach循环中键值使用&的问题

Question

代码如下：

$a = [1, 2, 3];
foreach($a as $key => &$value) {
    $value = 5;
}
var_dump($a);

最后输出结果如下：

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

问题：为什么会在最后的键值前出现取地址符？

Answer 1

这个var_dump里出现的&代表你可以用一个其他的变量来改变它的值。
比如你这样

$b = &$a[0];
var_dump($a);

这里打印的时候就会在第一个键值里出现&符号，表示你可以用其他变量（$b)来更改它的值。

先来了解一下&的基本用法。

$b = $c = 1;
$a = &$b;
$a = 2;
echo "b=$b,c=$c\n";
$a = &$c;
$a = 100;
$a = 200;
echo "b=$b,c=$c\n";
unset($a);
$a = 500;
echo "b=$b,c=$c\n";

上面$a指定成$b的引用之后，除非再次指定成其他引用，或者unset($a)，否则改变$a就是改变对应的$b的值。

对于你这个foreach，也是同样的道理，你把循环单步拆开，就是这个样子：

$value = &$a[0];
$value = 5;
$value = &$a[1];
$value = 5;
$value = &$a[2];
$value = 5;

循环运行到最后的时候，$value是$a[2]的引用，所以就相当于这么个形式：

$a[0] = 5;
$a[1] = 5;
$value = &$a[2];
$a[2] = 5;
var_dump($a);

也就不难理解为什么var_dump会在最后的键值对上打印出一个&的符号了吧。

---

一般情况下这个不会导致什么大问题，只不过由于foreach的作用域问题，会导致在循环退出之后$value依旧可以使用，所以会出现一些匪夷所思的bug。

比如这样

$a = [1, 2, 3];
foreach($a as $key => &$value) {
    $value = $value+5;
}
var_dump($a); // [6,7,8]
foreach($a as $value){}
var_dump($a); // [6,7,7]

加了一句空的foreach之后，反而导致$a变的不合理了，这个bug匪夷所思，原因也是因为那个空foreach里的$value是最上面那个&a[2]的引用。

那个空foreach相当于这样：

$value = &$a[2];
$value = $a[0];
$value = $a[1];
$value = $a[2];

注意到了么，由于$value是$a[2]的引用，所以上面的改写一下就是这样：

$a[2] = $a[0];
$a[2] = $a[1];
$a[2] = $a[2];

空foreach里在不停的改变$a[2]，而由于$a[2]已经变成$a[1]的值了，所以$a[2] = $a[2];没有任何影响，值还是$a[1];

这种匪夷所思的bug是由于$value这个变量的作用域导致的，所以要么改个名，要么先把$value给unset掉。

$a = [1, 2, 3];
foreach($a as $key => &$value) {
    $value = $value+5;
}
var_dump($a);
// 要么unset
unset($value);
// 要么foreach里不要用上面同名的$value,改为$value2222
foreach($a as $value2222){}
var_dump($a);

Answer 2

首先我想说，这是一个非常非常好的问题。我相信题主并不是分不清引用与非引用。
我先做了一下两个测试：

$a = [1, 2, 3];
foreach($a as $key => &$value) {
    $value = 5;
}
foreach($a as $key => $value) {
    $value = 6;
}
var_dump($a);

你猜输出是什么？

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

另外一个测试是：

$a = [1, 2, 3];
foreach($a as $key => &$value) {
    $value = 5;
}
foreach($a as $key => $value2) {
    $value2 = 6;
}
var_dump($a);

这次的输出就看上去正常多了:

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

所以说，这个问题应该是php全局变量的一个坑。