看有人遇到问题,尝试寻找了下问题的原因。
在写一个方法的时候,遇到这个问题,将问题简化下,如下:
- $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;
- }
但是写在函数中结果却不同了,如下:
- $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;
- }
- }
其实都是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; <span style="font-family: Arial, Helvetica, sans-serif;">// 此时并没有复制,是引用关系,可以看作是函数复制调用</span>
- 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