Elixir：AST扩展期间未定义的变量

Question

我有一个像这样的模块，ast1 和 ast2 看起来一样，但在第二个模块中出现 rest undefined 错误。谁能解释一下这个问题？

defmodule PacketDef do
  pk_def = {:pk_name, [
    {:unk_int1, :int},
    {:unk_int2, :int},
  ]}

  {pkn, field_defs} = pk_def

  field_decs = Enum.map(field_defs, fn
    ({var_name, var_type}) when var_type in [:int] ->
        rest = Macro.var(:rest, __MODULE__)

        dec_name = String.to_atom("decode_#{var_type}")
        xvar_name = Macro.var(var_name, __MODULE__)
        quote do
            {:ok, unquote(xvar_name), unquote(rest)} = unquote(dec_name)(unquote(rest))
        end
    (_field_def) ->
        nil
  end)

  ast1 = quote do
      def decode(unquote(pkn), rest) do
        {:ok, unk_int1, rest} = decode_int(rest)
        {:ok, unk_int2, rest} = decode_int(rest)
        {:ok, rest}
      end
  end
  ast2 = quote do
      def decode(unquote(pkn), rest) do
        unquote_splicing(field_decs)        
        {:ok, rest}
      end
  end

  IO.puts("ast1")
  IO.inspect(ast1, width: 100)
  IO.puts("ast2")
  IO.inspect(ast2, width: 100)

  def decode(unquote(pkn), rest) do
    {:ok, unk_int1, rest} = decode_int(rest)
    {:ok, unk_int2, rest} = decode_int(rest)
    {:ok, rest}
  end

  # why get error *rest* here
  def decode(unquote(pkn), rest) do
    unquote_splicing(field_decs)        
    {:ok, rest}
  end

  def decode_int(<<b::32-little, rest::binary>>) do
    {:ok, b, rest}
  end
end

更新

• 我想做的是，给定pk_def 生成的decode 函数类似于ast1，但fields decode 是动态生成的。

Answer 1

问题在于函数定义而不是标题，特别是行：

unquote_splicing(field_decs)

如果删除此行，代码将起作用。原因是当field_decs AST 使用unquote_splicing 扩展时，它会进行子调用尝试取消对rest 变量的引用，但失败了。修复评估 AST 的方式也可以解决此问题。

---

^{在我看来，这就像一个 XY Problem。我不确定您在这里要做什么，但是在处理语言扩展和自定义 DSL 时，您应该将其分解为多个较小且可组合的Macros（大部分功能在私有函数中实现）并且应该还要注意宏观卫生。这将大大降低您的代码复杂性，并且通常更容易处理代码扩展，因为您不必直接处理 AST。}