Free Clojure course. Sign Up for tracking progress →

Clojure: Правила макросов

Теперь посмотрим, как выполняется код внутри макросов:

(defmacro id-mac [x]
  "Hello, macro!"
  x)

(macroexpand-1 '(id-mac (println "str")))
; => (println "str")

Как видно из примера, строка, "Hello, macro!" нигде не появилась, следовательно, как и в обычной функции, возвращается последняя форма. Вспомним макрос из прошлого упражнения:

(defmacro identity-macro [x]
  (println "identity of x")
  x)

Как мы уже выяснили, когда мы вызываем identity-macro, форма (println "identity of x") вызывается до возвращения последней формы, что еще раз подтверждает, что тело макроса выполняется так же как и в обычной функции. Это будет вторым правилом макросов: Тело макросов выполняется в соответствии с обычными правилами Clojure.

Посмотрим еще несколько функций и макросов:

(defn triplet-fn [a b c]
  (list a b c))

(defmacro triplet-macro [a b c]
  (list a b c))

(triplet-fn 1 2 3)
; => (1 2 3)

(triplet-macro 1 2 3)
; => java.lang.Exception: Cannot call 1 as a function.

; Что-то пошло не так, посмотрим, во что макрос разворачивается

(macroexpand '(triplet-macro 1 2 3))
; => (1 2 3)

; Хм, кажется все начинает сходиться, попробуем вызвать макрос напрямую
(eval (macroexpand '(triplet-macro 1 2 3)))
; => java.lang.Exception: Cannot call 1 as a function.

; Ошибка такая же, как и в примере выше, Clojure пытается
; выполнить код (1 2 3), который не является валидной формой

Пора подводить итоги! Из примера выше можно сформировать еще одно, третье правило макросов: Данные, возвращаемые макросом немедленно исполняются и результат этого выполнения отдается наружу (третье правило не совсем корректно, но для нынешнего понимания этого пока что достаточно). Полезно помнить, что возвращаемая форма выполняется дважды, когда вы пишете макрос и единожды, когда пишете обычную функцию. Теперь вспомним еще раз все правила, которые сформулировали:

  • Аргументы не выполняются перед тем, как были отправлены в тело макроса;
  • Тело макросов выполняется в соответствии с обычными правилами Clojure;
  • Данные, возвращаемые макросом немедленно исполняются и результат этого выполнения отдается наружу.

Instructions

Исправьте triplet-macro, чтобы он работал так же, как и triplet-fn (не забывайте третье правило макросов!).

The exercise doesn't pass checking. What to do? 😶

If you've reached a deadlock it's time to ask your question in the «Discussions». How ask a question correctly:

  • Be sure to attach the test output, without it it's almost impossible to figure out what went wrong, even if you show your code. It's complicated for developers to execute code in their heads, but having a mistake before their eyes most probably will be helpful.
In my environment the code works, but not here 🤨

Tests are designed so that they test the solution in different ways and against different data. Often the solution works with one kind of input data but doesn't work with others. Check the «Tests» tab to figure this out, you can find hints at the error output.

My code is different from the teacher's one 🤔

It's fine. 🙆 One task in programming can be solved in many different ways. If your code passed all tests, it complies with the task conditions.

In some rare cases, the solution may be adjusted to the tests, but this can be seen immediately.

I've read the lessons but nothing is clear 🙄

It's hard to make educational materials that will suit everyone. We do our best but there is always something to improve. If you see a material that is not clear to you, describe the problem in “Discussions”. It will be great if you'll write unclear points in the question form. Usually, we need a few days for corrections.

By the way, you can participate in courses improvement. There is a link below to the lessons course code which you can edit right in your browser.

If you got stuck and don't know what to do, you can ask a question in our huge and friendly community