乐趣区

关于java:用java写lisp-解释器-4-if-如何通过布尔逻辑实现

在第二篇文章里咱们还留下许多未实现的内置函数 如题目 的 if, 不过这次咱们并不打算通过内置函数的形式去实现 if, 那么还有其余方法吗,当然是有的,如题目那就是通过布尔逻辑 与或非,还有之前曾经实现的 let、lambda、apply、var、cons 让咱们开始吧。

筹备工作

布尔逻辑

首先咱们先检查一下咱们已有的布尔逻辑

  1. and: 当所有子结构的值都是真时,and 的返回值是真,实际上,and 的运行后果是最初一个子结构的值。如果任何一个子结构的值都是假,则返回 #f。
  2. or: 会返回它第一个为值为真的子结构的后果。如果所有的子结构的值都为假,or 则返回 #f。
  3. not 对后果取反

定义 if 构造

(if predicate then_value else_value)

编码实现

只须要一行代码

(let ((if (lambda (p then_v else_v) ((or (and p car) cdr) (cons then_v else_v))))) (..))

外围代码

(lambda (p then_v else_v) ((or (and p car) cdr) (cons then_v else_v)))

让咱们看一下布尔逻辑的局部

(or (and p car) cdr)

先是 and,如果 p 为真返回 car,而后是 or,如果 p 为假返回 cdr;兴许你会问为什么 car 不换成 then_v,cdr 不换成 else_v 呢,起因在于 第一个的 and 假如 p 为真时,如果 then_v 的值是 false 会产生什么呢?咱们会发现 then_v 与 else_v 都被执行了,问题的要害就是 then_v 有可能是 false 或 0,因而咱们换个思路,如果 p 为真返回第一个值否则返回第二个值 既然值有可能会是假,那么值为真是不是就失常了呢?答案是是的,因而咱们须要一点魔法,咱们在值里面包裹一层永远是 true 的值即可,而后应用时在把包裹去掉即可,显然有一个办法能够帮忙咱们它是 cons 也能够是其余,但这所有并不是不言而喻的,我破费了 1 个小时的工夫才想明确这所有。

总结

很多时候通过间接的形式并不能失去合乎咱们期待的后果,有时只须要减少一个中间层即可,当然也能够是多个,我想编程是如此,生存亦是如此。

退出移动版