差分
'''末尾再帰最適化'''（まつびさいきさいてきか）とは、賢い[[コンパイラ]]が[[末尾再帰]]を検出すると、[[最適化]]時に[[再帰]]を展開し、消し去ってくれる機能のことである。
== 概要 ==
[[末尾呼び出し最適化]]（[[Tail Call Optimization]]、[[TCO]]）の一種で、[[再帰]]だとその効果が絶大だという話であり、やっていることは同じである。
[[末尾再帰]]であれば後に続く処理はないので、途中経過を保持する（[[末尾呼び出し]]）であれば後に続く処理はないので、その関数内で使われている変数などは破棄でき（末尾呼び出しされる関数の引数は除く）、途中経過を保持する[[変数]]と、を用意することで、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて、のjmp命令などを用いて[[再帰]]を無くす（展開する）ことができる。（関数呼び出し）を無くす（展開する）ことができる。
末尾再帰最適化はこの[[末尾再帰]]の特性を利用し、（[[末尾呼び出し]]）の特性を利用し、[[再帰]]は（関数呼び出し）は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]を展開しておくと9割方（関数）を展開しておくと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）の記述例。