Scheme中同名变量在过程/函数间传值问题求助

你的核心问题是没搞清楚Scheme的参数传递机制：Scheme采用传值调用，当你把bindings传给bar或cat时，传递的是当前值的副本，过程内部修改的只是这个局部副本，不会影响调用方foo里的bindings变量。所以即使bar里把bindings改成了(blablabla)，foo里的bindings还是原来的()。

不需要定义全局变量，函数式编程更推荐通过返回值传递更新后的状态，这是更纯粹且易维护的方式。

修改方案 #

1. 让bar和cat返回更新后的bindings #

把原来仅修改局部变量的逻辑，改成生成新值并返回：

(define (bar bindings)
  (display "  before bar, bindings: ") (display bindings) (newline)
  ; 生成新的bindings，替代直接修改局部变量
  (let ((new-bindings '(blablabla)))
    (display "  after bar, bindings: ") (display new-bindings) (newline)
    new-bindings)) ; 返回更新后的值

(define (cat bindings)
  (display "  before cat, bindings: ") (display bindings) (newline)
  (let ((new-bindings '(cilicilicili)))
    (display "  after cat, bindings: ") (display new-bindings) (newline)
    new-bindings))

2. 在foo中接收并使用返回值 #

修改foo逻辑，接收bar/cat返回的新值，替代原有的bindings：

(define (foo bindings)
  (display "before foo, bindings: ") (display bindings) (newline)
  (cond
    ((condition1) ; 假设condition1为真时触发bar
     (let ((updated-bindings (bar bindings)))
       (display "after foo, bindings: ") (display updated-bindings) (newline)
       updated-bindings)) ; 返回最终更新值，供上层使用
    ((condition2) ; 假设condition2为真时触发cat
     (let ((updated-bindings (cat bindings)))
       (display "after foo, bindings: ") (display updated-bindings) (newline)
       updated-bindings))
    (else (foo (cdr bindings)))))

3. 累积多次结果（可选） #

如果需要得到(blablabla cilicilicili)这样的累积结果，可以调整foo增加参数来收集结果：

(define (foo bindings accumulate)
  (display "before foo, bindings: ") (display bindings) (newline)
  (cond
    ((condition1)
     (let ((updated (bar bindings)))
       (display "after foo, bindings: ") (display updated) (newline)
       (foo (cdr bindings) (append accumulate updated))))
    ((condition2)
     (let ((updated (cat bindings)))
       (display "after foo, bindings: ") (display updated) (newline)
       (foo (cdr bindings) (append accumulate updated))))
    (else accumulate)))

; 调用示例：初始bindings为空，累积列表为空
(foo '() '())

关键说明 #

尽量避免使用全局变量，全局状态会让代码的依赖关系模糊，难以调试和复用。通过返回值传递状态是函数式编程的核心思想之一，更符合Scheme的设计哲学。

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