Racket中如何实现两个互相引用的方法及解决DrRacket定义顺序报错

Racket 完全支持两个函数互相引用的实现逻辑，你遇到的“靠前定义的方法无法引用后续定义方法”的报错，本质是由Racket默认的顺序求值、词法绑定前置规则导致的：解释器逐行解析代码时，只会识别当前解析位置之前已经完成绑定的标识符，后定义的函数在靠前的代码段中属于未定义变量，因此触发报错。

实现互引函数的具体操作方式 #

Racket 提供了多种符合设计规则的互引实现方案，可按需选择：

• 使用letrec块包裹所有需要互相引用的函数定义。letrec的作用域会覆盖整个块内部的所有绑定，块内的所有函数都可以引用块内的其他绑定，完全不受书写顺序限制。示例如下：

  (letrec ([even? (lambda (n)
                    (if (zero? n) #t (odd? (sub1 n))))]
           [odd? (lambda (n)
                   (if (zero? n) #f (even? (sub1 n))))])
    (even? 10)) ; 块内even?和odd?可正常互相调用
  

• 顶层定义配合前置占位+赋值逻辑。先在模块顶层为两个需要互引的函数创建绑定占位，再在后续代码中用set!补全函数实现，此时两个函数的标识符已经完成绑定，函数内部的互相引用就不会触发未定义报错。示例如下：

  ;; 顶层提前创建绑定占位
  (define even? #f)
  (define odd? #f)
  ;; 补全具体实现
  (set! even? (lambda (n)
                (if (zero? n) #t (odd? (sub1 n)))))
  (set! odd? (lambda (n)
               (if (zero? n) #f (even? (sub1 n)))))
  

• 借助Racket的内部定义规则实现互引。如果把两个互引的函数写在另一个函数的函数体内部，Racket的内部定义天然等价于letrec的语法糖，块内的函数默认支持互相引用，无需额外调整书写顺序。示例如下：

  (define (parity-check n)
    ;; 两个内部函数无论书写顺序如何，都可正常互相调用
    (define (even? x)
      (if (zero? x) #t (odd? (sub1 x))))
    (define (odd? x)
      (if (zero? x) #f (even? (sub1 x))))
    (even? n))
  

定义顺序报错的针对性解决 #

• 不要在模块顶层直接按照“靠前函数引用靠后函数”的顺序书写互引逻辑，这种写法违背了Racket顶层逐行求值的规则，和“在定义变量前就引用该变量”触发的报错逻辑完全一致。
• 针对《The Little Schemer》的习题场景，最适配的写法是将需要互引的两个函数整体放到letrec块中定义，不需要修改原本的函数实现逻辑，即可绕开顶层顺序定义的限制。
• 如果习惯把所有函数定义直接暴露在模块顶层，采用前面提到的“前置占位+set!赋值”的写法，提前完成两个互引函数的标识符绑定，即可彻底解决找不到后续定义函数的报错。

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