Quand le format imprime-t-il réellement en Common Lisp?

Question

J'ai le code Lisp commun suivant:

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

Quand je cours, je reçois le texte suivant:

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

Notez que je tapé "(m-citation a)", alors que le Sortie interpréteur Lisp "Micro> NIL".

Maintenant, je m'attendais à ce que ces événements se produisent dans l'ordre inverse. Je m'attendais à ce que "Micro>" soit imprimé en premier puisque la déclaration de format vient en premier. Pourquoi n'est-il pas imprimé en premier? Et que dois-je faire pour m'assurer qu'il est imprimé en premier?

Answer 1

Essayez d'ajouter

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

Je crois que vous rencontrez la mise en mémoire tampon de io standard (stdio) qui, en C, est souvent contournée par l'intermédiaire fflush() dans cette langue.

finish-output semble être l'équivalent Common Lisp de la bibliothèque standard C fflush.