Julia：宏、表达式和 Meta.parse

Question

以下所有这些代码行都是 Julia 表达式：

x = 10
1 + 1
println("hi")

如果你想将表达式传递给宏，它的工作方式是这样的。宏 foo 只是返回给定的表达式，它将被执行：

macro foo(ex)
  return ex
end

@foo println("yes") # prints yes

x = @foo 1+1
println(x) # prints 2

如果要将字符串转换为表达式，可以使用 Meta.parse()：

string = "1+1"
expr = Meta.parse(string)
x = @foo expr
println(x) # prints 1 + 1

但是，很明显，宏将 expr 视为一个符号。我在这里做错了什么？

提前致谢！

Answer 1

宏 hygiene 很重要，“宏必须确保它们在返回的表达式中引入的变量不会意外地与它们扩展的周围代码中的现有变量发生冲突。” docs 中有一个部分。最简单的就是展示一个简单的案例：

macro foo(x)
    return :($x)
end

当您在 REPL 中输入一个普通表达式时，它会立即被计算。要禁止该评估，请将表达式用:( ) 括起来。

julia> 1 + 1
2
julia> :(1 + 1)
:(1 + 1)
# note this is the same result as you get using Meta.parse
julia> Meta.parse("1 + 1")
:(1 + 1)

因此，Meta.parse 会将适当的字符串转换为表达式。如果你eval 结果，表达式将被评估。请注意，打印一个简单的表达式会删除外部的:( )

julia> expr = Meta.parse("1 + 1")
:(1 + 1)
julia> print(expr)
1 + 1
julia> result = eval(expr)
2

通常，宏用于在对表达式进行通常的评估之前进行操作；它们主要是语法转换。在编译/评估/执行其他源代码之前执行宏。

与其寻找一个评估字符串的宏，就好像它是直接输入到 REPL（不带引号）一样，而是使用这个函数。

evalstr(x::AbstractString) = eval(Meta.parse(x))

虽然我不推荐下一个宏，但了解该技术是件好事。 一个名为 <name>_str 的宏被这样使用 <name>"<string contents>" ：

julia> macro eval_str(x)
          :(eval(Meta.parse($x)))
      end

julia> eval"1 + 1"
2

（p.s. 不要重复使用 Base 函数名作为变量名，使用 str 而不是 string）

如果有什么我没有解决的问题，请告诉我。