为什么无限递归不会在 F# 中遇到堆栈溢出异常？

Question

I know this is somewhat the reverse of the issue people are having when they ask about a stack overflow issue, but if I create a function and call it as follows, I never receive any errors, and the application simply grinds up a core of my CPU until I force-quit it:

let rec recursionTest x =
    recursionTest x

recursionTest 1

Of course I can change this out so it actually does something like this:

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

recursionTest 0UL

This way I can occasionally put a breakpoint in my code and see the value of x is going up rather quickly, but it still doesn't complain. Does F# not mind infinite recursion?

Answer 1

Your recursionTest function is tail recursive, which means all recursive calls occurs in the 'tail position' ie as the last action in the function. This means the F# compiler does not need to allocate a new stack frame for recursive calls, so no stack overflow occurs.

Tail recursion is a specific case of tail call , the tail call being to itself rather than some other function.

Answer 2

In general, F# emits the tailcall instruction that .NET honors:

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

In some specific simple cases, like yours, F# rewrites programs that use recursion into equivalent programs using loops.

Answer 3

This is an example of tail call optimization and so the compiler is optimizing it into a simple loop. See this: https://devblogs.microsoft.com/fsharpteam/tail-calls-in-f/

Try something like this:

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