为什么 Lisp 阅读器在使用阅读器宏时返回“(list 1 2 3)”而不是“(1 2 3)”？

Question

最近，我试图更好地理解阅读器宏。 我读过一篇关于使用读取器宏读取 JSON 格式的对象的文章。

使用上面文章中稍微改编的代码（它只读取（或应该读取）arrays [1,2,3]到列表(1 2 3) ）

(defun read-next-object (separator delimiter &optional (input-stream *standard-input*))
  (flet ((peek-next-char ()
           (peek-char t input-stream t nil t))
         (discard-next-char ()
           (read-char input-stream t nil t)))
    (if (and delimiter (char= (peek-next-char) delimiter))
        (progn
          (discard-next-char)
          nil)
        (let* ((object (read input-stream t nil t))
               (next-char (peek-next-char)))
          (cond
            ((char= next-char separator) (discard-next-char))
            ((and delimiter (char= next-char delimiter)) nil)
            (t (error "Unexpected next char: ~S" next-char)))
          object))))

(defun read-separator (stream char)
  (declare (ignore stream))
  (error "Separator ~S shouldn't be read alone" char))

(defun read-delimiter (stream char)
  (declare (ignore stream))
  (error "Delimiter ~S shouldn't be read alone" char))

(defun read-left-bracket (stream char)
  (declare (ignore char))
  (let ((*readtable* (copy-readtable)))
    (set-macro-character #\, 'read-separator)
    (loop
       for object = (read-next-object #\, #\] stream)
       while object
       collect object into objects
       finally (return `(list ,@objects)))))

目的是在字符串上调用read并让它生成 Lisp 列表。

通过以下测试代码，我得到：

(with-input-from-string (stream "[1,2,3]")
  (let ((*readtable* (copy-readtable)))
    (set-macro-character #\[ 'read-left-bracket)
    (set-macro-character #\] 'read-delimiter)
    (read stream)))
;; => (LIST 1 2 3)

我希望得到(1 2 3)而不是。

现在，当我“永久”更改当前可读表时，即在顶层调用set-macro-character并在提示符下键入[1,2,3]时，我确实得到了(1 2 3) 。

那么，为什么

(with-input-from-string (stream "(1 2 3)")
  (read stream)))
;; => (1 2 3)

给出“预期”的结果？ 我错过了什么？ 某处是否隐藏了一些eval ？ （我知道上面的准引用，但缺少一些中间推理......）

谢谢！

编辑：

使用

(defun read-left-bracket (stream char)
  (declare (ignore char))
  (let ((*readtable* (copy-readtable)))
    (set-macro-character #\, 'read-separator)
    (loop
       for object = (read-next-object #\, #\] stream)
       while object
       collect object)))

我得到了我所期望的。 在 REPL 中输入'[1,2,3]就像输入“真实”列表一样。

从字符串中读取也可以按预期工作。

Answer 1

你有

(return `(list ,@objects))

在你的代码中。 因此[...]被读作(list...) 。

接下来，如果您使用 REPL 并评估

> [...]

然后就像你评估的那样

> (list 1 2 3)

返回(1 2 3) 。