将表达式插入表达式

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

作为要评估的表达式，但我不知道如何将该表达式转化为表达式。

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

将表达式插入表达式

Interpolating an Expression into an Expression

metaprogramming

julia