预期的无限递归，无返回函数

Question

通常不需要无限递归，当它发生时通常会导致堆栈溢出或段错误。

但出于理论考虑，出于好奇，我一直在考虑是否可以有意地创建实际的无限递归。

在 C++ 和 C 中工作，其中堆栈通常会随着每个函数调用而增长，并且每个函数都会返回并弹出它处理的堆栈部分。

这就是想法。是否可以强制一个函数清除它自己的堆栈空间，然后调用另一个函数，以便新函数有效地替换第一个函数，而不需要第一个函数返回然后通过循环再次触发。

如果有的话，我不仅在考虑将普通循环作为可能的用途。循环通常在他们所做的事情上做得很好。但是，如果您要使用它通过节点网络发送信号，这些信号会在它们自己的进程线程中无限期地进行，直到达到特定条件。它可能是一个可以用来解决一些问题的工具。

请记住，我并不是真的在问它是否实用，只是在可能的情况下。为了科学！

Answer 1

是否可以强制一个函数清除它自己的堆栈 空间然后调用另一个函数，以便新函数 有效地替换了第一个函数

这用于tail-call-optimization，所以是的，它是可能的并且在实践中使用。在像 C++ 这样的语言中，这是一个很好的特性，因为有时使用递归来表达算法更简单，但使用循环更有效地实现。在某些情况下，转换可以由编译器自动完成。

Answer 2

有一种称为蹦床的技术用于在不使用尾调用优化的情况下实现continuation-passing style 编程。如果您考虑任何不支持 TCO 的语言，例如 JavaScript，以及使用该语言研究 CPS 解决方案，那么该解决方案很可能涉及蹦床。

本质上，蹦床有一个称为蹦床的函数，它迭代地调用thunk-returning函数。

我知道你说过“第一个函数不需要返回然后通过循环再次触发”——这就是蹦床——但考虑到这是 C++，例如，通过返回离开范围是核心的核心通过析构函数设计 C++ 的自动资源管理（参见：RAII）。您也可以使用 C 的 setjmp()/longjmp() 函数来清除堆栈，但是您需要非常小心以确保正确释放所有资源。

Answer 3

这确实让我想起了可以在汇编代码中完成的优化。假设你有这个：

  call FuncA
  call FuncB

您可以将其替换为：

  push ReturnAddress
  push FuncB
  jmp FuncA
ReturnAddress:

这会导致FuncA 末尾的ret 直接跳转到FuncB，而不是返回到调用者然后跳转到FuncB。在高级语言中确实不可能。

还有这个：

 call FuncA
 ret

可以改成：

 jmp FuncA