在两个文件中重载一个函数（在 Julia 中）

Question

我将用一个最小的例子来解释我的问题。假设我有三个文件：

A.jl

module A

export Atype, f

type Atype  
end

f = function(x::Atype)
    println("f called with A")
end
end #module

B.jl

module B

export Btype, f

type Btype  
end

f = function(x::Btype)
    println("f called with B")
end
end #module

Main.jl

 using A
 using B

 main = function()
    x = Atype()
    f(x)
 end

 main()

这里我有两个版本的f 函数。如果我正确理解了多次分派的概念，则应该在运行时扣除应该使用哪个版本。因此，我预计运行 Main.jl 会打印 f called with A。不幸的是，我得到了

$ julia Main.jl 
ERROR: type: anonymous: in typeassert, expected Btype, got Atype
 in include at /usr/bin/../lib64/julia/sys.so
 in process_options at /usr/bin/../lib64/julia/sys.so
 in _start at /usr/bin/../lib64/julia/sys.so
while loading /home/grzes/julia_sucks/Main.jl, in expression starting on line 9

如果我注释掉using B，它可以正常工作。显然，来自 B.jl 的 f 覆盖了来自 A.jl 的 f。

所以，问题是：问题出在哪里？在我的方法中还是在我使用的 Julia 版本中（0.3.7）？我该如何规避呢？

请注意，将using A 替换为import A 并使用完全限定名称（例如A.f）并不是一个好的解决方案。它与多分派的症结相矛盾——在编译时我不知道应该使用A.f 还是B.f。

Answer 1

您必须使A.f 和B.f 具有相同的功能（在上面的示例中，它们只是具有相同名称的不同功能）。然后，您可以在每个模块中重载一个方法，并且多个分派将完成其工作。

实现这一点的方法是让一个模块从另一个模块导入函数f（例如B 中的import A.f），然后用新方法扩展它，或者添加第三个模块@987654326 @ 带有 A 和 B 导入的 f 函数（您可以使用像 f(::Union()) = nothing 这样的虚拟签名，它在不添加任何实际方法的情况下永远适用于创建函数）。我们直接从其他模块扩展功能，如

function A.f(x::Atype)
    println("f called with A")
end

这会让 Julia 明白这两个f 指的是同一个概念，它们实际上在两个模块中都是同一个对象。添加一个方法会修改通用函数对象，因此在使用f 的任何地方都可以看到此更改。