將表達式內插到表達式中

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