为什么SICP的cond表达式中不能将and作为谓词使用？

错误原因 #

Scheme 中 cond 表达式的每个分支都必须是单个括号包裹的二元组，格式为 (条件 条件成立时返回的表达式)。你当前的写法把 and 组成的条件表达式和后续的返回表达式拆成了两个独立的括号组，导致解析器将 and 识别为分支的谓词本身，后续的返回表达式被判定为无匹配谓词的独立分支，因此抛出语法错误。

修复后的可运行代码 #

#lang sicp

(define (square x) (* x x))

(define (squaresum x y) (+ (square x) (square y)))

(define (squaresumlg x y z)
  (cond
    ((and (> x z) (> y z)) (squaresum x y))
    ((and (> x y) (> z y)) (squaresum x z))
    ((and (> y x) (> z x)) (squaresum y z))))

(squaresumlg 1 2 3)

仅需要给每个 cond 分支的条件和返回表达式外层补充一层括号即可正常运行。

优化建议 #

• 兼容相等场景：当前代码未处理参数值相等的边界情况，比如输入 (2 2 3) 会匹配失败，将条件中的 > 替换为 >= 即可覆盖这类场景。
• 简化判断逻辑：可以换用更简洁的思路实现需求——三个数的总平方和减去最小数的平方，天然等于较大两个数的平方和，无需多层条件判断：

(define (squaresumlg x y z)
  (- (+ (square x) (square y) (square z))
     (square (min x y z))))

• 可扩展写法：如果需要兼容更多参数的同类需求，可以用先排序再取前N个计算的思路，逻辑更直观易维护。

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