io - Lisp 格式和强制输出

Question

我不明白为什么这段代码在不同的实现中表现不同:

(format t "asdf")
(setq var (read))

在 CLISP 中，它的行为符合预期，先打印提示，然后读取，但在 SBCL 中，它读取，然后 输出。我在网上看了一点，改了一下:

(format t "asdf")
(force-output t)
(setq var (read))

同样，这在 CLISP 中运行良好，但在 SBCL 中它仍然读取，然后输出。我什至尝试将它分成另一个函数:

(defun output (string)
   (format t string)
   (force-output t))
(output "asdf")
(setq var (read))

它仍然读取，然后输出。我没有正确使用 force-output 还是这只是 SBCL 的一个特性？

Answer 1

您需要使用FINISH-OUTPUT。

在具有缓冲输出流的系统中，一些输出保留在输出缓冲区中，直到输出缓冲区已满(然后它将自动写入目标)或输出缓冲区被显式清空。

Common Lisp 具有三个函数:

• FINISH-OUTPUT，尝试确保所有输出完成然后返回。

• FORCE-OUTPUT，开始剩余的输出，但立即返回并且不等待所有输出完成。

• CLEAR-OUTPUT，尝试删除任何待处理的输出。

此外 FORCE-OUTPUT 和 FORMAT 中的 T 不幸的是不一样。

• force-output/finish-output:T 是 *terminal-io* 并且NIL 是 *standard-output*

• 格式:T是*standard-output*

这应该有效:

(format t "asdf")
(finish-output nil)   ;  note the NIL
(setq var (read))