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


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


《“递归实验-C语言递归调用的极限”》 有 2 条评论

  1. 貌似C语言也可以用proper tail call优化,好像是-O3以上的优化选项会起作用,貌似,我也没试过

发表回复

您的电子邮箱地址不会被公开。 必填项已用*标注