编写Scheme判断列表元素全相等函数时报错>: expects a real, given void如何解决

错误根因 #

你收到>: expects a real, given void报错的核心原因是write函数的返回值为void类型，而非数字或布尔值。你的代码中递归调用list-all-equal时，一旦某一层触发了包含write的分支，返回的void值会被传入equal?/>/<运算符参与运算，这些运算符要求参数为实数，因此直接抛出类型不匹配错误。

原代码其他问题 #

• 返回值类型不统一：空列表返回空列表、单/双元素列表返回第一个元素、触发判断分支返回void，递归过程中拿到的返回值类型混乱，完全不符合判断类函数返回布尔值的设计预期。
• 重复递归损耗高：每一个条件分支都重复调用一次list-all-equal(rest lon)，会产生大量无意义的重复计算，执行效率极低。

修复后的实现 #

判断列表内所有元素相等的核心逻辑非常简单：空列表/单元素列表默认所有元素相等，否则逐一校验相邻元素是否相等即可，代码如下：

(define (list-all-equal lon)
  (cond
    [(empty? lon) #t]  ; 空列表的判断结果可根据业务需求调整为#f
    [(empty? (rest lon)) #t]
    [(equal? (first lon) (second lon))
     (list-all-equal (rest lon))]
    [else #f]))

调整说明 #

• 所有分支统一返回布尔类型，递归调用过程中不会出现类型不匹配问题。
• 移除了递归逻辑内的write调用，如果你需要打印结果，可在函数外部调用(write (list-all-equal 你的列表))实现，避免污染返回值。
• 单次递归仅调用一次自身，无重复计算，执行效率更高。

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