Common Lisp中的后引号:read和eval

这个问题有点重复了 this 和 this for Elisp 。基本上,如何阅读和评估后引号?正在发生什么过程?标准对此有什么规定吗?

这是我所期望的,但是 这不会发生 :symbol `是一个读取器宏,并被转换为某种 (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中,这是有效的。