Elixir 中导入的宏生成代码的范围

Question

我正在浏览 Saša Jurić 的精彩 series on macros，在运行以下代码时，我遇到了一些让我感到困惑的事情：

defmodule Plug.Router do
  defmacro get(route, body) do
    quote do
      defp do_match("GET", unquote(route), var!(conn)) do
        unquote(body[:do])
      end
    end
  end
end

defmodule MyRouter do
  import Plug.Router

  def match(type, route) do
    do_match(type, route, :dummy_connection)
  end

  get "/hello", do: {conn, "Hi!"}
  get "/goodbye", do: {conn, "Bye!"}

  MyRouter.match("GET", "/hello") |> IO.inspect
  MyRouter.match("GET", "/goodbye") |> IO.inspect
end

我的问题是：

• do_match/3 函数注入到哪个模块中？是在Plug.Router 模块中，还是在MyRouter 模块中？在文章的后面，提到use 和require 将代码注入到调用者的模块中。这对imported 宏也有效吗？

• 我应该在 Elixir 的代码中哪里寻找这种行为的实现？

• 有没有一种简单的方法可以在扩展后检查模块的结构？相当于Macro.to_string/3，但对于Modules？

Answer 1

宏生成的函数会在MyRouter中定义

如果你require 一个模块，它的宏将对调用者模块可用。如果你 import 一个模块，它的宏和函数也可以访问，而不必使用模块名称作为前缀。有关详细信息，请参阅getting started guide on alias, require and import。

require 和import 是 Elixir 的底层特性，所以它们直接在 Erlang 中实现。在here 中可以找到相当多的import 和require 逻辑。

我不知道有什么方法可以内省这些东西，因为宏基本上不会在编译的代码中留下任何痕迹。宏的美妙之处在于它们不会给您的代码带来任何额外的开销。但是，您可以使用 MyRouter.__info__(:functions) 进行宏扩展后检查模块中包含哪些函数