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

$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";
}
}
}
?> 这是递归的二分查找的代码 求高手细致深入解释 目前对这个递归的方法 不知道是怎么实现的 望深入解释 尤其是每次判断符合条件时候 然后再次调用函数 我就有点晕了 谢谢大家帮忙解释

回复讨论(解决方案)

还有 今后实际开发的过程中 涉及算法还有这类查找的知识用的多不多？

当满足这个条件时 if ($Arr[$MiddleIndex] Search($Arr,$FindVal,++$MiddleIndex,$RightIndex); 
这里的++$MiddleIndex 返回的值 是不是把$LeftIndex给替换了？

等于返回后 function Search($Arr,$FindVal,$LeftIndex,$RightIndex) 这里的值 分别是$Arr $FindVal还是6  $LeftIndex就等于了之前的$MiddleIndex 也就是等于了4？  这样理解对吗

你在函数入口处加上
echo "FindVal:$FindVal LeftIndex:$LeftIndex RightIndex:$RightIndex\n";
不就看清楚了吗？

教你怎么画时序图，自己多分析

非常感谢   还有个问题就是  第二次调用Search($Arr,$FindVal,++$MiddleIndex,$RightIndex); 的时候  里面的 变量位置不可以改变吗？ 比如写成这样？Search($Arr,$FindVal,$RightIndex，++$MiddleIndex); 

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

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

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

教你怎么画时序图，自己多分析

你好，看了你的时序图，如果要查找的数组是 $arr=array(1,3,4,5,7,8,9),我发现要套好几层的函数。是我理解错误，还是确有此事，请教一下。谢谢。