模块中 Julia 宏中的表达式和变量的范围

Question

出于某种原因，我不得不在宏中加上quote ... end块，并且ex以编程方式生成。 此代码有效。

macro addsum_out()
  quote
    ex = :(x+y)
    sum(eval(ex))
  end
end

x = [1 1 1]
y = [2 2 2]

z2 = @addsum_out

当宏被放入模块时，它不再起作用：

module MyModule

export @addsum

macro addsum()
  quote
    ex = :(x+y)
    sum(eval(ex))
  end
end

end

using MyModule
x = [1 1 1]
y = [2 2 2]    
z = @addsum

它说：

ERROR: LoadError: UndefVarError: x not defined

我想我应该把esc放在某个地方，以评估模块外主作用域中的表达式ex 。 我应该怎么处理这个？

Answer 1

这里的问题是引用x的宏（在模块内）将在该模块中查找x ，例如MyModule.x

这是宏观卫生的一部分。

为了防止发生宏卫生，您需要esc(x) - 这意味着它将使用调用站点范围内的任何 x 。

您的完整解决方案可能如下所示：

macro addsum_out()
  quote
    esc(x) + esc(y)
  end
end

或更简洁地说：

macro addsum_out()
  :(  esc(x) + esc(y)  )
end

请注意，这与执行esc( :(x+y) )略有不同，后者也是转义+函数。 即包含此宏的模块可能包含+的重载，如果您想使用它，则不要转义+ ，否则请执行！

在我整理的指南中对这个主题进行了一些讨论：
https://github.com/pi-/MetaGuideJulia/wiki#example-swap-macro-to-illustrate-esc