为什么这个宏不能执行？

Question

我有以下愚蠢的测试：

(define-syntax a
 (lambda (stx)
   (syntax-case stx ()
     [(k e s) #'(let ((show display)) (e s))])))
(a show "something")

为什么这不起作用？ （DrRacket 中显示的错误是 expand: unbound identifier in module in: show。

但是，以下内容可以工作：

(define-syntax a
 (lambda (stx)
   (syntax-case stx ()
     [(k e s) 
      (with-syntax ((show (datum->syntax #'k 'show)))
        #'(let ((show display)) (e s)))])))
(a show "something")

那么为什么？

Answer 1

嗯，我假设您在阅读 博客文章我在早期答案中提到过——但是那博客文章准确地解释了这个问题。具体来说，您的第一个示例有两个不同的 show 标识符，一个由宏绑定，另一个不同来自顶级使用（并且未绑定）。 OTOH，在第二种情况下，您将使用用户代码的词汇上下文创建一个 show 。