PHP中each与数组变量分离的那些事情

看有人遇到问题，尝试寻找了下问题的原因。

在写一个方法的时候，遇到这个问题，将问题简化下，如下：

$arr = array(1,2,3,4,5,6);
$n = 3;

foreach($arr as $key=>$val){
    if($val == $n) break;
}
while(list($k,$v) = each($arr)){
    echo $v;
}

由于 each() 循环不会自动重置的数组指针,那么上边代码执行输出： 456

但是写在函数中结果却不同了，如下：

$arr = array(1,2,3,4,5,6);
$n = 3;
test1($arr,$n);
function test1($arr,$n) {


    foreach($arr as $key=>$val){
        if($val == $n) break;
    }
    while(list($k,$v) = each($arr)){
        echo $v;
    }
}

代码执行结果为： 123456

其实都是php的变量"写时复制(copy on write)"惹的祸，为什么这么说，且看分析：

什么是"写时复制(copy on write)"？可以参看PHP内核探索：变量的引用与计数规则 与深入理解PHP原理之变量分离/引用(Variables Separation),这里用一个例子说明：

$arr = array(1,2,3,4,5,6);
$n = 3;

$arr1 = $arr; // 此时并没有复制，是引用关系
debug_zval_dump($arr); // recount = 3，因为debug_zval_dump有一次
$arr[0] = 1; // 此时有写操作，要分离
debug_zval_dump($arr); // recount = 2

php手册上说：
因为将一个数组赋值给另一个数组时会重置原来的数组指针，因此在上边的例子中如果我们在循环内部将$fruit 赋给了另一个变量的话将会导致无限循环。
php手册关于each介绍有提到，其实就是说数组变量分离的时候会重置数组的指针，看下面的例子：

$arr = array(1,2,3,4,5,6);
$n = 3;

$arr1 = $arr; // 此时并没有复制，是引用关系，可以看作是函数复制调用

foreach($arr as $key=>$val){
    if($val == $n) break;
}

debug_zval_dump($arr); // refcount = 3
list($k,$v) = each($arr); // 因为each会改变数组的指针，所以还是写操作，存在分离
echo $v;
debug_zval_dump($arr); // refcount = 2

至于&操作的话，不存在“变量分离”，或者说“变量分离”是在&操作的同时完成的。

$arr = array(1,2,3,4,5,6);
$n = 3;

$arr1 = &$arr; // 引用，“变量分离”是在&操作的同时完成

foreach($arr as $key=>$val){
    if($val == $n) break;
}

debug_zval_dump($arr); // refcount = 2
list($k,$v) = each($arr); // 不存在变量分离
echo $v;
debug_zval_dump($arr); // refcount = 2

相同的效果还有：

$arr = array(1,2,3,4,5,6);
$n = 3;

$arr1 = $arr; // 此时并没有复制，是引用关系，可以看作是函数复制调用

foreach($arr as $key=> &$val){ // 存在可能写的情况，变量分离
    if($val == $n) break;
}

debug_zval_dump($arr); // refcount = 2
list($k,$v) = each($arr); // 不存在变量分离
echo $v;
debug_zval_dump($arr); // refcount = 2

所以在使用each之前，最好是先用reset（如果存在引用会产生变量分离）统一重置数组指针，就可以避免上述问题。