Почему read-line запускается дважды для чтения из файла в Лиспе?

Question

Это код для реализации команды 'cat' с lisp, как объяснено в книге ANSI Common Lisp , стр. 122.

(defun pseudo-cat (file)
  (with-open-file (str file :direction :input)
    (do ((line (read-line str nil 'eof)
               (read-line str nil 'eof)))
        ((eql line 'eof))
      (format t "~A~%" line))))

Почему чтениеЛинейная функция запускается дважды?Я пытался запустить его только с одной строкой чтения, но Lisp не смог завершить код.

Answer 1

Синтаксис переменных DO: переменная, форма инициализации, форма обновления.В этом случае форма инициализации совпадает с формой обновления.Но в DO нет сокращения для этого случая, поэтому вы должны записать его дважды.

Answer 2

Вам необходимо прочитать синтаксис DO: http://www.lispworks.com/documentation/HyperSpec/Body/m_do_do.htm

Первая форма READ-LINE - это форма init, а вторая - пошаговая форма.Таким образом, в первой итерации переменная устанавливается на результат init-формы.На следующих итерациях переменной присваивается значение пошаговой формы.

Answer 3

Вы можете использовать (listen file) для проверки, если можете читать из файла.

Это моя функция печати файла

(defun print-file (filename)
  "Print file on stdout."
  (with-open-file (file filename :direction :input)
          (loop
             (when (not (listen file)) (return))
             (write-line (read-line file)))))