Question

此问题在某种程度上已重新加入this和this for Elisp。基本上，如何读取和评估反向报价？正在发生什么过程？标准是否对此有所说明？

这是我期望的，但它不会发生：符号`是一个读者宏，并被翻译成某种(BACKQUOTE ...)宏/特殊形式（类似于'被翻译为(QUOTE ...)）。这种情况并没有发生，事实上，Common Lisp甚至没有BACKQUOTE宏。

发生了什么（SBCL）：

CL-USER> (defparameter *q* (read-from-string "`(a b ,c)"))
*Q*
CL-USER> *q*
`(A B ,C)
CL-USER> (car *q*)
SB-INT:QUASIQUOTE
CL-USER> (cdr *q*)
((A B ,C))

与预期不同的东西，但还可以。现在，,C本身就是一个有趣的野兽：

CL-USER> (type-of (third (cadr *q*)))
SB-IMPL::COMMA

如果没有逗号符号，则评估读取表达式很好：

CL-USER> (eval (read-from-string "`(a b c)"))
(A B C)

但如果我想用C的本地绑定来评估原始表达式，则会出现问题：

(let ((c 10)) (eval (read-from-string "`(a b ,c)")))
; in: LET ((C 10))
;     (LET ((C 10))
;       (EVAL (READ-FROM-STRING "`(a b ,c)")))
; 
; caught STYLE-WARNING:
;   The variable C is defined but never used.
; 
; compilation unit finished
;   caught 1 STYLE-WARNING condition
; Evaluation aborted on #<UNBOUND-VARIABLE C {1007A3B2F3}>.

这意味着EVAL没有选择C绑定的环境。

PS。有趣的是，在Elisp中这很有用。

Answer 1

<强>反引号

Backquote是Common Lisp中的标准macro character。

在Common Lisp中，反引号表达式的表示是未定义的。实现实际上使用不同的表示。您对SBCL的看法是特定于实现的。

<强> EVAL

eval的问题与读者或反引号表达完全无关：

? (let ((c 10))
    (eval '(list 'a 'b c)))

Error: The variable C is unbound.

在Common Lisp EVAL中使用动态环境和null lexical environment来评估表单。 <{1}}绑定到c的词汇环境以上未被使用。

但动态绑定是。我们需要将变量声明为10：

special

因此，这也有效：

? (let ((c 10))
    (declare (special c))
    (eval '(list 'a 'b c)))
(A B 10)

Emacs Lisp默认具有动态绑定（尽管GNU Emacs现在也支持词法绑定）。 Common Lisp默认具有词法绑定。

Common Lisp中的反引用：read和eval

1 个答案: