Scheme跨文件变量共享及正确使用define-library的方法

初始场景与问题 #

极简目录结构：

main.scm
regex_utils.scm
utils.scm

各文件内容：
main.scm

(load "regex_utils.scm")
(displayln "test")
...

regex_utils.scm

(load "utils.scm")
... ; 加载其他多个库文件

utils.scm

(define (displayln x)
  (newline)
  (display x))

运行scheme < main.scm时报错：;;Unbound variable: displayln。问题在于regex_utils.scm中加载的displayln无法在main.scm的环境中生效，这和MIT 6.5151代码库的环境机制有关，the-environment仅能在顶级环境调用，无法直接让多个文件共享环境。

尝试R7RS库定义后的错误 #

改用R7RS的define-library后，出现以下问题：

1. 库未注册错误 #

修改后的文件内容：
main.scm

(find-scheme-libraries! ".")
,(import (regex single-assert-grep=))

regex_utils.scm（依赖MIT 6.5151课程的SDF代码库）

(find-scheme-libraries! ".")
,(import (common displayln))
(define-library (regex single-assert-grep=)
  (export single-assert-grep=)
  (include 
            "../../software/sdf/manager/load.scm"
            "../../software/sdf/common/testing.scm"
            "../../software/sdf/regular-expressions/test-regexp.scm")
  (begin
    ;; 基于../software/sdf/common/testing.scm和test-regexp.scm
    (define (single-assert-grep= expected pattern)
      (assert (equal*? expected
                    (r:grep pattern tests-file)))))
  )

utils.scm

(define-library (common displayln)
  (export displayln check_all_conds)
  (begin
    (define (displayln x)
      (newline)
      (display x))
    (define (check_all_conds condition lst)
      (assert (fold 
                (lambda (x y) (and x y)) 
                #t 
                (map condition lst))))))

运行scheme < main.scm输出：

...
(find-scheme-libraries! ".")
;Registering library (common displayln) from "/home/czg_arch/SICP_SDF/SDF_exercises/chapter_2/./utils.scm"... done
;Unspecified return value

1 ]=> ,(import (regex single-assert-grep=))
;Error: Unregistered import libraries: ((regex single-assert-grep=))
;Unspecified return value

可见(common displayln)已注册，但(regex single-assert-grep=)未被识别。

2. regex_utils.scm单独运行报错 #

运行scheme < regex_utils.scm时，报错;;Unbound variable: x和;;Definition may not be used as an expression: #[defn-item 12 all-tests #[expr-item 13]]；注释掉(include ...)后，仍报错;;Definition may not be used as an expression: #[defn-item 12 single-assert-grep= #[expr-item 13]]。

正确的R7RS库使用方式 #

核心问题分析 #

之前的写法错误在于：

• regex_utils.scm中，define-library之外的代码（find-scheme-libraries!和,(import ...)）会在库定义前执行，且库定义本身不会自动注册到当前环境。
• include语句不能直接加载带有顶级定义的文件，因为R7RS库的include会把文件内容嵌入到库的begin块中，若被包含的文件有顶级定义（如all-tests），会违反库的语法规则。

修正后的文件内容 #

1. utils.scm（保持正确的库定义）

(define-library (common displayln)
  (export displayln check_all_conds)
  (begin
    (define (displayln x)
      (newline)
      (display x))
    (define (check_all_conds condition lst)
      (assert (fold 
                (lambda (x y) (and x y)) 
                #t 
                (map condition lst))))))

2. regex_utils.scm（改为纯库定义，正确处理依赖）

(define-library (regex single-assert-grep=)
  ;; 先导入依赖的库
  (import (common displayln)
          (scheme base))
  ;; 加载外部文件时，确保被包含的文件是纯表达式
  ;; 若被包含的文件有顶级定义，需改为在库的begin中定义，或封装为子库
  (include "../../software/sdf/manager/load.scm")
  (include "../../software/sdf/common/testing.scm")
  (include "../../software/sdf/regular-expressions/test-regexp.scm")
  (export single-assert-grep=)
  (begin
    ;; 基于导入的测试库定义函数
    (define (single-assert-grep= expected pattern)
      (assert (equal*? expected
                    (r:grep pattern tests-file))))))

3. main.scm（正确注册并导入库）

;; 注册当前目录下的所有库
(find-scheme-libraries! ".")
;; 导入需要的库
(import (regex single-assert-grep=)
        (common displayln))

;; 测试代码
(displayln "test")
(single-assert-grep= "expected-value" "pattern")

关键注意事项 #

• 库文件中不要在define-library之外写顶级代码，所有逻辑都应封装在库内部。
• 若被include的文件包含顶级定义（如all-tests），需要将这些定义迁移到库的begin块中，或者将这些文件也封装为R7RS库，通过import引入。
• 运行时，确保所有库文件都在find-scheme-libraries!扫描的目录下，或者通过add-library-path!添加额外路径。

替代方案（兼容原有SDF加载机制） #

如果暂时无法完全迁移到纯R7RS库，可以在main.scm中统一加载所有依赖，确保环境共享：

;; 统一加载SDF管理工具和依赖
(load "../software/sdf/manager/load")
(manage 'new 'regular-expressions)
(load "../software/sdf/common/testing.scm")
(load "../software/sdf/regular-expressions/test-regexp.scm")
;; 先加载工具库，再加载业务库
(load "utils.scm")
(load "regex_utils.scm")

;; 测试代码
(displayln "test")

这种方式通过统一的顶级环境加载，让所有定义都在同一个环境中生效，避免了环境隔离的问题。

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