我刚在.Net下做了测试,对于尾递归,在Debug模式下,不会被优化为非递归结构,在Release模式下,会被优化为非递归结构,就不存在栈溢出的问题了
STST
这是我模拟的文件结构类
STST
这是非尾递归版本
STST
这是尾递归版本
STST
这是测试代码
STST
这是CreateDir的定义
STST
结果:
1,在Debug模式下,无论是不适尾递归,都会溢出
2,在Release模式下,非尾递归版本会溢出,而尾递归版本不会溢出
STST
现代编译器我认为都会有的
STST
因为尾递归优化为非递归版本已经是很古老的技术了
STST
你可以在Java下测试下,我没有Java的环境
STST
只需要把你的方法参数改为File数组类型,就可以把递归变成真正的尾递归了
STST
这个没有依据的
0XB000:Do_尾递归(Files)
……
……
栈:
0XA000:->参数:Files
0XA004:->返回地址:0XA000
0XA008: ->参数:Files
0XA012: ->返回地址:0XA004
0XA016: ->参数:Files
0XA020: ->返回地址:0XA012
…………
以上是递归的栈结构,尾递归具有这样一个事实:
就是每一次递归时,其之前的调用已经计算完毕,无需存储中间结果,所以本次调用完全可以使用前一次调用的栈,所以栈结构并不会向下延伸