Common Lisp 中的 format 何时真正打印？

Question

我有以下 Common Lisp 代码：

(defun micro-read-eval-print ()
    (format t "Micro > ")
    (let ((form (read-line)))))

当我运行它时，我得到以下信息：

CL-USER> (micro-read-eval-print)
(m-quote a)
Micro > NIL

请注意，我输入了“(m-quote a)”，而 Lisp 解释器输出“Micro > NIL”。

现在，我预计这些事件会以相反的顺序发生。我本来希望“Micro >”首先被打印，因为格式声明首先出现。为什么不先打印出来？我该怎么做才能确保它首先被打印出来？

Answer 1

尝试添加

(defun micro-read-eval-print ()
    (format t "Micro > ")
    (finish-output)
    (let ((form (read-line)))))

我相信您遇到了标准 io (stdio) 的缓冲，在 C 语言中，通常通过该语言中的 fflush() 绕过该缓冲。

finish-output 似乎是 Common Lisp 中 C 标准库的 fflush 的等价物。