common-lisp Control Structures Conditional Constructs


In Common Lisp, if is the simplest conditional construct. It has the form (if test then [else]) and is evaluated to then if test is true and else otherwise. The else part can be omitted.

(if (> 3 2)
    "Three is bigger!"
    "Two is bigger!")
;;=> "Three is bigger!"

One very important difference between if in Common Lisp and if in many other programming languages is that CL's if is an expression, not a statement. As such, if forms return values, which can be assigned to variables, used in argument lists, etc:

;; Use a different format string depending on the type of x
(format t (if (numberp x)

Common Lisp's if can be considered equivalent to the ternary operator ?: in C# and other "curly brace" languages.

For example, the following C# expression:

year == 1990 ? "Hammertime" : "Not Hammertime"

Is equivalent to the following Common Lisp code, assuming that year holds an integer:

(if (eql year 1990) "Hammertime" "Not Hammertime")

cond is another conditional construct. It is somewhat similar to a chain of if statements, and has the form:

(cond (test-1 consequent-1-1 consequent-2-1 ...)
      (test-3 consequent-3-1 ...)
      ... )

More precisely, cond has zero or more clauses, and each clause has one test followed by zero or more consequents. The entire cond construct selects the first clause whose test does not evaluate to nil and evaluates its consequents in order. It returns the value of the last form in the consequents.

(cond ((> 3 4) "Three is bigger than four!")
      ((> 3 3) "Three is bigger than three!")
      ((> 3 2) "Three is bigger than two!")
      ((> 3 1) "Three is bigger than one!"))
;;=> "Three is bigger than two!"

To provide a default clause to evaluate if no other clause evaluates to t, you can add a clause that is true by default using t. This is very similar in concept to SQL's CASE...ELSE, but it uses a literal boolean true rather than a keyword to accomplish the task.

    ((= n 1) "N equals 1")
    (t "N doesn't equal 1")

An if construct can be written as a cond construct. (if test then else) and (cond (test then) (t else)) are equivalent.

If you only need one clause, use when or unless:

(when (> 3 4)
  "Three is bigger than four.")
;;=> NIL

(when (< 2 5)
  "Two is smaller than five.")
;;=> "Two is smaller than five."

(unless (> 3 4)
  "Three is bigger than four.")
;;=> "Three is bigger than four."

(unless (< 2 5)
  "Two is smaller than five.")
;;=> NIL