如何在宏中获取未引用/扩展参数的值

Question

我需要在对 A.target 的调用中访问 @attr 的实际值

defmodule A do
  defmacro target(param) do
    IO.inspect param, label: "Inside a macro"
  end
end

defmodule B do
  @attr 42
  require A
  A.target(@attr)
end

我肯定有

Inside a macro: {:@, [line: 10], [{:attr, [line: 10], nil}]}

已打印，因为此时正在构建 AST，而A.target/1 不负责扩展其参数。我发现我可以访问参数的值，而不是 quote do 块中的 AST：

defmodule A do
  defmacro target(param) do
    quote do: IO.inspect uquote(param), label: "unquote"
  end
end

问题是我需要预先扩展价值。我尝试过的：

• var!
• Macro.expand
• Code.eval 的任何变体

所以，我的问题是：是否可以在宏主体的第一行强制扩展宏参数？

Answer 1

我不相信你可以。在宏中的引号块之外，@attr 没有值。它只是一个引用的表达式。模块 B 尚未编译。您只能在 A 的引用块内访问 @attr，因为它是在 B 的上下文中执行的。

Answer 2

这个问题有点晚了；不熟悉编写 elixir 宏。

我不建议这样编程，但这是一个有趣的练习！

您的问题似乎是关于使用常量@attr。

这是这个问题的主要痛点！

绝对是一个 hack ?，但您可以通过两个更改来转换。

1) 将元组从宏转换为列表。

2) 宏中的attr 效果不好，需要改成str。

这里的第二个特定问题是 eval 再次出现的错误，即使您在模块内调用它也可能会访问某个宏模块。

** (ArgumentError) cannot invoke @/1 outside module
    (elixir) lib/kernel.ex:5212: Kernel.assert_module_scope/3
    (elixir) expanding macro: Kernel.@/1
    nofile:11: (file)
    expanding macro: A.target/1
    try.exs:11: B (module)

通过一些巧妙的操作来操纵值来做任何你想做的事情，只需确保在取消引用之前将列表转换回元组并将“attr”转换为 {attr}。

解决方案：

defmodule A do
  def foo( {item1, item2, [ {item4, item5, item6} ] } ) do
    [item1, item2, "#{item4}", item5, item6]
  end
  defmacro target(param) do
    macroModified =  param |> foo()
    quote do
      param = unquote(param)
      macroModified  = unquote(macroModified )

      IO.inspect [result: param, macro: [macroModified ]]
    end
  end
end

defmodule B do
  @attr 42
  require A
  A.target(@attr)
end

Answer 3

这不是你想要的吗？

defmodule A do
  defmacro target(param) do
    quote do
      IO.inspect unquote(param), label: "Inside a macro"
    end
  end
end

defmodule B do
  @attr 42
  require A
  A.target(@attr)
end

宏接收带引号的参数。要获得实际值，您必须取消引用它。您只能在引用块内取消引用参数。

当一个宏返回一个带引号的表达式时，它被插入到调用模块中并运行，因此知道IO.inspect...在B模块中运行。