Lisp 语言学习－－if 语句有问题-优快云博客

本文记录了作者在Linux环境下学习Lisp编程的过程，包括解决汉诺塔问题时遇到的编译错误及解决方法，涉及if语句使用限制及正确编写技巧。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

为了方便的开发学习，还是回到了 Linux 平台下。毕竟这里安装些古董语言比较方便，怎么说也是类 Unix 系统上发展而来的嘛。第二天了，却仍在为 Lisp 语法奔波。手头上中文资料有限，又要考虑其他，这个进度还是忍受一下吧。好啦，不牢骚啦。下面是我的第一个 Lisp 程序：汉诺塔


(setq a "a")
(setq b "b")
(setq c "c")

(defun move (n x y z)
  (if (> n 0)
    ((move (- n 1) x z y)
     (princ "->")
     (move (- n 1) y x z))))

(defun hanota (n)
  (move n a b c))

可惜这段代码始终通不过编译，总得到如下提示：


*** - SYSTEM::%EXPAND-FORM: (MOVE (- N 1) X Z Y) should be a lambda expression

郁闷了一整天，找了许多的资料，最后得到这一句

[quote="COMMON LISP: A Gentle Introduction to Symbolic Computation"]IF is the simplest Lisp conditional. Conditionals are always macros or special functions,* so their arguments do not get evaluated automatically.

[/quote]
macros or special functions! 不明白为什么 if 后添加的必须是 macros or special functions（宏或特殊函数）。但这样就是说把 if 的候选区换成函数就能正常运行了。于是试用下面的代码：

(setq a "a")
(setq b "b")
(setq c "c")

(defun move (n x y z)
  (if (> n 0)
    (move-operation n x y z)
    t
  )
)

(defun move-operation (n x y z)
  (move (- n 1) x z y)
  (princ x)
  (princ "->")
  (princ z)
  (princ "  ")
  (move (- n 1) y x z))

(defun hanota (n)
  (move n a b c))

新建了一个 move-operation 函数，编译通过。OK，测试：

> (hanota 3)
a->c  a->b  c->b  a->c  b->a  b->c  a->c  
T

成功。

表面的问题是解决了，可这不是最终解决方案。marco or special functions 还不完全理解是什么。if 还有什么潜规则不清楚。princ 的回车换行也没找到。所以，这个初成品，只能是现在的一种简易替换方法吧。