宏中backquote form的一个问题

Question

刚开始学习Practical Common Lisp，遇到一个宏的问题，请教一下各位，还望不吝赐教。
该书第九章有个例程：

(defun report-result (result form)
  (format t "~:[FAIL~;pass~] ... ~a~%" result form))

(defmacro check (form)
  `(report-result ,form ',form))

之后在console环境下，直接写backquote例子，

(setq a 1 b 2 c 3）
`(a b ,c (',(+ a b c)) (+ a b) 'c '((,a 'b)))  =》 (A B 3 ('6) (+ A B) 'C '((1 'B)))
`(a b ,c (,'(+ a b c)) (+ a b) 'c '((,a 'b))) =》 (A B 3 ((+ A B C)) (+ A B) 'C '((1 'B)))

问题：为什么在check中',form没有计算form而后将结果作为像(',(+ a b c))=》('6)那样发下去呢，为什么不使用,'而用',呢，从console的实验中，感觉,'更正确

Answer 1

刚开始学习Practical Common Lisp，遇到一个宏的问题，请教一下各位，还望不吝赐教。
该书第九章有个例程： ...
fireman119 发表于 2010-11-06 22:29

    呵呵,楼主你搞反了! ,'form 只会求 form这个表达式本身的值.

Answer 2

我觉得这里form是quoted s expression吧，例如
(check '(= 3 (+ 1 2))就被展开成(report-result (= 3 (+ 1 2)) '(= 3 (+ 1 2))).