Интерполяция выражения в выражении

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))