Swift关联Animal与Employee时出现访问冲突错误求助

错误原因 #

这个内存访问冲突是Swift值类型的内存排他访问规则导致的：
Animal和Employee都是值类型（struct），当执行newAnimal.employee?.animals?.append(newAnimal)时，同时触发了两个操作：

1. 读取newAnimal.employee以获取animals数组
2. 向该数组添加newAnimal，这会修改newAnimal.employee的副本（struct访问属性时会生成副本）
   这种同时对同一个值类型实例的读、写操作触发了Swift的内存访问检查。

另外原代码还有逻辑漏洞：修改的只是newAnimal.employee这个副本的animals数组，并不会更新ZooManager中保存的employees数据源，关联关系无法持久化。

修复方案 #

方案1：修正关联逻辑（兼容原模型可选值） #

修改ZooManager的addNewAnimal方法，确保同时更新employees和animals数据源：

func addNewAnimal(_ model: Animal) {
    var newAnimal = model
    // 找到目标employee在数组中的索引（而非副本）
    guard let employeeIndex = employees.firstIndex(where: { $0.id == model.employee?.id }) else { return }
    var targetEmployee = employees[employeeIndex]
    
    // 关联animal到employee
    newAnimal.employee = targetEmployee
    
    // 初始化employee的animals数组（如果为nil）并添加新animal
    if targetEmployee.animals == nil {
        targetEmployee.animals = []
    }
    targetEmployee.animals?.append(newAnimal)
    
    // 将修改后的employee放回数据源
    employees[employeeIndex] = targetEmployee
    // 将新animal加入数据源
    animals.append(newAnimal)
    
    dump(newAnimal)
}

方案2：优化模型可选值（简化代码） #

把Employee的animals属性改为非可选默认空数组，避免频繁的nil检查：

struct Employee {
    let id: String?
    var name: String?
    var lastName: String?
    var age: Int?
    var gender: String?
    var salary: Double?
    var experienceYear: String?
    var animals: [Animal] = [] // 改为非可选，默认空数组
}

对应的addNewAnimal方法可简化为：

func addNewAnimal(_ model: Animal) {
    var newAnimal = model
    guard let employeeIndex = employees.firstIndex(where: { $0.id == model.employee?.id }) else { return }
    var targetEmployee = employees[employeeIndex]
    
    newAnimal.employee = targetEmployee
    targetEmployee.animals.append(newAnimal)
    
    employees[employeeIndex] = targetEmployee
    animals.append(newAnimal)
    
    dump(newAnimal)
}

核心修正点 #

1. 通过firstIndex定位数据源中employee的位置，确保修改的是数据源中的实例而非临时副本
2. 同步更新ZooManager的employees和animals两个数据源，保证关联关系持久化
3. 避免在同一行代码中同时读写同一个值类型实例的属性，消除内存访问冲突

内容的提问来源于stack exchange，提问作者Ufuk Köşker