如何在quote代码块内调用Elixir私有宏并传入块内变量？

我明白你想要实现的效果：通过__using__宏生成的函数里，调用一个私有宏，让这个宏能够引用生成函数内的局部变量，最终编译出你期望的代码。咱们一步步来解决这个问题。

首先，你最初的伪代码之所以行不通，核心原因是bind_quoted: [msg: msg]会在Foo模块的宏展开阶段尝试绑定msg的值，但此时my是Bar.hello函数里的局部变量，在Foo的宏展开语境里根本不存在，自然会报错。

要实现你的需求，关键是让私有宏debug把目标变量的引用直接插入到生成的代码中，而不是在宏展开阶段就试图解析它。这里有个简单可行的方案：

defmodule Foo do
  defmacrop debug(expr) do
    # 直接把传入的表达式插入到IO.puts中
    quote do
      IO.puts(unquote(expr))
    end
  end

  defmacro __using__(_) do
    quote do
      def hello do
        my = "testme"
        # 传递my的quoted形式给debug宏
        unquote(debug(quote do: my))
      end
    end
  end
end

defmodule Bar do
  use Foo
end

Bar.hello() # 运行后会输出 "testme"

这段代码展开后，就会完全符合你的预期：

defmodule Bar do
  def hello do
    my = "testme"
    IO.puts(my)
  end
end

原理解释 #

• 当__using__宏展开时，debug(quote do: my)会先触发debug宏的展开：把expr替换成quote do: my对应的AST节点，生成IO.puts(my)的AST。
• 最终这些AST会被插入到Bar.hello的函数定义中，此时my是函数内的局部变量，完全可以正常引用。

如果你想更灵活地通过变量名（原子形式）传递，也可以用var!强制引用目标作用域的变量，写法如下：

defmodule Foo do
  defmacrop debug(var_name) do
    quote do
      # var! 告诉编译器：这个变量在目标作用域中存在，不要在当前宏作用域查找
      IO.puts(var!(unquote(var_name)))
    end
  end

  defmacro __using__(_) do
    quote do
      def hello do
        my = "testme"
        unquote(debug(:my))
      end
    end
  end
end

关键注意点 #

• 宏的展开是在**定义宏的模块（Foo）**的作用域中进行的，所以宏内部无法直接引用目标模块（Bar）里的局部变量——这些变量在宏展开时还没被定义。
• 要让宏能使用目标作用域的变量，必须把变量的引用以quoted表达式的形式传递给宏，让宏把这个引用直接插入到生成的代码中，延迟到目标代码运行时再解析变量。
• bind_quoted适合处理在宏展开阶段就已经确定的值，而不是目标作用域的局部变量。

内容的提问来源于stack exchange，提问作者Francesco Belladonna