时间戳

首页 > 解决方案 > 在宏中嵌套 eval 调用是不好的做法吗？

macros - 在宏中嵌套 eval 调用是不好的做法吗？

问题描述

为了说明，假设我有以下宏计算真值表中的行：

macro bool_to_lit(a)
    eval(a) ? (x -> x) : (x -> !x)
end

macro make_clause(xs, bools, res)
    lits = map((x -> @eval @bool_to_lit $x), bools.args)
    clause_elements = map.(lits, xs.args)
    and_res = all(push!(clause_elements, res))
    return and_res
end

#@make_clause((false, false), (false, false), true) returns true

@bool_to_lit根据其参数的值返回一个闭包，并@make_clause使用结果来计算它自己的值。但是，由于@make_clauseuses @eval，我的理解是它实际上运行@bool_to_lit（因此不只是执行句法转换）。

在这种情况下避免使用嵌套会更好（如更快和生成更清晰的代码）@eval，这样整个宏树的整个结果在 rutime 只评估一次？

是否在更容易编码（即在使用嵌套宏时将其视为函数@eval）与正确性（即在避免嵌套时仅在编译时语法转换）之间进行权衡@eval？

标签： macrosjuliaevaldslcompile-time

解决方案

（免责声明：我稍微缩短了您的代码逻辑。也许我这样做有误，但大体上是一样的。）

在大多数情况下，不，您不应该eval在宏中使用。你给的东西有两种可能的选择。首先，如果您只需要宏处理文字布尔值（即值true和false），那么这些将直接存储在 AST 中，您可以在编译时直接进行正常计算：

julia> macro make_clause_literal(xs, bools, res)
           clause_elements = map((lit, arg) -> lit == arg, bools.args, xs.args)
           res && all(clause_elements)
       end
@make_clause_literal (macro with 1 method)

julia> @macroexpand @make_clause_literal((false, false), (false, false), true)
true

如果输入真的是文字布尔值，应该添加一些检查。

另一方面，如果您想很好地放入其他表达式，请将代码转换为执行相同操作的高效代码，并将评估留给运行时：

julia> macro make_clause(xs, bools, res)
           clause_elements = map((lit, arg) -> :($lit == $arg), bools.args, xs.args)
           esc(:($res && $(foldr((e,f) -> :($e && $f), clause_elements))))
       end
@make_clause (macro with 1 method)

julia> @macroexpand @make_clause((false, false), (false, false), true)
:(true && (false == false && false == false))

julia> @macroexpand @make_clause((false, false), (false, x), y)
:(y && (false == false && x == false))

&&在避免中间阵列和短路方面，构建一个序列应该尽可能好。

我推荐的第三种选择是编写一个正常的运行时函数来执行子句评估，并根据调用来重写上述任何一个宏。我把它留作练习。您也可以结合使用这两种方法并尽可能在编译时评估表达式，但我猜编译器已经在某种程度上这样做了。

推荐阅读