Question

我有一个Julia函数，它接受一些输入参数并使用它们来执行多个操作。为了使其中一个操作正常工作，我需要能够计算与用户输入匹配的符号。例如，函数看起来像这样：

function func(arg1,arg2)

    symb_arg1 =  ## get the symbol for input into arg1
    symb_arg2 =  ## get the symbol for input into arg2

    println(symb_arg1)
    println(symb_arg2)

    ## Do some operations using arg1, arg2, symb_arg1, symb_arg1

end

我希望达到以下行为：

a = 25
b = rand(27,55,18)
func(a,b)  ## prints :a and :b

这里的困难是让函数计算包含变量实际名称的符号，而不是变量的值。这个post提供了以下几乎可以实现我想要的宏：

macro mymacro(ex)
    Expr(:quote,ex) # this creates an expression that looks like :(:(x + 2))
end

此宏适用于执行以下操作：

a = rand(27,15)
symb_a = @mymacro(a)  ## prints :a

但是，在我的函数中使用此宏将不会产生所需的效果。具体来说，如果我将我的函数定义为：

function func_bad(arg1,arg2)

    symb_arg1 = @mymacro(arg1)
    symb_arg2 = @mymacto(arg2)

    println(symb_arg1)
    println(symb_arg2)

    ## Do some operations using arg1, arg2, symb_arg1, symb_arg1

end

然后运行命令：

a = 25
b = rand(27,55,18)
func_bad(a,b)  ## prints :arg1 and :arg2 (instead of the desired :a and :b)

当然，一个简单（但不那么优雅）的解决方案是为函数添加额外的输入参数，以便用户负责创建符号。然而，这是最后的手段。我希望该功能能够自动创建符号。有关如何修改我的函数或宏来实现这种行为的想法吗？

Answer 1

简单的答案是，这是不可能的;有一个抽象障碍，阻止函数查看其调用者的实现细节。他们得到的只是价值观，这是强大而清晰的计划的关键属性。

您可以做的一件事就是编写一个宏来转换呼叫网站：

func((:a,a), (:b,b))

类似

@func(a,b)

将符号 - 值对传递给函数。

另一个稍微不同的设计是为需要此行为的所有函数提供宏包装器，以便调用看起来像macro func(args...) :(func($(pair_with_symbols(args)...))) end。您可以将参数列表转换分解为辅助函数;每个宏看起来像

{{1}}

Julia：如何在与输入变量匹配的函数内创建符号？

1 个答案: