SwiftData更新引发SwiftUI应用EXC_BAD_ACCESS崩溃问题求助

我在开发SwiftUI+SwiftData应用时，遇到了随机的EXC_BAD_ACCESS崩溃，崩溃点固定在更新TextSegSD对象的highlight属性时，相关代码如下：

相关代码 #

CommentStore类 #

import Combine
import Foundation
import SwiftData
import SwiftUI

@Observable
final class CommentStore: Sendable {
    //...

    func createHighlight() async throws {
        //...
        let textSegs = try await swiftDataService.fetchTextSegsBetween(startTimeMs: self.timeStart!, endTimeMs: self.timeEnd!, conversationId: conversationId)
        let date = Date()

        for textSeg in textSegs {
            // 此行触发EXC_BAD_ACCESS崩溃
            textSeg.highlight = true
        }

        try await swiftDataService.updateEverything()
        cleanUpState()
    }

    func removeHighlight() async throws {
        //...
        let textSegs = try await swiftDataService.fetchTextSegsBetween(startTimeMs: self.timeStart!, endTimeMs: self.timeEnd!, conversationId: conversationId)

        for textSeg in textSegs {
            // 此行触发EXC_BAD_ACCESS崩溃
            textSeg.highlight = false
        }

        try await swiftDataService.updateEverything()
        cleanUpState()
    }
}

TextSegSD模型类 #

import Foundation
import SwiftData

@Model
class TextSegSD: Identifiable {
    @Attribute(.unique) var id: UUID = UUID()
    var text: String
    var timeStart: Int
    var timeEnd: Int
    @Relationship var conversation: ConversationSD?
    @Relationship var backupConversation: ConversationSD?
    var highlight: Bool = false
    var createdAt: Date = Date.now

    init(text: String, timeStart: Int, timeEnd: Int, conversation: ConversationSD? = nil, backupConversation: ConversationSD? = nil, highlight: Bool = false) {
        self.text = text
        self.timeStart = timeStart
        self.timeEnd = timeEnd
        self.conversation = conversation
        self.backupConversation = backupConversation
        self.highlight = highlight
    }
}

已观察到的现象 #

• 崩溃具有随机性，即使是同一个TextSegSD对象，也可能出现崩溃或正常执行的情况
• 崩溃始终发生在修改highlight属性的代码行

已尝试的方案 #

• 确认获取到的textSegs均为有效实例，无nil值
• 验证不修改highlight时，swiftDataService.updateEverything()可正常执行
• 查阅官方文档及社区问题，未找到明确解决方案

临时替代方案 #

目前采用删除原TextSegSD对象并重新创建带更新属性实例的方式规避崩溃，但这并非理想方案。

待解决问题 #

1. 更新highlight属性时引发EXC_BAD_ACCESS崩溃的原因可能是什么？
2. Swift中更新数据时，有哪些可避免此类崩溃的最佳实践？
3. 是否存在比删除并重新创建对象更高效安全的替代方案？

解决方案与见解 #

1. 崩溃原因分析 #

EXC_BAD_ACCESS通常意味着访问了已释放的内存或无效内存地址，结合SwiftData特性，可能的原因包括：

• 上下文线程不匹配：SwiftData模型对象绑定到特定ModelContext，如果在获取对象的上下文之外的线程修改属性，会导致对象底层内存失效，触发崩溃。
• 模型对象生命周期失效：textSegs中的对象可能已被其他操作从上下文删除或标记为失效，此时修改属性会访问无效内存。
• 异步竞态条件：多个线程同时对同一模型对象进行读写操作，导致SwiftData内部状态不一致，触发崩溃。

2. 避免此类崩溃的最佳实践 #

• 严格绑定ModelContext线程：所有SwiftData模型的读写操作必须在其所属ModelContext的线程中执行，可通过modelContext.perform { ... }或modelContext.performAsync { ... }封装修改逻辑。
• 使用批量更新API：避免循环修改单个对象属性，改用SwiftData的批量更新方法，直接通过上下文更新符合条件的对象，减少线程竞态风险。
• 临时状态标记@Transient：如果highlight是无需持久化的临时状态，添加@Transient标记，避免SwiftData对其进行持久化跟踪，减少内存管理问题。
• 避免强制解包：代码中self.timeStart!的强制解包可能引发潜在问题，建议用可选绑定处理。

3. 更高效安全的替代方案 #

方案一：在ModelContext中执行属性修改

将修改逻辑放到ModelContext的执行块中，确保线程安全：

func createHighlight() async throws {
    guard let timeStart = self.timeStart, let timeEnd = self.timeEnd else { return }
    let textSegs = try await swiftDataService.fetchTextSegsBetween(startTimeMs: timeStart, endTimeMs: timeEnd, conversationId: conversationId)
    
    guard let context = swiftDataService.modelContext else { throw NSError(domain: "ContextError", code: -1) }
    
    try await context.performAsync {
        for textSeg in textSegs {
            textSeg.highlight = true
        }
        try context.save()
    }
    
    cleanUpState()
}

方案二：使用批量更新API

直接通过ModelContext批量更新符合条件的对象，无需逐个修改：

func createHighlight() async throws {
    guard let timeStart = self.timeStart, let timeEnd = self.timeEnd else { return }
    
    guard let context = swiftDataService.modelContext else { throw NSError(domain: "ContextError", code: -1) }
    
    try await context.performAsync {
        let predicate = #Predicate<TextSegSD> {
            $0.timeStart >= timeStart && $0.timeEnd <= timeEnd && $0.conversation?.id == conversationId
        }
        try context.update(TextSegSD.self, predicate: predicate, properties: \.highlight, to: true)
        try context.save()
    }
    
    cleanUpState()
}

这种方式无需先获取所有对象，直接通过数据库层面的更新操作完成，效率更高且避免了线程竞态问题。

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