Macros Julia中宏生成的宏中的转义表达式

我想在Julia中编写一个宏，它可以生成许多宏

@register_attribute foo

应该生成宏

@set_foo
@get_foo

这反过来又应该被定义为

@set_foo x 5 == set_attr!(x, :foo, 5)

我已经成功地完成了第一部分，但是

@macroexpand

显示内部变量

x

没有正确转义，如果我使用局部变量调用该方法，将导致

UndefVarErrors

@macroexpand @set_foo x 5 =
    :(Main.set_attr!(Main.x, (Symbol)("foo"), 5))

而我想要的是

@macroexpand @set_foo x 5 =
    :(set_attr!(x, (Symbol)("foo"), 5))

我的代码是

macro register_attribute(name)
    setn = Symbol("set_", string(name))
    getn = Symbol("get_", string(name))
    arg = gensym()
    arg2 = gensym()
    nsym = string(name)
    return Expr(:block, 
    esc(:(
        macro $(setn)($arg, $arg2)
            :(set_attr!($$arg, $$Symbol($$nsym), $$arg2)) 
        end)
        ),
    esc(:(
        macro $(getn)($arg, $arg2)
            :(get_attr!($$arg, $$Symbol($$nsym), $$arg2)) 
        end)
        ))
    e2
end

---

以下是我将如何处理整个问题：

# for purely generative tasks like this, where the generated code is
# (presumably?) destined to be evalled at top level, I prefer using @eval
for attr in [:foo, :bar]
    get_attr_name = Symbol("get_", attr)
    set_attr_name = Symbol("set_", attr)
    quoted_attr   = QuoteNode(attr)

    @eval begin
        $get_attr_name(x)      = getproperty( x, $quoted_attr)
        $set_attr_name(x, val) = setproperty!(x, $quoted_attr, val)
    end
end

# should generate code like:
#   get_foo(x) = getproperty(x, :foo)

---

为什么要将

@set\u foo

和

@get\u foo

作为宏？除非我遗漏了什么，否则你可以在函数中获得相同的行为。我记得不久前尝试过类似的东西，为了避免出现世界级的错误，我不得不跳过一些奇怪的障碍，所以我想这次我应该使用宏来避免它。虽然函数听起来似乎要简单得多。。

julia> nt = (foo=1, bar=2);

julia> get_foo(nt)
1

julia> get_bar(nt)
2

# Let's test in local scope too
julia> let nt2 = (foo=42,)
           get_foo(nt2)
       end
42