scheme - 为什么模式变量在宏扩展中也被重命名？

Question

在阅读 Dybvig 的论文时，我注意到该算法还重命名了模式变量。所以这意味着模式变量可能会导致捕获。但我不知道什么情况下它们会导致捕获？有人可以启发我吗？

Answer 1

宏可以使用模式扩展为宏定义。模式变量与普通变量一样具有词法作用域，因此它们也需要重命名。

宏扩展为宏定义的示例。

#lang racket
(define-syntax (define-get/put-id stx)
  (syntax-case stx ()
    [(_ id get put!)
     #'(define-syntax id
         (syntax-id-rules (set!)
           [(set! id e) (put! e)]
           [(id a (... ...)) ((get) a (... ...))]
           [id (get)]))]))

(define id 0)
(set! id 42)
(define-get/put-id clock 
  (λ()  (displayln "Reading clock") id)
  (λ(x) (displayln "Setting clock") (set! id x) id))

clock
(set! clock 10)
clock

;;; Output
Reading clock
42
Setting clock
10
Reading clock
10