差分
編集の要約なし
'''末尾呼び出し最適化'''(Tail ([[英語]]:Tail Call Optimization、TCO)とは、あるOptimization、略称:[[TCO]])とは、ある[[関数]]の最後の処理が、別の関数呼び出しであれば、コストの大きい関数呼び出しを消し去り、[[インライン展開]]してしまうことが比較的容易にできるよ、という[[コンパイラ]]の[[最適化]]手法のひとつである。
[[プログラマー]]が[[最適化]]と称して[[goto文]]を使いまくり、仕舞にはmain関数一本のを使いまくり、main関数一本の[[プログラム]]を作った日には偉い人たちからボロクソ叩かれるが、その半分を[[コンパイラ]]に任せると偉い人たちも怒らないので、コンパイラが容易に最適化ポイントを認識できるように[[プログラム]]の[[ソースコード]]を書くときに留意しておきましょうという話でもある。
末尾呼び出し最適化のなかでも、最強に威力を発揮するのは[[再帰]]であり、[[末尾再帰最適化]]という言葉まである。やってることは基本的に末尾呼び出し最適化と同じである。
[[.NET Framework]]の[[CIL]]では末尾呼び出しを明示するtail命令があり、これを使うと現在の関数の[[フレームスタック]]を削除して(続く関数の引数は残す)、続く関数の呼び出しを行う。
tail命令の直後の関数呼び出し自体は消えないので、それに伴う[[コールスタック]]の消費は発生するため、パフォーマンス的なオーバーヘッドは残るが、そこへたどり着くまでのの消費は発生するため、パフォーマンス的な[[オーバーヘッド]]は残るが、そこへたどり着くまでの[[スタックフレーム]]は消去されるため、[[スタックオーバーフロー]]は容易に回避できるようになる。
== 関連項目 ==
== 参考文献 ==
{{stub}}