.net - F# で無限再帰がスタックオーバーフロー例外にヒットしないのはなぜですか?

Question

これは、スタックオーバーフローの問題について尋ねられたときに人々が抱えている問題の逆であることはわかっていますが、関数を作成して次のように呼び出すと、エラーが発生することはなく、アプリケーションは私のコアをすりつぶすだけです。 CPU を強制終了するまで:

let rec recursionTest x =
    recursionTest x

recursionTest 1

もちろん、これを変更できるので、実際には次のようになります。

let rec recursionTest (x: uint64) =
    recursionTest (x + 1UL)

recursionTest 0UL

このようにして、コードにブレークポイントを設定し、x の値が急速に上昇するのを見ることができますが、それでも問題はありません。F# は無限再帰を気にしませんか?

score 9 · Accepted Answer

あなたのrecursionTest関数は末尾再帰的です。つまり、すべての再帰呼び出しは「末尾位置」、つまり関数の最後のアクションとして発生します。つまり、F# コンパイラは再帰呼び出し用に新しいスタックフレームを割り当てる必要がないため、スタックオーバーフローは発生しません。

末尾再帰は末尾呼び出しの特定のケースであり、末尾呼び出しは他の関数ではなくそれ自体に対するものです。

score 4 · Accepted Answer

一般に、F# は、.NET が受け入れる tailcall 命令を発行します。

あなたのようないくつかの特定の単純なケースでは、F# は再帰を使用するプログラムを、ループを使用する同等のプログラムに書き換えます。

score 3 · Accepted Answer

これは末尾呼び出しの最適化の例であるため、コンパイラはそれを単純なループに最適化しています。これを参照してください: https://devblogs.microsoft.com/fsharpteam/tail-calls-in-f/

次のようなことを試してください：

let rec recursionTest x =
    recursionTest x + recursionTest (x * 2)

.net - F# で無限再帰がスタック オーバーフロー例外にヒットしないのはなぜですか?