可以只用一个堆栈来实现类似 Forth 的语言吗？

Question

Forth 有一个栈和一个返回栈。

据我了解，返回堆栈的重点是存储程序计数器的先前值。

C 程序将程序计数器的先前值放在堆栈上，并且不使用返回堆栈。

Forth 是否只需要一个返回堆栈，因为它在堆栈上返回结果，因此程序计数器的先前值可能会被掩埋？

Answer 1

“便携式汇编语言”应该很接近。 这是一个几乎与标准/传统 Forth 相同的语言的编译器概念。 对于可以编写的程序类型有一些限制。 大多数情况下，您必须避免无法静态确定堆栈深度的情况。

这种语言可以以只需要一个堆栈的方式进行编译。

http://www.complang.tuwien.ac.at/anton/euroforth/ef13/papers/ertl-paf.pdf

Answer 2

前言：我已经为硬件调试器编写了扩展来跟踪混乱的调用堆栈的一些问题，所以我看到了一些实际C堆栈的十六进制转储。

C堆栈由返回地址、局部变量和函数参数的混合组成。 对于每个函数，您可以找出它期望哪个值的位置，但这种知识仅停留在函数的范围内。

你可以这样来做forth为好，但这意味着一个巨大的开销：您可以将堆栈上的参数，调用函数，将返回地址在同一个堆栈的顶部。 没问题：每个命令都知道操作数在堆栈中是第二个和后面的。 但是现在命令想要使用这些值调用另一个命令：这使得有必要更改堆栈的顺序以再次将值放在顶部，因为被调用的命令无法知道它们在堆栈中的位置，因为您写道。

更复杂的forth编译器可以跟踪每个命令采用多少个值，并在每个命令调用之前对堆栈进行排序。 但代价是什么！

当然， C程序也有这种开销。 如果您在内联汇编中看到非内联函数调用，那么总会有一些寄存器交换开销。 但是，良好的forth程序由微小的功能，让你有更多的函数调用和更大量的开销。

而且没有任何好处，就像在现代计算机体系结构中一样，每个寄存器都可以用作堆栈指针，因此您可以毫无问题地拥有少量堆栈。

所以最后，回答你的问题是：是的，你可以实现的一组衍生forth ，但它的痛苦没有增益。

Answer 3

“Forth 有一个栈和一个返回栈。” 对于每一个现存的和之前的 Forth 标准，对于前标准方言，甚至对于像 colorforth 这样的方言，有些人不愿将其称为 Forth。

所以你已经回答了你自己的问题：一个响亮的不。 这两个堆栈是 Forth 编程模型的核心。 程序员有权操作两者。

原因当然是您自己处理数据并且返回地址会碍事。 如果您坚持将其与 C 进行比较，C 将按名称操作数据，并处理返回。 事实上，C 在其编程模型中没有堆栈。 使用一个堆栈是一个您不应该担心的实现细节。