本章将介绍如何组织成为根据特定条件执行。语句的执行不仅仅再是顺序执行，而且可以根据条件跳过内容执行
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可以看做两条并列铁轨，根据不同条件执行
检测除数是否为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相加的结果如下
另外还可以使用word or and进行flags组织
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
