macros - 将表达式插入到引号内的表达式中

Question

这个问题builds off of a previous SO question这是用于从宏内部的表达式构建表达式。然而，当引用整个表达式时，事情就变得有点卡车司机了。例如，我想构建表达式 :(name=val)。以下内容:

macro quotetest(name,val)
  quote
    nm = Meta.quot($(QuoteNode(name)))
    v = Meta.quot($(QuoteNode(val)))
    println(nm); println(typeof(nm))
    println(v); println(typeof(val))
  end
end

@quotetest x 5 # Test case: build :(x=5)

打印出来

:x
Expr
$(Expr(:quote, 5))
Expr

表明我走在正确的道路上: nm 和 val 是我想要在引用中使用的表达式。但是，我现在似乎无法应用以前的解决方案。例如，

macro quotetest(name,val)
  quote
    nm = Meta.quot($(QuoteNode(name)))
    v = Meta.quot($(QuoteNode(val)))
    println(nm); println(typeof(nm))
    println(v); println(typeof(v))
    println(:($(Expr(:(=),$(QuoteNode(nm)),$(QuoteNode(val))))))
  end
end

失败，提示nm未定义。我尝试在没有 QuoteNode 的情况下进行插值，转义插值 $(esc(nm)) 等。我似乎不知道如何让它构建表达式.

Answer 1

我认为您使用 $ 符号的次数超出了您的需要。这是您要找的吗？

julia> macro quotetest(name,val)
           quote
               expr = :($$(QuoteNode(name)) = $$(QuoteNode(val)))
               println(expr)
               display(expr)
               println(typeof(expr))
           end
       end
@quotetest (macro with 1 method)

julia> @quotetest test 1
test = 1
:(test = 1)
Expr