将表达式内插到表达式中
问题描述:
我想在宏的内部构建一个包含关键字参数的构造函数,并且第一个关键字参数需要用于表达式。我无法将该表达式放入表达式中。这是我的意思。说我有一个类型将表达式内插到表达式中
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的表达式,但我不知道如何将该表达式转换为表达式。
答
我认为以下是你想要的。您似乎有几个错误:
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))
谢谢。这工作很好。 “Meta.quot”究竟是什么,为什么它不同于:(orig_ex)? –
@ChrisRackauckas'Meta.quot(ex)'只是'Expr(:quote,ex)':'julia> ex =:(a + b); @assert Meta.quot(ex)== Expr(:quote,ex)' – SalchiPapa
Meta.quot增加了另一个引用级别。正如你发现的那样,当你插值时,仅仅使用:(orig_ex)不足以保持引用。根据我的经验,这些事情都非常棘手。 –