调用堆栈？保留堆栈？名称堆栈？

Question

Factor 手册的This page 谈到了存储在延续中的这些类型的堆栈：

• 数据栈
• 保留堆栈
• 调用栈
• 名称堆栈
• catchstack

这些堆栈究竟包含什么？最让我困惑的三个是 callstack、retainstack 和 namestack。

Answer 1

我当然不是因素大师，但因为他们的名字似乎暗示了他们的用途：

• datastack：用于通常的值的推送和弹出。 3 4 + 使用数据堆栈推送“3”，然后推送“4”。运行“+”会从数据堆栈中弹出 2 个值，并将答案 5 推回数据堆栈。运行 factor 的交互式会话（至少在 Linux 上）会在每次交互后打印此堆栈的内容：

  $> 1
  --- Data stack:
  1
  $> 2
  --- Data stack:
  1
  2
  $> +
  --- Data stack:
  3
  $> .
  3
  $>
  

• callstack：用于存储正在运行的单词及其组成单词执行时的各个进度。想象一下，您定义了一个更好的 sum 版本：: sum' ( seq-of-int -- summmation ) 0 [ + ] reduce 20 + ;（更好，因为您可以免费获得额外的 20 个！）。想要重用代码，您已经利用了标准因子附带的reduce 字。当运行时正在执行sum' 时，它会调用reduce 的实现。但是，由于我们仍然需要添加额外的 20 个，因此必须有人记录在 reduce 返回后再次启动的位置。这些注释存储在调用堆栈中，很可能与调试运行期间的一些辅助数据一起帮助调试器了解正在发生的事情。

• retainstack：用于在某种辅助数据堆栈上保留值。在 Forth 中，可以滥用返回栈（Forth 的调用栈的类似物）来充当保留栈。这种方法的一个问题是，在没有清理你肮脏的黑客的情况下从你的话中返回将使你跳到不正确的位置并造成普遍的破坏。 Forth 的运行时会看到你的值，期望它们是它在调用一个词并感到困惑时所做的漂亮笔记。通过为返回地址使用单独的堆栈，Factor 可以避免这种情况。

• namestack：用于保存实现dynamic variables 所需的数据。通过使用堆栈，您可以在执行子程序时用新名称隐藏旧名称，然后弹出绑定并恢复旧名称。

• catchstack：用于支持异常处理。通过使用堆栈，子例程可以为异常和影子默认行为注册自己的专用处理程序。然后，一旦单词返回，旧的处理程序可以通过从堆栈中弹出来轻松恢复。