Файловый ввод/вывод

Тема доклада: Файловый ввод/вывод.



Функциональный язык программирования Лисп поддерживает широкие возможности для работы с файлами. При этом вводится понятие потока, с которым связан файл с одной стороны и какой-то символ с другой. Поток представляет собой некий абстрактный объект, с которым мы можем работать, не углубляясь в аппаратную и программную реализацию работы с данными.

Рассмотрим основные функции для работы с файлами:



OPEN filespec &key direction element-type if-exists if-does-not-exist external-format

Функция создает, открывает и возвращает поток файла заданного в filespec.

filespec – путь к файлу

direction - одно из:input, :output, :io, или :probe. По умолчанию:input. Режим открытия файла (чтение, запись, чтение/запись, поток создан но закрыт)

element-type – тип данных с которыми поддерживает работу файл. По умолчанию Character.

if-exists – поведение если файл уже существует (:error, :new-version, :rename, :rename-and-delete, :overwrite, :append, :supersede).

if-does-not-exist - поведение если файл не существует (:error, :create).

external-format – Внешний указатель формата файла. The default is :default.

Возвращает поток (stream).

(setq s (open “example.txt” :direction :io)); создает файл дле чтения/записи и связывает с ним символ s.


LOAD filespec



Эта функция загружает файл выражений и выполняет эти выражения. filespec - это строковая константа, которая представляет собой имя файла может включать префикс директории, например "/function/test1". Если операция успешно завершина, LOAD возвращает имя последней функции, определенной в файле. Если операция не выполнена, LOAD возвращает имя файла в виде строкового выражения.



WRITE-BYTE byte stream



Записывает байт в выходной поток. Тип данных должен быть изменен на unsigned-byte;

_(with-open-file (s "temp-byte" :direction :output :element-type 'unsigned-byte)(write-byte 101 s)) 

=>  101 ; в файле символ ‘е‘



WRITE-CHAR char stream



Записывает символ в выходной поток;

_(with-open-file (s "temp" :direction :output)(write-char #\B s)) 

B



WRITE-LINE string &optional stream &key start end



Записывает строку (ключевые слова :start и :end позволяют задавать диапазон записываемой строки (отсчет с нуля)); производит перевод каретки на новую строку.

_(with-open-file (s "temp" :direction :output )(write-line “Hello, world” s))

=>“Hello, world”

WRITE-STRING string &optional stream &key start end



Записывает строку но не добавляет новую линию в выходной поток;

_(with-open-file (s "temp" :direction :output )(write-string “Hello, world” s :start 3 :end 6))

=>“lo,”



READ-BYTE stream &optional eof-error-p eof-value 

Читает байт с входного потока. 

eof-error-p – по умолчанию nil. Oбобщенная булева переменная (nil – false , все остальное true).

eof-value—признак конца файла.

_(with-open-file (s "temp-bytes" :element-type 'unsigned-byte)(read-byte s))

=>101



READ-CHAR &optional stream eof-error-p eof-value recursive-p 

Читает символ с входного потока. Возвращает (целое) ASCII код считываемого символа. Если не задано <описателя файла> и в буфере ввода клавиатуры нет символов, READ-CHAR ждет, чтобы вы ввели что-либо с клавиатуры (заканчивающееся RETURN). Hапример, добустим, что буфер клавиатуры пуст:

 (read-char)

будет ждать какого-либо ввода. Если вы набрали "АВС", завершив ввод RETURN, READ-CHAR возвратит 65 (код AS0CII буквы "А" (латинской)). Следующие три обращения к READ-CHAR возвратят 66,67 и 10 (переход на новую строку) соответственно. Если затем последует еще одно обращение к READ-CHAR, она будет ждать ввода;

_(with-open-file (s "temp-bytes")(read-byte s))

=>#\e



READ-LINE &optional stream eof-error-p eof-value recursive-p 

Читает строку. READ-LINE возвращает nil, иначе она возвращает строковое значение, которое было считано. Hапример, допустим, что F - это разрешенный указатель открытого файла:

 (read-line f)

возвратит следующую введенную строку из файла или (если достигнут конец файла) nil.



PEEK-CHAR &optional peek-type stream eof-error-p eof-value recursive-p 

Читает символ с потока так, что он доступен для следующей операции чтения. Аргумент peek-type позволяет перескочить к пробелу (Т) или какомуто отдельному символу(a character); /* ??? */



UNREAD-CHAR character &optional stream 

Помещает символ назад на переднюю сторону входного потока, где он остается пока не прочитается снова;



LISTEN &optional stream 

Возвращает Т если данные доступны на входном потоке;



READ-CHAR-NO-HANG &optional stream eof-error-p eof-value recursive-p 

Если символ доступен на входном потоке, функция возвращает символ, иначе nil;



CLEAR-INPUT &optional stream 

Флеширует входной поток, если это нужно;



FINISH-OUTPUT &optional stream

Флеширует выходной поток и ждет результата от адресата;

FORCE-OUTPUT &optional stream

То же что и FINISH-OUTPUT  но не ждет результата;



CLEAR-OUTPUT &optional stream 

Очистка буфера потока;



DELETE-FILE filespec

Удаляет файл;

_(with-open-file (s "delete-me.text" :direction :output :if-exists :error) (delete-file s)); создает и удаляет файл

=>  T



FILE-POSITION &optional stream

Возвращает текущую позицию в файле связанным с потоком srteam;



FILE-POSITION &optional stream position-spec

Производит позиционирование в файле связанным с потоком srteam.

и возвращает Т если позиционирование удалость и NIL при неудаче;

(FILE-POSITION s 0) ; возврат к началу файла.



CLOSE &optional stream

Закрывает поток.



Для работы с файлами можно использовать и  функции PRINТ, PRINС, PRIN1 и READ. Приведем простенький пример:

; открываем поток для записи

(setq out-stream (open "temp.txt" :direction :output))

(print 'abc out-stream) ;запись строки abc

ABC

(close out-stream)

T



; открываем поток для чтения

(setq in-stream (open "temp.txt" :direction :input)) #<INPUT-STREAM "temp.txt">

(read in-stream); считаем все с потока

ABC

(close in-stream)

T





1