module - Julia-lang : Extending a method from an installed module, "using"命令

Question

我正在尝试从 JSON.jl 模块扩展一个方法，特别是我正在这样做(扩展“JSON.lower”，如文档所述，以允许序列化)，一般来说 - 我问的是当前 Julia 从另一个模块扩展方法的“最佳实践”是什么 - 特别是 - 如果这是改变模块某些策略的方法(如 中的这种情况) JSON.jl).

除了打补丁之外，是否真的有办法保证导入的模块使用更新的方法？

让我们展示期望的和险恶的行为:

    module TestProgram
    using JSON
    import JSON.lower            # not sure whether this is needed
    JSON.print(Set([1,2,1]))
    ## output:
    ## {"dict":{"2":null,"1":null}}
    ## not the output I want or expect
    ## in this case might be a good idea to patch JSON.jl and pull request
    ## and "JSON.print" - is now compiled with this default behaviour

    JSON.lower{T}(v::Set{T}) = collect(v) # overloading 'JSON.lower'

    println(json(Set([1,2,1])))
    ## output: 
    ## [2,1]
    JSON.print(Set([1,2,1]))
    ## output still:
    ## {"dict":{"2":null,"1":null}}
    end # module

• 如果之前在运行时的任何地方 - 一些代码已经运行了这个方法，json(v::Set{T}) - 那么这个方法已经被编译，并且不会使用我的扩展'JSON.lower'
• 这实际上发生在我身上并且很难调试，因为 json() 调用的行为符合预期，而 JSON.print() 的行为不同(只是通过改变一些运行流程)
• 因为任何模块(这里是 JSON.jl)都可以被我正在使用的另一个包使用 - 我无法知道我的代码实际上首先运行并且实际上正确地扩展了一个方法

那么 - 确保这一点的最佳做法是什么？

[当前使用 Julia 0.4.6 和 0.5.0 测试了此行为]

Answer 1

是的，您在 Julia 0.5 及之前的版本上的分析是正确的。许多开发人员都熟记这个问题编号 ( #265 )。为即将到来的 0.6 版本修复此问题进行了大量工作； Julia 现在跟踪每个函数的调用者并根据需要重新编译它们。

不过，总的来说，这里最好的建议是直接给库打补丁并推送您的更改。这在 0.5 和 0.6 中都是正确的，即使有运行时正确性修复。建议您不要使用您自己未定义的类型来扩展导入的函数，因为它会改变所有 依赖它的其他包的行为。这已被通俗地称为“类型盗版”，因为您正在为自己的目的征用该方法——可能不适合其他调用者的目的。

作为临时解决方法，您可以尝试将定义添加到您的 ~/.juliarc.jl file ，它将在启动时执行，并且更有可能在编译任何其他方法之前被定义。不过，即使这样也不是万无一失的，因为包可以使用预编译来加快其使用速度。