Khi nào định dạng thực sự in trong Common Lisp?

Question

Tôi có đoạn code sau Common Lisp:

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

Khi tôi chạy nó, tôi nhận được như sau:

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

Lưu ý rằng tôi gõ vào "(m-quote a)", trong khi Đầu ra thông dịch Lisp "Micro> NIL".

Bây giờ, tôi đã dự kiến ​​những sự kiện này sẽ xảy ra theo thứ tự ngược lại. Tôi đã có thể mong đợi "Micro>" đã được in đầu tiên kể từ khi tuyên bố định dạng đến trước. Tại sao nó không được in đầu tiên? Và tôi phải làm gì để đảm bảo nó được in trước?

Answer 1

Hãy thử thêm

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

Tôi tin rằng bạn đang gặp phải các đệm của io chuẩn (stdio) trong đó, C, thường được bỏ qua qua fflush() trong ngôn ngữ đó.

finish-output dường như là tương đương Lisp chung của thư viện chuẩn C fflush.