SBCL中*query-io*与标准IO行为差异的技术咨询

这本质是SBCL对两个流采用了不同的输出缓冲策略导致的，和换行符无关，核心在于流的刷新时机。

1. 使用query-io时的行为 #

query-io是Common Lisp专门用于交互式查询的双向流，SBCL对它默认采用延迟刷新的行缓冲策略：只有当输出流遇到换行符，或者显式调用finish-output刷新缓冲区时，才会把缓冲区内容输出到终端。

你定义的函数里：

(defun read (prompt)
  (format *query-io* "~a: " prompt)
  (read-line))

format输出的"message: "没有换行符，缓冲区内容一直没被输出。直到你输入hello并按下回车，read-line完成输入操作，SBCL才会触发query-io的缓冲区刷新，此时message: 才会被打印出来——但这时候输入内容、函数返回值已经先一步显示了，所以出现了顺序颠倒的情况。

2. 使用standard-output时的行为 #

standard-output是通用的标准输出流，SBCL在REPL环境下对它的缓冲策略更宽松：通常会在执行到输入操作（比如read-line）前自动刷新缓冲区，或者缓冲区阈值更低，内容会更快被输出到终端。

你看到的输出顺序依然有点“错位”，是因为REPL本身的输入提示符（>）和standard-output的输出是两个独立的显示逻辑：当函数执行到read-line时，REPL先弹出输入提示符让你输入，你输入hello回车后，standard-output中缓冲的message: 才被打印，接着显示函数返回值。

3. 解决query-io的延迟输出问题 #

如果想让query-io的prompt立刻显示，只需在format后显式刷新流：

(defun my-read (prompt)  ; 建议别用read，避免覆盖内置函数
  (format *query-io* "~a: " prompt)
  (finish-output *query-io*)  ; 强制刷新缓冲区
  (read-line))

这样调用(my-read "message")时，会先显示message: ，再等待你输入内容，输出顺序就符合预期了。

内容的提问来源于stack exchange，提问作者redwill17