「末尾再帰」の版間の差分
imported>Administrator 編集の要約なし |
Administrator (トーク | 投稿記録) 編集の要約なし |
||
| (同じ利用者による、間の2版が非表示) | |||
| 1行目: | 1行目: | ||
'''末尾再帰'''（読み：まつびさいき、[[英語]]：tail | '''末尾再帰'''（読み：まつびさいき、[[英語]]：tail recursive）とは、ある[[関数]]の最後の1行（return直前）に[[再帰]]を記述する[[プログラミング]]のテクニックである。 | ||
= | 「関数の終わりの一行」ではなく「return直前の再帰処理」が末尾再帰である。ifとelseで分岐しても両方がreturnで終わるなら末尾再帰に該当する。 | ||
<source lang=csharp> | |||
int func() { | |||
if (x) | |||
return recursive1(); | |||
else | |||
return recursive2(); | |||
} | |||
</source> | |||
賢い[[コンパイラ]]だと[[最適化]]の際にこの末尾再帰を検出すると自動的に「[[再帰]]を[[再帰]]ではない形式に展開」してくれる。これを[[末尾再帰最適化]]といい、[[スタック]]を食いつぶすなどの[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決することができる。 | |||
=== 例 === | === 例 === | ||
| 37行目: | 44行目: | ||
* [[真正末尾再帰]] | * [[真正末尾再帰]] | ||
* [[再帰]] | * [[再帰]] | ||