为何主线程观察者仍需@MainActor解决SwiftUI视图更新问题？

代码示例 #

struct MyApp: App {
    @State private var reconnecting = false

    private var showReconnectOverlay: Bool {
        return reconnecting //实际逻辑更复杂
    }

    var body: some Scene {
        WindowGroup {
            if showReconnectOverlay { let _ = print("Blub") }

            SomeView(reconnecting: $reconnecting)
                .overlay {
                    if showReconnectOverlay { OverlayView() }
                }
        }
    }
}

struct SomeView: View {
    @Binding var reconnecting: Bool
    @State var device: MyDevice?

    var body: some View {
        AnotherView()
            .onChange(of: device?.connectionState) {
                reconnecting = device?.connectionState == .connecting
            }
    }
}

@Observable
final class MyDevice {
    private(set) var connectionState = .disconnected

    func connect() async throws {
        connectionState = .connecting

        self.connectionTask = Task {}

        if try await self.connectionTask!.value {
            connectionState = .connected //这一步本应移除Overlay
        } else {
            connectionState = .disconnected
        }        
    }
}

问题描述 #

设备连接成功后，Overlay并非总能从视图中移除。给connect()函数添加@MainActor可以解决这个问题，但存在疑问：日志显示reconnecting变量已正确设为false，可showReconnectOverlay始终返回true；connect()运行在非主线程符合预期，且onChange()处理程序确实在主线程执行，既然onChange()已经在主线程，标记connect()为@MainActor到底起了什么作用？

原因解析 #

1. @Observable状态更新的线程要求
   SwiftUI的@Observable类（包括旧版ObservableObject）要求所有状态属性的修改必须在主线程执行。因为SwiftUI的视图更新依赖主线程的RunLoop来监听状态变更，后台线程的修改会绕过这个通知机制，导致视图系统无法及时感知状态变化。

在你的代码中，connectionState = .connected是在后台线程执行的，这个变更没有被SwiftUI正确捕获，所以SomeView中的onChange(of: device?.connectionState)可能没有触发，或者触发时读取到的是旧的缓存值，导致reconnecting没有被正确设为false。

2. 内存可见性与线程竞态
   多线程环境下，后台线程修改的connectionState可能没有被同步到主线程的内存空间。即使onChange在主线程执行，它读取的device?.connectionState可能还是主线程缓存的旧值（.connecting），自然不会把reconnecting设为false，最终导致showReconnectOverlay一直返回true。

3. @MainActor的核心作用
   给connect()添加@MainActor后，整个函数的执行会被调度到主线程，包括connectionState = .connected这一步赋值。这样connectionState的所有变更（从.disconnected到.connecting再到.connected）都发生在主线程：

• SwiftUI能立即感知到connectionState的变化，准确触发onChange回调；
• onChange读取的是最新的connectionState值，会正确把reconnecting设为false；
• MyApp中的@State变量reconnecting的更新会被视图系统捕获，showReconnectOverlay返回false，Overlay随之被移除。

4. 关于onChange在主线程的误区
   onChange本身在主线程执行不代表它能正确读取到后台线程修改的状态值。因为状态变更的通知机制依赖主线程，后台线程的修改无法主动通知SwiftUI更新视图，onChange可能根本不会被触发，或者触发时读取的是过期数据。

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