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