保留类和结构之间的循环

Question

假设我有以下代码：

struct X {
    let propertyOfTypeY: Y
}

class Y {
    var propertyOfTypeX: X?
}

let y = Y()
let x = X(propertyOfTypeY: y)
y.propertyOfTypeX = x

如果这些都是类，则意味着保留周期。但是，我不清楚类和结构之间的差异如何应用于上面的示例。它会导致保留周期，还是因为结构的使用而成为安全的代码？

Answer 1

是的，你有一个保留周期。

y.propertyOfTypeX = x

将值x复制到y.propertyOfTypeX，包括。{ 属性x.propertyOfTypeY，它是对y的引用。

因此

y.propertyOfTypeX?.propertyOfTypeY === y

成立。你拥有的与

基本相同

class Y {
    var propertyOfTypeY: Y?
}

var y = Y()
y.propertyOfTypeY = y

只有propertyOfTypeY是struct X的一部分 （x还有y}的附加引用。

Answer 2

TL; DR有一个保留周期，但你可以看到你自己！

struct X {
    let propertyOfTypeY: Y
}

class Y {
    var propertyOfTypeX: X?

    deinit {
        print("I was deinit'ed")
    }
}

do {
    let y = Y()
    let x = X(propertyOfTypeY: y)
    y.propertyOfTypeX = x
}
// y and x should be dealloc'ed here, because the "do scope" ends

将会打印出y.propertyOfTypeX = x和I was deinit'ed，但如果您执行此任务，则永远不会调用deinit。

如果使用闭包，也会发生同样的事情。

Answer 3

内存图显示参考周期

肯定有一个保留周期。

解决方案：应该unowned或weak来打破循环

struct X {
    unowned let propertyOfTypeY: Y
}

class Y {
    var propertyOfTypeX: X?

    deinit {
        print("Y deallocated")
    }
}

do {
    let y = Y()
    let x = X(propertyOfTypeY: y)
    y.propertyOfTypeX = x
}