テールコールとは何ですか？

コンピュータープログラミングでは、テールコールはプログラムソースコード内の特定の状況であり、関数、サブルーチン、または手順は、単に戻り値を保持する変数を渡すのではなく、別の関数を呼び出すことで期待値を返します。名前自体は、返される値を計算するために呼び出される関数が、それを呼び出す関数の最後に、返品値を提供することであることを示します。特定の最適化またはコンパイラの動作により、メイン関数のコード場所を保存するために追加のスタックスペースが使用されないため、一部のプログラマにとってテールコールは興味深いものです。代わりに、テール関数は、元の関数が呼び出されたコールポイントに直接戻るリターン値レポートを生成するために使用されます。テールコールの使用は、再帰が非常に深く深く壊れてプログラを停止して停止する可能性がある場合に発信者アドレスを保存するために使用されるスタックスペースの量が発信者アドレスを保存するために使用されるスタックスペースの量であるため、テールコールの使用は特に役立ちます。m実行。テールコールを使用すると、プログラムの速度、メモリの使用量、効率が向上するのに役立ちますが、特に再帰の場合には、ソースコードがデバッグと追跡を困難にする方法でコールを再構築するように再構築される状況につながる可能性があります。

テールコールの存在は、ほとんどのコンピュータープログラムとシステムアーキテクチャ内でコールスタックがどのように機能するかに大部分が原因です。プレートのスタックのようなスタックは、最初の、最後のデータ構造です。関数、サブルーチン、または手順が呼び出されると、スタックフレームと呼ばれるコールが作成されるアドレスがスタックに保存されます。これは、関数Aを呼び出すプログラムを意味します。これは、関数Bを呼び出し、関数B用の2つのスタックフレーム、もう1つは関数A用にその下にあります。機能Bの実行が終了した後、スタックフレームはスタックと実行の上部からポップされます。フレームが完了したときにフレームがスタックから飛び出した関数Aに戻り、最終的に最初の関数が元々呼ばれていたポイントまでプログラム制御を返します。

テールコールが使用されると、関数の返品ステートメントは、呼び出しコードに送信されるデータとして別の関数の戻り値を直接使用します。上記の例では、関数aがreturnステートメントを使用して関数bを直接呼び出す場合、テールコールが形成されました。コールスタック内で、関数AとBの両方のスタックフレームを持つ代わりに、関数Bは関数Aから戻りアドレスを受信し、関数Aのスタックフレームはポップされ、廃棄されます。これは、機能Aと呼ばれる場所Aと呼ばれる場所Aと呼ばれる場所に直接戻って関数Aを直接渡すことができます。

テールコールの特性は非常に再帰関数のための魅力的なオプション。再帰関数とは、リストデータ構造を通過する場合の場合のように、値を計算するために繰り返しそれ自体を呼び出すものです。ネストされた関数呼び出しに追加のスタックフレームは作成されていないため、スタックオーバーフローと可能なプログラム終了の即時の脅威なしに、非常に深いレベルの再帰を安全に実行できます。