forth - Forth LEAVE ... LOOP 是如何实现的，因为事先不知道 LEAVE 的数量？

Question

LOOP 一词被描述为“解析所有未解析的 LEAVE 事件的目的地”。 (强调我的)

与 IF ... ELSE ... THEN 的前向引用数始终为 1 不同，LOOP 对 LEAVE 的数量没有限制。那怎么实现呢？

我想到的一种方法是始终将 LEAVE 的数量保持在堆栈顶部。每个 LEAVE 都会增加此计数器并将其置于其下。 LOOP 从顶部读取计数器并解析那么多引用。但这似乎是一个便宜的伎俩。

真正的 Forth 系统如何实现这种循环？我不需要 teh codez(将 Forth 作为学习经验实现)，只需要概念。

Answer 1

在 SP-Forth 中，循环控制参数包括 LOOP 之后的索引、限制和地址。所以，不需要解析 LEAVE在编译时，它知道运行时循环控制参数的地址。
另一种方法是将控制流堆栈深度存储在 DO 上。 ，将未解析的前向引用放在控制流堆栈上的所有其他已放置值(使用存储的深度)下 LEAVE ，然后解析 LOOP 上所有放置的前向引用.
看我的 high-level implementation的 DO LOOP基于BEGIN UNTIL和 AHEAD THEN (剧透警告)。