递归实验-C语言递归调用的极限

转自：http://sunxiunan.com/?p=1784

C语言递归调用不是无限的，当递归到一定时候，会出现stack over flow的问题。http://en.wikipedia.org/wiki/Stack_buffer_overflow

但是，这个度是多少呢？

我构造了一个极为简单的C语言递归程序，大家可以参考这里https://gist.github.com/749543

#include "stdafx.h" 
      int count = 0; 
void f() 
{ 
  int a = 1; int b = 1; int c = 1; int d = 1; 
  a = b + 3; 
  c = count + 4; 
  d = count + 5*c; 
  count++; 
  printf("count: %d\n", count); 
  f(); 
}

int _tmain(int argc, _TCHAR* argv[]) 
     { 
        f(); return 0; 
      }

我使用的是VC2010SP1的C语言模式编译，console程序，无优化。

运行结果如下：

默认情况下，count最后结果为42860，然后程序就结束了。通过查询MSDN可以知道

http://msdn.microsoft.com/en-us/library/8cxs58a6%28v=vs.80%29.aspx

我们可以通过修改project的link选项中的stack commit size和stack reserve size来改变程序的stack大小。

如果这两个size都设置为1、64、640、2048这几个值，结果都是10092.

如果size设置为1024000，那么结果是42860，与默认情况相同。可以看出这个size是以BYTE为单位。

如果size设置为1048000，结果为43372.

size设置为1072000以及2048000，结果都是86551.

size设置为2110000以及3072000，结果都是130242.

一般来说，我们基本上不需要考虑修改这个大小，因为很少会有将近四万的递归层次，默认值已经足够用了。但是如果万一不够用或者有这种递归需求，那么就需要修改这两个值，另外当我们新建一个线程的时候，也可以编程修改线程stack的大小。

http://cs.nyu.edu/exact/core/doc/stackOverflow.txt 这里解释了一下不同平台上stackoverflow的问题，有一些数据可以参考。

http://stackoverflow.com/questions/53827/checking-available-stack-size-in-c 在这里有人提供了一个有趣的递归C代码片段来判断栈大小。

在这里多废话几句，关于Lua的proper tail call http://www.lua.org/pil/6.3.html 。当我们使用Lua for windows构造一个简单的递归程序运行，依然是会得到stack over flow的结果。但是当我们使用proper tail call这种方式调用，（由于抛弃了前面程序的栈）调用可以无限循环下去，所以Lua这个特性常常用来构造state machine。关于使用proper tail call来实现斐波拉契，可以参考这里http://lua-users.org/wiki/ProperTailRecursion