common-lisp 条件构造
示例
在CommonLisp中,if是最简单的条件构造。它的形式(iftestthen[else])和被评估then,如果test是真实的,else否则。其他部分可以省略。
(if (> 3 2) "三个更大!" "两个更大!") ;;=> "三个更大!"
ifCommonLisp和if许多其他编程语言之间的一个非常重要的区别是,CLif是表达而不是陈述。因此,if表单返回值可以分配给变量,也可以在参数列表等中使用:
;; Use a different format string depending on the type of x (format t (if (numberp x) "~x~%" "~a~%") x)
if在C#和其他“花括号”语言中,可以将CommonLisp视为等效于三元运算符?:。
例如,以下C#表达式:
year == 1990 ? "Hammertime" : "Not Hammertime"
假定year保存一个整数,它等效于以下CommonLisp代码:
(if (eql year 1990) "Hammertime" "Not Hammertime")
cond是另一个条件构造。它有点类似于一条if语句链,其形式为:
(cond (test-1 consequent-1-1 consequent-2-1 ...) (test-2) (test-3 consequent-3-1 ...) ... )
更确切地说,cond具有零个或多个子句,并且每个子句都有一个测试,后跟零个或多个结果。整个cond构造选择测试不评估的第一个子句,nil并按顺序评估其结果。它返回结果中最后一个表单的值。
(cond ((> 3 4) "三个大于四个!") ((> 3 3) "三个大于三个!") ((> 3 2) "三个大于两个!") ((> 3 1) "三大于一!")) ;;=> "三个大于两个!"
要提供默认子句以评估是否没有其他子句求和t,您可以使用添加默认情况下为true的子句t。这在概念上与SQL非常相似CASE...ELSE,但是它使用文字布尔值true而不是关键字来完成任务。
(cond ((= n 1) "N equals 1") (t "N doesn't equal 1") )
一个if结构可以写成一个cond结构。(iftestthenelse)和(cond(testthen)(telse))等价。
如果只需要一个子句,请使用when或unless:
(when (> 3 4) "三大于四。") ;;=> NIL (when (< 2 5) "二小于五。") ;;=> "二小于五。" (unless (> 3 4) "三大于四。") ;;=> "三大于四。" (unless (< 2 5) "二小于五。") ;;=> NIL