差分

末尾再帰（まつびさいき、tail recursive）とは、'''末尾再帰'''（読み：まつびさいき、[[再帰英語]]のうち、：tail recursive）とは、ある[[関数]]の末尾にのみの最後の1行（return直前）に[[再帰]]を記述する[[プログラミング]]のテクニックである。

そんな小難しくて面倒なことをして何が嬉しいかというと、賢い「関数の終わりの一行」ではなく「return直前の再帰処理」が末尾再帰である。ifとelseで分岐しても両方がreturnで終わるなら末尾再帰に該当する。<source lang=csharp>int func() { if (x) return recursive1(); else return recursive2();}</source> 賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的にの際にこの末尾再帰を検出すると自動的に「[[再帰]]を[[再帰]]ではなく展開してくれる。これをではない形式に展開」してくれる。これを[[末尾再帰最適化]]といい、スタックを食いつぶすなどのといい、[[スタック]]を食いつぶすなどの[[再帰]]のデメリットをプログラマとコンパイラのコラボレーションで解決してくれる。のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決することができる。

<!--=== 例 ===[[C Sharp|C#]]での例。なお、での例。なお、[[C Sharp|C#]]では、マイクロソフト製のコンパイラで、ターゲットにx64を指定し、かつReleaseビルド（最適化を有効にした状態でビルド）を行った場合のみ末尾再帰最適化が行われる。Monoのコンパイラ（msc）でどうなるかは未調査。では「マイクロソフト製のコンパイラ」で、「ターゲットをx64を指定」し、かつ「Releaseビルド（最適化を有効にした状態でビルド）」を行った場合のみ[[末尾再帰最適化]]が行われる。[[Mono]]のコンパイラ（msc）でどうなるかは未調査。