再帰二分探索について教えてください。

再帰二分探索について、兄弟姉妹の皆さんが
を手伝って説明できることを願っています。 $Arr=array(1,2,3,4,5,6);
Search($Arr,6,0,count($Arr)-1);
関数 Search($Arr,$FindVal,$LeftIndex,$RightIndex){
if($FindVal>$Arr[count($Arr)-1]){
echo "値が見つかりません";
}else if($FindVal<$Arr[0]){
echo "値が見つかりません";
}その他{
$MiddleIndex=round(($LeftIndex $RightIndex)/2);
if ($Arr[$MiddleIndex]<$FindVal){
Search($Arr,$FindVal, $MiddleIndex,$RightIndex);
}else if($Arr[$MiddleIndex]>$FindVal){
Search($Arr,$FindVal,$LeftIndex,--$MiddleIndex);
}その他{
echo "添え字 $MiddleIndex を検索";
}
}
}
?> これは再帰的バイナリ検索のコードです。現時点ではこの再帰的メソッドがどのように実装されているかがわかりません。特に詳細な説明が必要です。条件が満たされていると判断してから関数を再度呼び出すと、少しめまいを感じます。皆さん、説明していただきありがとうございます。

共有先:
-----解決策--------------------------------
タイミング ダイアグラムの書き方を教え、自分でさらに分析してください

-----解決策--------------------------------
発行したコードに基づくものではありません 前提として、関数の内部変数名と外部変数名に関連性がないため、順序は任意に変更できます。
上のタイミング図を例に挙げると、各列をまったく新しい環境として考えることができます。たとえば、変数 $a を持つ 3 つの列がありますが、それらは異なるもの (メモリ空間)
を参照しています。 グローバル環境の $a
-----解決策---------
初めての関数 $a環境
------解決策------------
2 番目の関数環境 $a
の下 名前は同じですが、実際は異なります

1階に張三、2階に張三、3階に張三があるように、環境が異なるため同一人物ではなく3人を指します。

ただし、発行したコードのロジックに基づくと、環境 1 の $RightIndex と環境 2 の $RightIndex はどちらも同じ値が必要なので変更できません。