「末尾呼び出し最適化」を編集中
ナビゲーションに移動
検索に移動
この編集を取り消せます。 下記の差分を確認して、本当に取り消していいか検証してください。よろしければ変更を保存して取り消しを完了してください。
| 最新版 | 編集中の文章 | ||
| 1行目: | 1行目: | ||
| − | '''末尾呼び出し最適化''' | + | '''末尾呼び出し最適化'''（Tail Call Optimization、TCO）とは、ある[[関数]]の最後の処理が、別の関数呼び出しであれば、コストの大きい関数呼び出しを消し去り、[[インライン展開]]してしまうことが比較的容易にできるよ、という[[コンパイラ]]の[[最適化]]手法のひとつである。 |
| − | + | たとえば、最後の処理なので、その処理中に使う引数以外の変数などは破棄できるため、[[x86]]の[[ニーモニック]]や[[.NET]]の[[CIL]]であればCALLとなっている部分をJMPなどに置き換えれる。 | |
| − | たとえば、最後の処理なので、その処理中に使う引数以外の変数などは破棄できるため、[[x86]]の[[ニーモニック]]や[[.NET]]の[[CIL]] | ||
| − | [[プログラマー]]が[[最適化]]と称して[[goto文]] | + | [[プログラマー]]が[[最適化]]と称して[[goto文]]を使いまくり、仕舞にはmain関数一本の[[プログラム]]を作った日には偉い人たちからボロクソ叩かれるが、その半分を[[コンパイラ]]に任せると偉い人たちも怒らないので、コンパイラが容易に最適化ポイントを認識できるように[[プログラム]]の[[ソースコード]]を書くときに留意しておきましょうという話でもある。 |
末尾呼び出し最適化のなかでも、最強に威力を発揮するのは[[再帰]]であり、[[末尾再帰最適化]]という言葉まである。やってることは基本的に末尾呼び出し最適化と同じである。 | 末尾呼び出し最適化のなかでも、最強に威力を発揮するのは[[再帰]]であり、[[末尾再帰最適化]]という言葉まである。やってることは基本的に末尾呼び出し最適化と同じである。 | ||
| 11行目: | 10行目: | ||
[[.NET Framework]]の[[CIL]]では末尾呼び出しを明示するtail命令があり、これを使うと現在の関数の[[フレームスタック]]を削除して（続く関数の引数は残す）、続く関数の呼び出しを行う。 | [[.NET Framework]]の[[CIL]]では末尾呼び出しを明示するtail命令があり、これを使うと現在の関数の[[フレームスタック]]を削除して（続く関数の引数は残す）、続く関数の呼び出しを行う。 | ||
| − | tail命令の直後の関数呼び出し自体は消えないので、それに伴う[[コールスタック]] | + | tail命令の直後の関数呼び出し自体は消えないので、それに伴う[[コールスタック]]の消費は発生するため、パフォーマンス的なオーバーヘッドは残るが、そこへたどり着くまでの[[スタックフレーム]]は消去されるため、[[スタックオーバーフロー]]は容易に回避できるようになる。 |
== 関連項目 == | == 関連項目 == | ||
| 17行目: | 16行目: | ||
== 参考文献 == | == 参考文献 == | ||
| − | + | <references/> | |
| + | |||
| + | == 外部リンク == | ||
{{stub}} | {{stub}} | ||
