Elixir: Знакомство с quote и unquote

Вспомним пример из прошлого упражнения:

defmodule Exercise do
  defmacro double(x) do
    {:*, [], [2, x]}
  end
end

В этом макросе мы вернули код во внутреннем представлении языка Elixir, но работать с таким представлением неудобно, особенно если есть вложенность:

# в этом макросе выполняется следующая операция ((x * 4) + 3) * x
defmodule Exercise do
  defmacro magic(x) do
    {:*, [],
      [
        {:+, [],
          [{:*, [], [x, 4]}, 3]},
        x
      ]
    }
  end
end

require Exercise

Exercise.magic(1)
# 7, т.к. ((1 * 4) + 3) * 1
Exercise.magic(2)
# 22, т.к. ((2 * 4) + 3) * 2

В примере выше мы напрямую управляли структурой AST дерева, однако понимать этот код стало сложнее. Для упрощения работы с AST в макросах Elixir есть функции quote и unquote прямиком перекочевавшие из Lisp-подобных языков.

Функция quote принимает произвольное выражение на языке Elixir и преобразует его во внутренне представление языка:

quote do: 1 + 2
# => {:+, [], [1, 2]}

quote do: Integer.to_string((1 + 2) * 3)
# => {{:., [], []}, [],
# =>   [
# =>     {:*, [],
# =>       [{:+, [], [1, 2]}, 3]}
# => ]}

Теперь попробуем переписать макрос из начала упражнения:

defmodule Exercise do
  defmacro double(x) do
    quote do: 2 * x
  end
end

require Exercise

Exercise.double(2)
# => error: undefined variable "x" (context Exercise)

Код не работает из-за того, что x при передаче в макрос уже в форме внутреннего представления, поэтому нужно сообщить Elixir, что аргумент не нужно переводить во внутренне представление, для этого используется функция unquote:

defmodule Exercise do
  defmacro double(x) do
    quote do
      2 * unquote(x)
    end
  end
end

require Exercise

Exercise.double(2)
# => 4

По сути мы сообщили Elixir следующее: Преврати 2 * x во внутреннее представление, но оставь аргумент x в исходном виде.

Подведем итоги: quote означает преврати все в блоке do в формат внутреннего представления, unquote означает не превращай это во внутренний формат.

Многие, кто пишут макросы, частно допускают ошибку, забывая передать аргументы функции unquote. Важно помнить, что все аргументы передаются макросам во внутреннем формате.

Так же важно знать, что при передаче в quote атома, числа, строки, списка или кортежа с двумя элементами, функция вернет аргумент без изменений, а не кортеж во внутреннем формате.

quote do: :a
# => :a
quote do: 2
# => 2
quote do: "hello"
# => "hello
quote do: [1, 2, 3]
# => [1, 2, 3]

quote do: {1, 2}
# => {1, 2}
quote do: {1, 2, 3}
# => {:{}, [], [1, 2, 3]}
quote do: %{a: 2}
# => {:%{}, [], [a: 2]}

Происходит это потому, что элементы из примера выше тоже представляют собой часть AST структуры Elixir, поэтому их не нужно дополнительно переводить во внутреннее представление.

Задание

Создайте макрос my_unless, который повторяет семантику unless:

require Solution

Solution.my_unless(false, do: 1 + 3)
# => 4
Solution.my_unless(true, do: 1 + 3)
# => nil
Solution.my_unless(2 == 2, do: "hello")
# => nil
Solution.my_unless(2 == 1, do: "world")
# => "world"
Как с вами связаться? 🙃

Команда проекта находится в телеграм-сообществе по ссылке https://ttttt.me/HexletLearningBot. Там можно задать любой вопрос и повлиять на проект

Упражнение не проходит проверку — что делать? 😶

Если вы зашли в тупик, то самое время поговорить с нашим асситентом Тота во вкладке "Обсуждение". Как правильно задать вопрос:

В моей среде код работает, а здесь нет 🤨

Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.

Мой код отличается от решения учителя 🤔

Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи. В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.

Прочитал урок — ничего не понятно 🙄

Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в обратной связи нашего сообщества

Нашли ошибку? Есть что добавить? Пулреквесты приветствуются

Привет! Я Тота и моя задача помочь в обучении. Чтобы активировать меня, нужно зарегистрироваться или залогиниться, если у вас уже есть аккаунт

Loading...

Ваше упражнение проверяется по этим тестам

1defmodule Test do
2  use ExUnit.Case
3
4  require Solution
5
6  test "my_unless work" do
7    assert Solution.my_unless(false, do: 1 + 3) == 4
8    refute Solution.my_unless(true, do: 2)
9    refute Solution.my_unless(2 == 2, do: "Hello")
10    assert Solution.my_unless(1 == 2, do: "world") == "world"
11  end
12end
13

Решение учителя откроется через:

20:00
waiting_clock