Racket/Scheme/Lisp中二叉搜索树中序遍历的「非过程」问题

「not a procedure」错误的核心原因是语法结构错误导致解释器将非过程值当作过程调用，和cond/if本身无关，而是你在使用它们时忽略了多表达式体的语法要求——而unless的语法刚好帮你规避了这个问题。

关键语法差异 #

• cond和if的多表达式体必须显式用begin包裹：
  if的语法是(if 测试表达式 真值体 [假值体])，每个分支只能有一个表达式；cond的每个子句里，测试表达式后如果有多个执行语句，也需要用begin打包。如果省略begin，解释器会把第一个表达式的返回值当成过程，试图用后面的表达式作为参数调用它，自然抛出「not a procedure」。
• unless（以及when）的语法允许直接写多个体表达式，解释器会自动隐式添加begin，不需要手动包裹。

错误示例与修正 #

比如你可能写出了这样错误的cond代码：

(define (inorder tree)
  (cond
    ((null? tree) '())
    (else (inorder (left tree))  ; 无begin，解释器将(inorder ...)的返回值当过程
          (display (value tree))
          (inorder (right tree)))))

正确的cond写法需要添加begin：

(define (inorder tree)
  (cond
    ((null? tree) '())
    (else (begin
            (inorder (left tree))
            (display (value tree))
            (inorder (right tree))))))

同样，错误的if写法（多表达式分支未用begin）也会触发相同错误，修正后即可正常运行：

(define (inorder tree)
  (if (null? tree)
      '()
      (begin
        (inorder (left tree))
        (display (value tree))
        (inorder (right tree)))))

而你参考的unless代码之所以正常，是因为它本身支持多表达式体：

(define (inorder tree)
  (unless (null? tree)
    (inorder (left tree))
    (display (value tree))
    (inorder (right tree))))

这里三个表达式会被自动包裹在begin里，不会出现语法歧义。

总结 #

不是unless更适合这个场景，而是你在使用cond/if时没遵守多表达式体的语法规则。只要给cond/if的多语句分支加上begin，就能和unless实现完全相同的逻辑，且不会报错。

内容的提问来源于stack exchange，提问作者vibebe8532