为什么朱莉娅子模块的功能被遮蔽了？

Question

考虑以下代码：

module Foo
export g, h

  module Bar
  export f

  f(::Int) = 2

  end

using .Bar

f(::String) = "abc"

g() = f("a")
h() = f(12)

end

当我运行此程序时，如果我尝试调用g（），我会按预期获得“ ABC”。如果我调用h（）我会收到一个错误消息。不知何故，f（:: int）的定义正在被遮蔽。那应该发生吗？如何解决这个问题？

如果我省略了f（:: string）的定义，则h（） works。

Answer 1

是的，这是正确的行为。为了扩展方法，应该导入（ https://docs.julialang.org/en/v1/manual/momodules/#using-and-import-with-with-with-with-specific-sendifiers--and-sendifiers-and-and-adding-methods ）

因此，正确的示例应该看起来像这样：

module Foo
export g, h

  module Bar
  export f

  f(::Int) = 2

  end

using .Bar
import .Bar: f

f(::String) = "abc"

g() = f("a")
h() = f(12)

end

我添加了import .bar：f，因为bar可以导出其他不想扩展的名称。因此，将这两个混合在一起是可以的。随着此添加，一切都按预期工作

julia> using .Foo

julia> g()
"abc"

julia> h()
2