目前无论是Lisp还是Javascript(C++就更不用说了),递归深度都远远低于可用内存大小,而且栈一旦分配就无法挪动(有指针似乎无解),这个问题的根源在于call指令会把下一指令的地址入栈。我经过几年的思考终于发现,可以把C++的内存模型完全放在堆上,也就是说进行call之前先new出调用函数所需要的空间,而把返回地址作为参数传递进去。这样就从根源上解决了此问题,那什么尾递归就是个渣,完全没有通用性。还有个好处就是程序长时间运行可以合并大量零碎内存。
比较有意思的评论:
call 需要调用 new,new 本身就是个函数调用,那逻辑上岂不是无限递归了。
还有有几个脑残Lisp会显式限制递归深度的。yinwang都噗了几遍“栈”了你咋还不长进。R.K.Dybvig反倒是前在一篇dissertation指出在他之前Scheme实现还都没直接用你所谓的栈的。
本文提出了一种新的内存管理模式,即将所有的内存操作放在堆上,通过手动分配和管理调用函数所需的空间来替代传统的栈机制。这种方法不仅能解决递归深度受限的问题,还能有效管理长期运行程序中的碎片内存。
834

被折叠的 条评论
为什么被折叠?



