Common Lisp 使用两个反引号和逗号

Question

我正在学习 common lisp，我在理解两个反引号和两个逗号的用法时遇到了问题：

``(a ,,(+ 1 2))

我的意思是，我不知道为什么它被评估为：

`(A ,3)

而不是类似的东西：

`(A 3)

我正在解释自己两个逗号都被“消耗”，以便评估表单前面的两个反引号，因此没有一个逗号应该离开，但仍然有一个。 会是什么样子？

``(a ,,(+ 1 2))

仅使用列表和 '

Answer 1

从规范来看，

Common Lisp HyperSpec 关于嵌套 反引号 是这么说的：

如果反引号语法是嵌套的，则应首先展开最里面的反引号形式。这意味着如果连续出现多个逗号，则最左边的逗号属于最里面的反引号。

R5RS 方案规范还包括有关 反引号：

准引用形式可以嵌套。仅对与最外层反引号出现在同一嵌套级别的未加引号的组件进行替换。嵌套级别在每个连续的准引用内增加 1，并在每个非引用内减少 1。

另请记住，每次评估只会折叠一个反引号，就像常规引用一样，它不是递归的。

实际应用的规则

要了解这三个细节如何相互作用，让我们稍微扩展一下您的示例。这个表达式...

``(a ,,(+ 1 2) ,(+ 3 4))

计算结果如下（以 SBCL 表示法）：

`(A ,3 ,(+ 3 4))

1. 左反引号折叠起来，因此 (+ 1 2) 被匹配的逗号（第 2^{nd< /sup> 逗号，根据 HyperSpec）。}
2. 另一方面，(+ 3 4) 没有足够的逗号来扩展（这就是 R5RS 提到的）。
3. 只有一个反引号被折叠，因为反引号不会递归扩展。

扩展两个逗号

要摆脱另一个反引号，需要进行另一级评估：

(eval ``(a ,,(+ 1 2) ,(+ 3 4)))

两个反引号都消失了，我们留下了一个简单的列表：

(A 3 7)

Answer 2

不，两个逗号都被消耗掉了。有两层引用和两层逗号。现在有一层引用和一层逗号。事实上，GNU Common Lisp (2.44.1) 将你的表达式求值为

(list 'a 3)

That 与这完全相同

`(a ,3)

，但更明确地“求值”了两个逗号。