Forth嵌套定义的执行过程图示

body, table{font-family: 微软雅黑}
table{border-collapse: collapse; border: solid gray; border-width: 2px 0 2px 0;}
th{border: 1px solid gray; padding: 4px; background-color: #DDD;}
td{border: 1px solid gray; padding: 4px;}
tr:nth-child(2n){background-color: #f8f8f8;}

冒号定义的基本结构

    I 是由地址解释程序使用的指针，称为“解释程序指针”。

    EXIT 是使执行流程返回到当前定义中的下一个高级定义。

    对于所有类型的定义，其词典条目的头以及代码指针的格式都相同，但是参数域的格式要根据定义类型的不同而变化。

:  PHOTOGRAPH     SHUTTER  OPEN  TIME  EXPOSE  SHUTTER  CLOSE  ;

当执行PHOTOGRAPH时，依次执行顺序地址所确定的各个定义。用来读出这些地址并执行每个地址中的定义的机构称为“地址解释程序”。定义结尾的词 ； 将编译 EXIT 的地址。如图所示， EXIT 的地址被安排在词典条目的最后一个单元。当地址解释程序取得这个地址时，就象执行其他词一样执行 EXIT 。

（冒号定义的参数域中所包含的地址通常是代码域地址(cfa)，而不是参数域地址(pfa)）

---

执行的嵌套

假设定义 DINNER 由三个词组成

:  DINNER       SOUP  ENTREE  DESSERT  ;    

:  ENTREE        CHICKEN  RICE  ;   

假设正在执行 DINNER 而且刚执行完 SOUP 。由于 SOUP 后面的词是 ENTREE ，这时解释程序指针指向存放 ENTREE 地址单元。这种代码完成两件事：首先把解释程序指针压入返回堆栈保存；其次把它本身的参数域地址（pfa）放入ENTREE的解释程序指针。

---

一步退出

INTERPRET 是一个检查整个输入流的循环结构。INTERPRET 又是终端外层定义 QUIT 的组成部分。QUIT 定义的基本形式如下：

:  QUIT   BEGIN  ( 清除返回堆栈  等待输入 ) INTERPRET  ."  OK"  CR  0  UNTIL  ;   括号中的说明表示尚未讨论的词和短语。

如果我们在执行的任何层次中执行 QUIT ，都将立即终止应用程序的执行而重新进入 QUIT 循环，这时将清除返回堆栈（无论栈中有多少层的返回地址，因为现在我们决不能使用它们中的任何一个地址），系统等待输入。

---

舍弃嵌套

上面 DINNER 执行过程：

若是把定义改成 :  ENTREE    CHICKEN  RICE  R>  DROP  ;   R>  DROP  是从返回堆栈中清除 DESSERT 的返回地址，该地址是在执行 ENTREE 之前压入返回堆栈的。这样做的话 EXIT 直接返回到第一层。就只会执行 SOUP  , CHICKEN   和  RICE , 跳过了第二层。

从新定义 ENTREE   

:  ENTREE    CHICKEN  EXIT  RICE  ;   

这样的话在执行 DINNER 时，我们将在 CHICKEN 之后正确退出返回到 ENTREE 后面下一个词 DESSERT 。