|
|
| (3人の利用者による、間の5版が非表示) |
| 1行目: |
1行目: |
| '''末尾再帰最適化'''（まつびさいきさいてきか）とは、賢い[[コンパイラ]]が[[末尾再帰]]を検出すると、[[最適化]]時に[[再帰]]を展開し、消し去ってくれる機能のことである。
| |
|
| |
|
| [[末尾呼び出し最適化]]（[[Tail Call Optimization]]、[[TCO]]）の一種で、[[再帰]]だとその効果が絶大だという話であり、やっていることは同じである。
| |
|
| |
| [[末尾再帰]]であれば後に続く処理はないので、途中経過を保持する[[変数]]と、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて、[[再帰]]を無くす（展開する）ことができる。
| |
|
| |
| 末尾再帰最適化はこの[[末尾再帰]]の特性を利用し、[[再帰]]は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]を展開しておくと9割方[[ソースコード]]がクソ読みにくくなる、という問題を[[コンパイラ]]による[[最適化]]時に半自動で解決してくれる優れものである。
| |
|
| |
| == 末尾再帰最適化に対応した主なプログラミング言語 ==
| |
| [[末尾再帰最適化]]が行われるかは[[コンパイラ]]の気分次第であり、どうなるかわからない諸刃の剣。
| |
|
| |
| === C# ===
| |
| [[C Sharp|C#]]では、[[マイクロソフト]]製の[[コンパイラ]]で、ターゲットが[[x64]]、かつリリースビルド（最適化が有効な状態）でのみ末尾再帰最適化が行われる。つまりデフォルトでは最適化が無効となっているデバッグビルド時には末尾最適化が行われないという。
| |
|
| |
| [[Mono]]での結果については未調査。
| |
|
| |
| === Python ===
| |
| [[Python]]ではPython 2.4から導入された[[デコレーター]]を用いて[[メタプログラミング]]を実現した人がおり<ref>http://d.hatena.ne.jp/wasabiz/20110118/1295335821</ref>、それを使えば[[関数]]の頭に「@tail_recursive」と書くことで末尾再帰最適化を明示することができる。
| |
|
| |
| [[階乗]]（factorial）の記述例。
| |
| <source lang="python">
| |
| @tail_recursive
| |
| def fact(n, acc = 1):
| |
| return acc if n == 0 else fact(n - 1, n * acc)
| |
| </source>
| |
|
| |
| [[フィボナッチ数]]（fibonacci）の記述例。
| |
| <source lang="python">
| |
| def fib(n):
| |
| @tail_recursive
| |
| def fib_iter(a, b, m):
| |
| return a if m == 0 else fib_iter(b, a + b, m - 1)
| |
| return fib_iter(0, 1, n)
| |
| </source>
| |
|
| |
| == 関連項目 ==
| |
| * [[再帰]]
| |
| * [[末尾再帰]]
| |
| * [[最適化]]
| |
| * [[末尾呼び出し最適化]]
| |
|
| |
| == 参考文献 ==
| |
| <references/>
| |
|
| |
| == 外部リンク ==
| |
|
| |
| {{stub}}
| |