f# - F# でスタックの「転換点」を見つける

Question

int -> int 型の再帰関数 f(x) があるとします。x が大きいほど、再帰呼び出し f(x) が実行されることが予想されます。

昇順の整数の無限シーケンスが与えられた場合、f を使用すると StackOverflowException を引き起こすシーケンスの最初の整数に興味があります。

どうやってやるの？

これまでのところ、特定の整数に対して特定の関数を使用したときに StackOverflowException がスローされたかどうかをテストするだけの単純な関数を作成してみました。次のようになります。

let overflows f x = 
    try 
        ignore (f x) in false
    with
        | :? System.StackOverflowException -> true

しかし、それが意図されていたにもかかわらず、スローされたときに StackOverflowException をキャッチできないようです。

助言がありますか？

score 1 · Accepted Answer

すべてのスタックをほとんど使い切ってしまった場合System.Runtime.CompilerServices.RuntimeHelpers.EnsureSufficientExecutionStackは、catchable をスローするを使用してみてください。InsufficientExecutionStackException

score 0 · Accepted Answer

をキャッチする代わりに、現在のスタックフレーム数を測定する whichStackOverflowExceptionを返すこともできます。(new StackTrace()).FrameCount

メソッドを比較するときは、同じ数のオーバーヘッドフレームが存在するように注意する必要があります。特に、ラムダ式fun ...はそれぞれスタックフレームを追加します。

3 に答える 3