将表达式内插到表达式中

Question

我想在宏的内部构建一个包含关键字参数的构造函数，并且第一个关键字参数需要用于表达式。我无法将该表达式放入表达式中。这是我的意思。说我有一个类型

type Test 
    ex 
end 

它拥有一个表达式。我想创建一个构造函数，其中origex = :(a * b)是关键字参数的默认值。我试图

@eval :(Test(ex=$origex) = Test(origex)) 

但是，如果你看一下，使表达：

Test(ex=a * b) = begin # console, line 1: 
    Test(origex) 
end 

你看，它不会工作，因为a*b需要仍然是一个表达式。所以，我想

@eval :(Test(ex=:($origex)) = Test(origex)) 

但这奇表达

Test(ex=$(Expr(:quote, :($(Expr(:$, :origex)))))) = begin # console, line 1: 
    Test(origex) 
end 

也不会eval。相反，我需要获得

Test(ex=:(a * b)) = begin # console, line 1: 
    Test(origex) 
end 

作为eval的表达式，但我不知道如何将该表达式转换为表达式。

Answer 1

我认为以下是你想要的。您似乎有几个错误：

julia> type Test 
     ex::Expr 
     end 

julia> orig_ex = :(a + b) 
:(a + b) 

julia> new_ex = Meta.quot(orig_ex) 
:($(Expr(:quote, :(a + b)))) 

julia> code = :(Test(; ex=$new_ex) = Test(ex)) 
:(Test(; ex=$(Expr(:quote, :(a + b)))) = begin # REPL[4], line 1: 
      Test(ex) 
     end) 

julia> eval(code) 
Test 

julia> Test() 
Test(:(a + b))