Common Lisp 中的 comma-comma-at

我对 comma-comma-at 的作用感到困惑。

使用 comma-comma-at 的示例如下定义 Lisp 宏时是否需要使用双引号（双逗号）？ https://stackoverflow.com/questions/17938242/is-there-a-use-for-double-unquote-double-comma-when-defining-a-lisp-macro

在我看来，这

(let ((parms '(x y)))
  ``(beg ,,@parms end))

扩展到或等于

`(beg ,x ,y end)

它是如何扩展到这一点的？

我在想，如果我评估双反引号形式，它会导致第二个逗号完成其工作，结果是：

`(beg ,<splice stuff here> end)

看起来 Lisp 解释器应该抱怨并说“我不知道在逗号之前拼接东西意味着什么”，因为当 Lisp 遇到

`,@abc

它可能会说“我不知道在反引号之前拼接内容意味着什么。不要再这样做了。”

但不知何故，口译员并没有抱怨，只是选择这样做

`(beg <splice stuff here and write comma in front of each of them> end)

这符合规则吗CLHS 反引号 http://www.lispworks.com/documentation/HyperSpec/Body/02_df.htm?

对于读者而言，答案后面的评论引用了旧版本的答案，并导致答案的更新。新读者无需阅读评论。

另请参阅CHLS“最里面的反引号形式应该首先扩展”含义 https://stackoverflow.com/questions/18008099/chls-innermost-backquoted-form-should-be-expanded-first-meaning

CLHS http://www.lispworks.com/documentation/HyperSpec/Body/02_df.htm状态：“如果反引号语法是嵌套的，则最里面的应首先扩展反引号形式。这意味着如果连续出现多个逗号，则最左边的逗号属于最里面的反引号。”

因此，第一个逗号取消引用第二个反引号；这,@然后拼接内容parms，因为所有报价均已撤消。取消引用不会按照您所描述的步骤“替换”表单 - 在决定如何评估所包含的表单时，逗号只是备份在反引号表单的结构中。

(let ((parms '(x y)))
  `(list 'beg ,@parms 'end))

显然评估为(list 'beg x y 'end)，这就是你在这里所追求的；生成一个表单，该表单创建所需的结构作为其输出。附加的外部反引号只是此语法的简写，其方式与'(foo bar)是（除了平等问题）的简写(list 'foo 'bar).