julia - 我如何在 Julia 中按值(value)发货？

Question

我听说 Julia 发布了符号值，
所以我用Val{:MySymbol} .

但这似乎不起作用:

julia> foo(x) = "other"
foo (generic function with 1 method)

julia> foo(x::Val{:zinger}) = "It was zinger"
foo (generic function with 2 methods)

julia> foo(:zinger)
"other"

为什么不输出“It was zinger”？

Answer 1

See the Docs

对值进行调度并不神奇。
它使用与在参数类型上调度完全相同的机制。
因此，如果要对其进行调度，则需要传入具有该值作为类型参数的实例参数类型。

在您的问题中 Val是参数类型——它只是为了这种事情而存在。

所以你需要写:

julia> foo(Val{:zinger}())
"It was zinger"

如果您愿意，可以编写 foo 的重载。自动将其参数包装到类型参数中

julia> foo(x::Symbol) = foo(Val{x}())
foo (generic function with 3 methods)

julia> foo(:zinger)
"It was zinger"

但是，这将导致动态调度。

julia> @code_lowered foo(:zinger)
CodeInfo(:(begin
        nothing
        return (Main.foo)(((Core.apply_type)(Main.Val, x))())
    end))

vs 在编译时完全实现的解决方案:

julia> @code_lowered foo(Val{:zinger}())
CodeInfo(:(begin
        nothing
        return "It was zinger"
    end))