SBCL编译后简易REPL函数出现输出输入顺序错乱问题

这是标准输出缓冲策略差异导致的问题，和编译本身没有根本性关联，本质是运行环境对IO缓冲的处理不同：

问题原因 #

• 在SBCL的交互式REPL中，标准输出默认采用行缓冲模式：每次输出换行符时，系统会自动刷新输出缓冲区，确保内容立即显示，所以输入和输出的顺序完全同步。
• 但通过sbcl --load加载脚本或编译成可执行文件时，标准输出会切换为**块缓冲（全缓冲）**模式：只有当缓冲区被填满、程序终止，或者主动触发刷新操作时，才会将缓冲区内容输出到终端。你的代码中print函数虽然会输出对象并添加换行，但块缓冲模式下换行不会自动触发刷新，导致输出内容被暂存，直到后续满足刷新条件才会显示，最终出现输入先显示、输出滞后的错乱现象。

解决办法 #

手动触发输出缓冲区刷新即可解决问题，修改代码如下：

(defun testing-func ()
  (print "@Repl has Started@")
  (finish-output) ; 刷新初始提示的输出
  (loop 
    (print (eval (read)))
    (finish-output))) ; 每次执行输出后强制刷新缓冲区

(sb-ext:save-lisp-and-die #P"output-test"
   :toplevel #'testing-func
   :executable t)

你之前尝试递归方式仍有问题，是因为递归写法同样没有处理输出缓冲，和循环/递归的实现方式无关，核心都是IO缓冲未及时刷新的问题。

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