Определить, что делает следующий макрос.

@Фрэй · Регистрация: 11.01.2014

Студворк — интернет-сервис помощи студентам

Помогите пожалуйста определить, что делает следующий макрос.

Lisp
1
2
(defmacro argument (form)
(list '(lambda (x) x) (car form)))

Заранее спасибо =)

@helter · 20.11.2014, 18:09

Ерунду делает.

@Фрэй · 20.11.2014, 18:14 **[ТС]**

helter, я боюсь, такой ответ мне не зачтут((

@helter · 20.11.2014, 18:32

А какой ответ вы хотите? Макрос берёт форму form (не вычисляя, макросы не вычисляют свои аргументы), берёт от неё первый элемент (если форма не является списком, будет ошибка), составляет список ((lambda (x) x) голова); а вот этот список будет вычисляться после раскрытия макросов: он вычислит голову (если сможет) и применит к ней тождественное отображение (не знаю, зачем; кстати, тождественное отображение в лиспе называется identity, не нужно для него лямд городить). То же самое можно выразить одним словом "ерунда" без существенного искажения смысла.

Вот пример. Вы в своей иде ов чоис определяете макрос, а потом пишете (argument (+ 1 2)) и в каком-нибудь меню ищете команду Macroexpand-1, которая раскроет внешний макрос. Или можно написать

Lisp
1
(macroexpand-1 '(argument (+ 1 2))

Тогда вы увидите, что макрос раскроется в

Lisp
1
((LAMBDA (X) X) +)

(компьютер пишет большими буквами). Значит, надо применить тождественную функцию к плюсу. Плюс стоит не на первом месте, значит, нужна не функция плюс, а переменная плюс. Вероятно, у вас нет такой переменной, так что при попытке вычислить

Lisp
1
(argument (+ 1 2))

будет ошибка типа "неопределённая переменная +".

Ерунда? Ещё какая.

@Фрэй · 20.11.2014, 18:47 **[ТС]**

Я нашла, что этот макрос возвращает значение своего аргумента.

@Catstail · 20.11.2014, 18:49

Фрэй, helter совершенно прав. Я, к примеру, не вижу позитивного применения этого макроса.

Добавлено через 1 минуту

Сообщение от Фрэй

Я нашла, что этот макрос возвращает значение своего аргумента.

- это не так:

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(defmacro argument (form)
   (list '(lambda (x) x) (car form)))
 
==> argument
 
(argument (a b c))
 
Assoc: Символ a не имеет значения (не связан).
 
==> ERRSTATE
 
(argument '(a b c))
 
Assoc: Символ QUOTE не имеет значения (не связан).
 
==> ERRSTATE

@Фрэй · 20.11.2014, 18:58 **[ТС]**

Catstail, знаю, я полчаса пыталась заставить его работать. Получается с числом:

Lisp
1
2
(argument (1)) 
==> 1

Этот макрос не мой. Он из учебника.

@helter · 20.11.2014, 19:35

Сообщение от Фрэй

Он из учебника.

Ну вот ерунда в учебнике написана, разве это странно?

Сообщение от Фрэй

Получается с числом:

А что у вас получается? Аргумент у вас - список (1), а макрос честно вычисляет голову этого списка - число 1. Потому что число можно вычислить. На первое место поставьте что угодно, что можно вычислить:

Lisp
1
(argument ((+ 1 2) a b)) ==> 3

Или связанную переменную. Я вам написал, что он делает, да вы и сами могли бы в этом убедиться.

Добавлено через 1 минуту
Кстати, если в учебнике пишут (lambda (x) x) вместо identity, это точно фиговый учебник.

Новые блоги и статьи Все статьи Все блоги /
Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .	модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI
Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .

@helter 4528 / 3522 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	20.11.2014, 18:09
	Ерунду делает. 0

@Фрэй 1 / 1 / 0 Регистрация: 11.01.2014 Сообщений: 17
	20.11.2014, 18:14 [ТС]
	helter, я боюсь, такой ответ мне не зачтут(( 0

@Фрэй 1 / 1 / 0 Регистрация: 11.01.2014 Сообщений: 17
	20.11.2014, 18:47 [ТС]
	Я нашла, что этот макрос возвращает значение своего аргумента. 0