差分

[[末尾再帰]]（[[末尾呼び出し]]）であれば後に続く処理はないので、その関数内で使われている変数などは破棄でき（末尾呼び出しされる関数の引数は除く）、途中経過を保持する[[変数]]を用意することで、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて[[再帰]]を無くす（展開する）ことができる。（関数呼び出し）を無くす（展開する）ことができる。

末尾再帰最適化はこの[[末尾再帰]]（[[末尾呼び出し]]）の特性を利用し、[[再帰]]（関数呼び出し）は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]（関数）を展開しておくと9割方[[ソースコード]]がクソ読みにくくなり、偉いプログラマーにボロクソ言われる、という問題をがクソ読みにくくなり、[[偉いプログラマー]]にボロクソ言われる、という問題を[[ソースコード]]の書き方を気を付けておくことで[[コンパイラ]]が[[最適化]]時に半自動で解決してくれる優れものである。

[[末尾再帰最適化]]（[[末尾呼び出し最適化]]）が行われるかは[[コンパイラ]]の気分次第であり、どうなるかわからない諸刃の剣。実際に末尾呼び出し最適化をサポートしているコンパイラであっても100％発動するとは限らない場合もあるので過信しすぎには注意する必要がある。の気分次第であり、どうなるかわからない諸刃の剣。実際に末尾呼び出し最適化をサポートしている[[コンパイラ]]であっても100％発動するとは限らない場合もあるので過信しすぎには注意する必要がある。

[[C Sharp|C#]]では、[[マイクロソフト]]製の[[コンパイラ]]で、ターゲットが[[x64]]、かつリリースビルド（最適化が有効な状態）でのみ末尾再帰最適化が行われる。つまりデフォルトでは最適化が無効となっているデバッグビルド時には末尾最適化が行われないという。、かつリリースビルド（最適化が有効な状態）でのみ末尾再帰最適化が行われる。つまりデフォルトで最適化が無効となっているデバッグビルド時には末尾最適化が行われないという。