递归二分查找 望大姐 帮忙 求解释

递归二分查找 望各位大哥大姐 帮忙 求解释
$Arr=array(1,2,3,4,5,6);
Search($Arr,6,0,count($Arr)-1);
function Search($Arr,$FindVal,$LeftIndex,$RightIndex){
if($FindVal>$Arr[count($Arr)-1]){
echo "找不到该值";
}else if($FindVal echo "找不到该值";
}else{
$MiddleIndex=round(($LeftIndex+$RightIndex)/2);
if ($Arr[$MiddleIndex] Search($Arr,$FindVal,++$MiddleIndex,$RightIndex);
}else if($Arr[$MiddleIndex]>$FindVal){
Search($Arr,$FindVal,$LeftIndex,--$MiddleIndex);
}else{
echo "找到下标为$MiddleIndex";
}
}
}
?> 这是递归的二分查找的代码 求高手细致深入解释 目前对这个递归的方法 不知道是怎么实现的 望深入解释 尤其是每次判断符合条件时候 然后再次调用函数 我就有点晕了 谢谢大家帮忙解释

分享到：
------解决方案--------------------
教你怎么画时序图，自己多分析

------解决方案--------------------
在不基于你发出代码的前提下，函数的内部和外部的变量名没有任何联系，所以可以次序可以任意改变。
就拿上边的时序图来说，你可以认为每一个纵列都是一个全新的环境，例如有3个纵列都有变量$a,但是它们指代不同的事物(内存空间)
全局环境下的$a 
------解决方案--------------------
 第一次函数环境下的$a 
------解决方案--------------------
 第二次函数环境下的$a
尽管从名字上都一样，但是它们确实不同

就好像一楼有张三，二楼有张三，三楼有张三，是指3个人，而不是同一个人，因为他们所处的环境不一样。

但是基于你发出代码的逻辑来说，就不能换了，因为环境1中的$RightIndex和环境2中$RightIndex都需要相同值，所以不能换。