如何定义一个类型A需要引用另一个类型B,其中B也要引用A

例如,我希望有如下的类型A与B:

mutable struct A
a::Int
b::Ref{B}
end

mutable struct B
b::Int
a::Ref{A}
end

当然,这是错误的定义,因为A用到了未定义的B!!!

解决这类问题的办法就是不完整类型初始化!(见Julia手册Incomplete Initialization)
方法如下:

mutable struct A{T}
    a::Int
    b::Ref{T}
    A{T}(a::Int) where T = new{T}(a)
end

mutable struct B
    b::Int
    a::Ref{A{T}} where T
    B(b::Int)=new(b)
end

a =A{B}(1)
b = B(2)
a.b=Ref{B}()
a.b[]=b
a.b[].b == 2


b.a=Ref{A{B}}()
b.a[] = a
b.a[].a == 1
2赞

上面的讨论只是一种实现的方式,更一般的方式可以时利用A的构造函数里通过另一个函数获取B的类型达到构造A的目的。

十年老 issue

备案号:京ICP备17009874号-2