条件语句

本章将介绍如何组织成为根据特定条件执行。语句的执行不仅仅再是顺序执行，而且可以根据条件跳过内容执行

1 条件语句

Forth中一个简单的条件语句举例如下。想象我们在创建一个捡鸡蛋程序，栈中可以获取当前鸡蛋个数 那么条件语句可以组织为
12 = IF FILL-CARTON THEN
这里的 = 检查栈中数字是都等于12
= 从stack中获取两个数字，然后进行比较是否相等
IF 表示前面为真时的执行语句入口FILL-CARTON.
THEN表示前面为假时的执行语句入口
测试如下

: ?FULL 12 = IF ." It's full " THEN ; return-key

11 ?FULL return-key 输出ok
12 ?FULL return-key 输出It's full
IF...TEHN必须是一个整体出现。

另一个例子

: ?TOO-HOT  220 > IF ." Danger -- reduce heat " THEN ;

测试如下
290 ?TOO-HOT return-key 输出Danger--reduce heat ok
130 ?TOO-HOT return-key 输出ok

常用的比较运算符如下

= 　<　 >
0＝  0<  0>

还有一个word INVERT并不进行任何检测

2 分支语句

在IF语句中可以使用ELSE提供其他假值语句

: ?DAY 32 < IF  ." Looks good " ELSE ." no way " THEN ;

IF ELSE可以看做两条并列铁轨，根据不同条件执行

IF-ELSE

检测除数是否为0的定义如下

: /CHECK
    DUP 0= IF ." invalid " DROP
          ELSE /
          THEN ;

0= 会移除当前栈顶数字，因此需要DUP复制
如果等于0 无效数字 删除数字0
如果不是0 然后调用/ 进行除法

3 嵌套条件语句

在IF...THEN中还可以嵌套定义IF...THEN语句。事实上可以无限嵌套
举例如下

:  EGGSIZE
      DUP 18 < IF ." reject " ELSE
      DUP 21 < IF ." sm all "  ELSE
      DUP 24 < IF ." medium " ELSE
      DUP 27 < IF ." large " ELSE
      DUP 30 < IF ." extra large " ELSE
            ." error "
      THEN THEN THEN THEN THEN THEN DROP ;

其中的THEN与IF个数对应
DROP也是用来清除原始的值

这种换行组织的方式为了友好阅读，

4 IF机制

那么这些比较运算符word(= < > )返回到真与假是如何与IF进行交互的。
答案是仅仅简单的将TRUE或者FALSE存储到stack。IF然后获取stack顶部的值进行判断。

通常这种结果叫做flag。flag存储到stack的机制测试如下

5 4 > . return-key (-1 ok)
5 4 < . return-key (0 ok)

那么INVET存储的值

FALSE INVERT . return-key (-1 ok)
TRUE INVET . return-key (0 ok)

IF会将任何非0值看做TRUE，测试如下

: TEST IF ." non - " THEN . " zero " ; 

0 TEST return-key (zero ok)
1 TEST return-key (non-zero ok)
-400 TEST return-key (non-zero ok)

其他的自定义比较运算符有/CHECK
或者 10 MOD 0=
或者 - 0= 比较相等

5 逻辑组织

在IF语句中也可以将多个flags组织为一个flag。

DUP 0< SWAO 10 MOD 0= +

flags相加的结果如下

flags +

另外还可以使用word or and进行flags组织

AND

6 内置IF words

word?DUP 对非0值进行复制
因此

: /CHECK DUP IF / ELSE DROP THEN ;

简化如下

: /CHECK ?DUP IF /THEN ;

word ABORT"
对于应用运行过程中出现错误，或许不想继续运行下去，也不想在stack返回任何值 可以是ABORT"。 ABORT"期待栈顶一个flag。
如果flag是TRUE ，那么会执行后面语句，然后等待输入内容。
也会输出最后一个解释的word
例如

: /CHECK DUP 0= ABOT" zero denominator "　/ ;

测试

8 0 /CHECK
ERROR－２
zero  denominator  ?

常用的提示语有栈溢出报错
?STACK ABORT" stack empty