Scheme查找两个列表最大元素时largest函数总返回#f问题求助

核心错误原因 #

• 你在largest函数的比较分支错误使用了=谓词，且没有正确执行递归逻辑：
  Scheme中=是用来判断两个数值是否相等的谓词，返回值为布尔类型#t/#f，没有赋值作用。你原来的代码中，当x < (car a_list)条件成立时，执行(= x (car a_list))直接返回了布尔值，这就是你最终得到#f的直接原因。
• 函数式编程中没有可变变量的赋值逻辑，你需要通过递归调用传递更新后的参数来实现“更新最大值”的效果。

修复后的代码 #

(define (union l1 l2) 
    (cond
        ((null? l1) l2)
        ; 原代码写法不规范，补充else更清晰，避免后续修改出问题
        (else (cons (car l1) (union (cdr l1) l2)))
    )
)

(define (largest x a_list)
    (cond
        ((null? a_list) x)
        ; 发现更大的元素，就把这个元素作为新的最大值传入递归
        ((< x (car a_list)) (largest (car a_list) (cdr a_list)))
        (else (largest x (cdr a_list)))
    )
)

(define (largest_of_two l1 l2)
    (largest (car l1) (cdr (union l1 l2)))
)

(display(largest_of_two '(19 30 13 29 38) '(1 50 5 20 41)))

运行结果 #

修复后上述测试用例输出为50，符合预期。

额外注意事项 #

• 你原来的union函数虽然运行正常，但写法不规范：cond的第二个分支没有显式写条件，依赖cons返回非空值隐式作为真条件，后续如果修改代码很容易出问题，建议补充else关键字明确分支逻辑。
• 目前的largest_of_two默认输入的l1是非空列表，如果业务场景中可能传入空列表，需要额外补充边界判断。

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