递归宏 Elixir

Question

我在玩 Elixir 宏 - 特别是自称宏，这是我在 Scheme 中经常做的事情。我在下面创建了一个小测试宏，但它只是挂起 iex - 没有任何内容打印到控制台。有没有人知道为什么以及可以做些什么来纠正它？

defmodule RecMac do
  defmacro test_rec(x) do
    quote do
      IO.puts("Started?")
      if(unquote(x) < 1) do
        IO.puts("Done?")
        "done"
      else
        IO.puts("Where are we")
        IO.puts(unquote(x))
        RecMac.test_rec(unquote(x) - 1)
      end
    end
  end
end

编辑！！

好的，事实证明你可以定义递归宏，其中存在要匹配的结构差异（例如列表）。以下对我有用。并在下面确认@Aleksei Matiushkin，上面的方法不起作用，而且在方案中确实不起作用！

  defmacro test_rec([h | t]) do
    quote do
      IO.inspect([unquote(h) | unquote(t)])
      RecMac.test_rec(unquote(t))
    end
  end

  defmacro test_rec([]) do
    quote do
      IO.puts "Done"
    end
  end
end

我很高兴能够深入研究这一点，因为我学到了两种语言的知识！

Answer 1

TL;DR：这是不可能的。

---

elixir 中的宏不是您期望的那样。当编译器看到一个宏时，它会在编译期间调用它 并且 注入它返回的AST来代替它被调用的地方。也就是说，递归宏总是会在编译阶段导致无限循环。

将IO.puts("something") 放在 quote do 指令之前，您会看到它被无限打印，每次后续调用扩展宏一次。

您可以使用@compile {:inline, test_rec: 1} 来实现您所追求的行为。为了更好地理解宏，您可能应该阅读 Elixir 指南 中的 Macros 部分，尤其是以下摘录：

宏比普通的 Elixir 函数更难编写，并且在不需要时使用它们被认为是不好的风格。所以要负责任地编写宏。

Answer 2

实际上你可以做某种递归，但重点是想想你在做什么以避免在quote do [....] end 中调用宏。您的 IO.puts 示例将是这样的

defmodule RecMac  do
  defmacro test_rec(list) do
    {:__block__, [], quote_value(list)}
  end

  defp quote_value([]), do: []
  defp quote_value([h | t]) do
    if h < 1 do
      []
    else
      ast = quote do
         IO.puts("#{unquote(h)}")
      end
      [ast | quote_value(t)]
    end
  end
end

您会注意到两件事，我确实在宏中使用递归，但在外部引用使用私有函数 quote_value/1，并且该函数具有在找到低于 1 的值后“停止”的逻辑。所有“引号”都放入列表中，诀窍是将此列表放入元组{:__block__, [], put_quote_list_here}

现在请注意，如果预先不知道 test_rec 的列表参数（在编译期间），则此宏不会编译，因此您需要调用宏 test_rec(["a", "b", 0, 100, 200]) 以便编译器知道该列表的大小和元素。

顺便说一句，我使用了体优化递归，但您可以轻松添加累加器并将其转换为尾优化递归。