Julia跨模块使用抽象类型子类型触发MethodError问题

问题根源 #

你遇到的错误本质是重复include定义抽象类型的模块，导致生成了多个独立的State类型实例。在Julia中，每执行一次include("Definition.jl")就会重新创建一个Definition模块实例，所以Subtype模块里的State和Func模块里的State是名字相同但完全独立的两个类型——transiting继承的是Subtype模块内的那个State，而foo函数接受的是Func模块内的另一个State，自然无法匹配，isa(t, State)返回false也印证了这一点。

解决方案 #

核心是让所有子模块共享同一个Definition模块实例，不要在子模块内重复include定义抽象类型的文件。

修改后的完整代码 #

1. Definition.jl

module Definition
export State

abstract type State end

end

2. Subtype.jl

module Subtype
# 不再重复include，而是引用父模块中的Definition
using ..Definition

export transiting

struct transiting <: State
    from::Vector{<:Real}
    to::Vector{<:Real}
end

end

3. Func.jl

module Func
# 同样引用父模块中的Definition
using ..Definition

export foo

function foo(op::State)::State
    return op
end

end

4. Main模块代码（Example.jl）

module Example

# 只在Main模块中include一次Definition
include("Definition.jl")
include("Func.jl")
include("Subtype.jl")

using .Definition, .Func, .Subtype

t = transiting([0.0, 0.0, 0.0], [1.0, 0.0, 0.0])

println(isa(t, State)) # 现在输出true
foo(t) # 正常执行无错误
println("Complete")

end

关键说明 #

• 使用..Definition表示引用父模块（Main.Example）中的Definition模块，确保Subtype和Func都使用同一个抽象类型实例。
• 只在顶层模块中include一次定义抽象类型的文件，所有子模块通过相对路径引用该模块，避免重复创建模块实例。

内容的提问来源于stack exchange，提问作者John M.T.