'''末尾再帰最適化'''（まつびさいきさいてきか）とは、賢い[[コンパイラ]]が[[末尾再帰]]を検出すると、[[最適化]]時に[[再帰]]を展開し、消し去ってくれる機能のことである。
== 概要 ==[[末尾再帰末尾呼び出し最適化]]であれば後に続く処理はないので、途中経過を保持する（[[変数Tail Call Optimization]]と、、[[プログラマーTCO]]が手で書くとボロクソに言われる[[goto文]]を用いて、）の一種で、[[再帰]]を無くす（展開する）ことができる。だとその効果が絶大だという話であり、やっていることは同じである。
末尾再帰最適化はこの[[末尾再帰]]の特性を利用し、（[[再帰]]は[[リソース末尾呼び出し]]馬鹿食いで）であれば後に続く処理はないので、その関数内で使われている変数などは破棄でき（末尾呼び出しされる関数の引数は除く）、途中経過を保持する[[スタックオーバーフロー変数]]の危険性があり、何よりクソ重い、かといってを用意することで、[[プログラマー]]が手動でが手で書くとボロクソに言われる[[再帰goto文]]を展開しておくと9割方や[[ソースコードアセンブリ言語]]がクソ読みにくくなる、という問題をのjmp命令などを用いて[[コンパイラ]]による[[最適化再帰]]時に半自動で解決してくれる優れものである。（関数呼び出し）を無くす（展開する）ことができる。
ただし、末尾再帰最適化はこの[[末尾再帰]]（[[末尾呼び出し]]）の特性を利用し、[[再帰]]（関数呼び出し）は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]（関数）を展開しておくと9割方[[ソースコード]]がクソ読みにくくなり、[[偉いプログラマー]]にボロクソ言われる、という問題を[[ソースコード]]の書き方を気を付けておくことで[[コンパイラ]]が[[最適化]]時に半自動で解決してくれる優れものである。 == 末尾再帰最適化に対応した主なプログラミング言語 ==[[末尾再帰最適化]]が行われるかは（[[末尾呼び出し最適化]]）が行われるかは[[コンパイラ]]の気分次第であり、どうなるかわからない諸刃の剣。実際に末尾呼び出し最適化をサポートしている[[コンパイラ]]の気分次第であり、どうなるかわからない諸刃の剣。たとえばであっても100％発動するとは限らない場合もあるので過信しすぎには注意する必要がある。 === C# ===[[C Sharp|C#]]であれば、では、[[マイクロソフト]]製の[[コンパイラ]]で、ターゲットが[[x64]]、かつリリースビルド（最適化が有効な状態）でのみ末尾再帰最適化が行われる。つまりデフォルトでは最適化が無効となっているデバッグビルド時には末尾最適化が行われないという。、かつリリースビルド（最適化が有効な状態）でのみ末尾再帰最適化が行われる。つまりデフォルトで最適化が無効となっているデバッグビルド時には末尾最適化が行われないという。 [[Mono]]での結果については未調査。 === Python ===[[Python]]ではPython 2.4から導入された[[デコレーター]]を用いて[[メタプログラミング]]を実現した人がおり<ref>http://d.hatena.ne.jp/wasabiz/20110118/1295335821</ref>、それを使えば[[関数]]の頭に「@tail_recursive」と書くことで末尾再帰最適化を明示することができる。なお、同様ものを[[クラス]]ではなく[[クロージャー]]で書き直した人もいる<ref>http://d.hatena.ne.jp/tanihito/20110119/1295459297</ref>。 [[階乗]]（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>
== 関連項目 ==
* [[再帰]]
* [[末尾再帰]]
* [[再帰]]
* [[最適化]]
* [[末尾呼び出し最適化]]
== 参考文献 ==