SwiftData中父子关系为何无需使用weak属性？

问题背景 #

在常规Swift的父子类双向引用场景里，为了避免循环引用导致内存泄漏，必须把Child类的parent属性声明为weak，示例代码如下：

class Parent {
    var children: [Child]
}

class Child {
    weak var parent: Parent?
}

我原本以为在SwiftData里实现类似双向关系时，也得遵循这个规则，应该这么写：

@Model
class Parent {
    @Relationship(inverse: \Child.parent)
    var children: [Child]
}

@Model
class Child {
    weak var parent: Parent?
}

但看WWDC23的《Backyard Birds: Building an app with SwiftData and widgets》示例代码时，发现Plant类里的species和backyard属性根本没加weak修饰，相关代码片段如下：

@Model public class Plant {
    @Attribute(.unique) public var id: String
    public var creationDate: Date
    public var species: PlantSpecies!
    public var backyard: Backyard?
    public var variant: Int
// ...
}

@Model public class Backyard {
    @Attribute(.unique) public var id: String
    public var name: String
    
    @Relationship(inverse: \Plant.backyard)
    public var leadingPlants: [Plant]
    
    @Relationship(inverse: \Plant.backyard)
    public var trailingPlants: [Plant]
// ...
}

@Model public class PlantSpecies {
    @Attribute(.unique) public var id: String
    public var parts: [PlantPart]
    
    @Relationship(.cascade, inverse: \Plant.species)
    public var plants: [Plant]
// ...
}

这是示例代码的疏忽，还是SwiftData本身有特殊的引用管理机制？

答案 #

这是SwiftData的特殊引用管理机制，完全不是疏忽，核心原因如下：

• SwiftData托管对象的特性：带@Model标记的类不是普通的Swift对象，它们由SwiftData框架统一管理，框架内部会通过弱引用或类似机制维护双向关系，从根源上避免循环引用问题。
• @Relationship的自动处理：只要用@Relationship标记了双向关系的其中一端，SwiftData就能自动识别并处理另一端的引用关联。哪怕你不给反向属性添加weak修饰符，也不会出现内存泄漏。
• 官方示例是标准写法：WWDC的官方示例是苹果工程师验证过的，这种写法就是SwiftData的标准用法。你在自己的SwiftData项目里实现双向关系时，直接参考这种方式即可，不需要手动添加weak。

简单说就是，SwiftData已经帮你搞定了循环引用的问题，不用再像普通Swift类那样手动加weak了。

内容的提问来源于stack exchange，提问作者HangarRash