7.5. Макрознаки |
141 |
Чтобы максимально упростить пример, код на рис. 7.2. просто заменя ет одну строку на другую. Однако его несложно обобщить и соорудить поиск по полноценным шаблонам вместо последовательностей букв. Все, что вам потребуется, – заменить вызов char= на функцию проверки на соответствие шаблону.
7.5. Макрознаки
Макрознаки (macro character) – это знаки, имеющие особое значение для функции read. Знаки a и b обычно обрабатываются как есть, однако знак открывающей круглой скобки распознается как начало считыва ния списка.
Макрознаки или их комбинация известны также как макросы чтения (read-macro). Многие макросы чтения в Common Lisp на деле являются сокращениями. Например, кавычка. Цитируемое выражение, напри мер ’a, при обработке с помощью read раскрывается в список (quote a). При наборе подобного выражения в toplevel оно вычисляется сразу же после прочтения, и вы никогда не увидите этого преобразования. Его можно обнаружить, вызывая read явно:
> (car (read-from-string "’a")) QUOTE
Макрос чтения, соответствующий quote, состоит лишь из одного знака, что является редкостью. С ограниченным набором знаков сложно полу чить много односимвольных макросов чтения. Большинство макросов чтения состоит из двух или более знаков.
Такие макросы чтения называются диспетчеризуемыми (dispatching), а их первый знак называется диспетчером. У всех стандартных макро сов чтения знаком-диспетчером является решетка #. С некоторыми из них мы уже знакомы. Например, #’ соответствует (function ...), а ’ яв ляется сокращением для (quote ...).
Следующие диспетчеризуемые макросы чтения мы также уже видели: #(...) является сокращением для векторов, #nА(...) – для массивов, #\ – для знаков, #S(n ...) – для структур. При выводе на печать через prin1 (или format с ~S) такие объекты отобразятся в виде соответствующих макросов чтения.1 Это означает, что объекты, записанные буквально, могут быть считаны обратно в таком же виде:
> (let ((*print-array* t))
(vectorp (read-from-string (format nil "~S" (vector 1 2)))))
T
1Чтобы векторы и массивы печатались таким образом, необходимо устано вить значение *print-array*, равное t.
142 |
Глава 7. Ввод и вывод |
Разумеется, на выходе получается не тот же самый вектор, а другой, но состоящий из тех же элементов.
Не все объекты отображаются в соответствии с таблицей чтения read table. Функции и хеш-таблицы, к примеру, отображаются через #<...>. Фактически #< – тоже макрос чтения, однако при передаче в read он все гда вызывает ошибку. Функции и хеш-таблицы не могут быть напеча таны, а затем прочитаны обратно, и этот макрос чтения гарантирует, что пользователи не будут питать иллюзий на этот счет1.
При определении собственного представления для какого-либо объекта (например, для отображения структур) важно помнить этот принцип. Либо объект в вашем представлении может быть прочитан обратно, ли бо вы используете #<...>.
Итоги главы
1.Потоки – источники ввода и получатели вывода. В потоках знаков ввод и вывод состоят из знаков.
2.Поток, используемый по умолчанию, соответствует toplevel. При от крытии файлов создаются новые потоки.
3.Ввод может обрабатываться как набор объектов, строка знаков или же как отдельные знаки.
4.Функция format предоставляет полное управление выводом.
5.Чтобы осуществить замену строк в текстовом файле, вам придется считывать знаки в буфер.
6.Когда read встречает макрознак типа ’, она вызывает связанную с ним функцию.
Упражнения
1.Определите функцию, возвращающую список из строк, прочитан ных из заданного файла.
2.Определите функцию, возвращающую список выражений, содержа щихся в заданном файле.
3.Пусть в файле некоторого формата комментарии помечаются зна ком %. Содержимое строки от начала знака комментария до ее конца игнорируется. Определите функцию, принимающую два имени фай ла и записывающую во второй содержимое первого с вырезанными комментариями.
1В Лиспе решетка с кавычкой не могут использоваться для описания функ ций, так как этот макрознак не в состоянии представлять замыкание.
Упражнения |
143 |
4. Определите функцию, принимающую двумерный массив чисел
сплавающей запятой и отображающую его в виде аккуратных коло нок. Каждый элемент должен печататься с двумя знаками после за пятой на пространстве 10 знаков. (Исходите из предположения, что все они уместятся в отведенном пространстве.) Вам потребуется функция array-dimensions (стр. 374).
5.Измените функцию stream-subst так, чтобы она понимала шаблоны
сметазнаком +. Если знак + появляется в строке old, он может соот ветствовать любому знаку.
6.Измените функцию stream-subst так, чтобы шаблон мог содержать элемент, соответствующий: любой цифре, любой цифре и букве, лю бому знаку. Шаблон должен уметь распознавать любые читаемые знаки. (Подсказка: old теперь не обязательно должен быть строкой.)