F＃で無限再帰がスタックオーバーフロー例外に当たっていないのはなぜですか？

Question

これはスタックオーバーフローの問題について人々が尋ねている問題の逆ですが、関数を作成して次のように呼び出すとエラーは起こりません。アプリケーションは単にコアを分割します私のCPUの私はそれを強制終了するまで：

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

recursionTest 0UL 

この方法で私は時々私のコードにブレークポイントを置くことができます：それは実際にこのような何かをして

もちろん

let rec recursionTest x = 
    recursionTest x 

recursionTest 1 

私はこれを変更することができますxの値がかなり速く上がっているのを見ても、それでも文句はありません。 F＃は無限回帰に気を付けませんか？

Answer 1

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

テール再帰は、tail callの特殊なケースです。テールコールは、他の機能ではなく、それ自体になります。一般に

Answer 2

これはtail call optimizationの例であり、コンパイラはそれを単純なループに最適化しています。これを参照してください：http://blogs.msdn.com/b/fsharpteam/archive/2011/07/08/tail-calls-in-fsharp.aspx

はこのような何かを試してみてください：

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

Answer 3

、F＃が.NET優等ことtailcall命令を発するいくつかの特定の単純なケースでは

http://msdn.microsoft.com/en-us/library/system.reflection.emit.opcodes.tailcall(v=vs.95).aspx

、あなたのような、F＃は、ループを使用して、同等のプログラムに再帰を使用するプログラムを書き換えます。