Swift Composable Architecture 中 @ViewBuilder 属性与 @MainActor 的线程安全问题

在 SwiftUI 开发中，我们经常会使用 @ViewBuilder 来组织视图代码，使其更加清晰和模块化。然而，当结合 Swift Composable Architecture (TCA) 框架使用时，开发者可能会遇到一些意想不到的线程安全问题。

问题现象

当开发者将带有 .refreshable 修饰符的列表视图提取到 @ViewBuilder 属性中时，刷新操作会触发非主线程警告：

"Store.send" was called on a non-main thread with: Test.Action.refresh …
The "Store" class is not thread-safe, and so all interactions with an instance of "Store" (including all of its scopes and derived view stores) must be done on the main thread.

原因分析

这个问题的根源在于 SwiftUI 的 @MainActor 特性：

1. SwiftUI 的 body 属性被标记为 @MainActor(unsafe)，这意味着其中的所有代码都会在主线程执行
2. 当视图代码直接写在 body 中时，.refreshable 修饰符中的闭包也会继承 @MainActor 特性
3. 但是，当我们将视图提取到单独的 @ViewBuilder 属性中时，这个属性不会自动继承 @MainActor 特性
4. 因此，refreshable 中的操作可能会在非主线程执行，导致 TCA 框架发出线程安全警告

解决方案

针对这个问题，开发者可以采取以下几种解决方案：

方案一：保持视图代码在 body 中

最简单的解决方案是将列表视图直接写在 body 属性中，这样就能确保所有操作都在主线程执行。

struct TestView: View {
    let store: StoreOf<Test>
    
    var body: some View {
        NavigationStack {
            List {
                Text(verbatim: "Count: \(store.count)")
            }
            .refreshable {
                await store.send(.refresh).finish()
            }
        }
    }
}

方案二：为 @ViewBuilder 属性添加 @MainActor 标记

如果出于代码组织的需要，必须将视图提取到单独属性中，可以为该属性显式添加 @MainActor 标记：

@ViewBuilder
@MainActor
var list: some View {
    List {
        Text(verbatim: "Count: \(store.count)")
    }
    .refreshable {
        await store.send(.refresh).finish()
    }
}

方案三：在 refreshable 闭包中显式指定 @MainActor

也可以只在 refreshable 闭包中显式指定 @MainActor：

@ViewBuilder
var list: some View {
    List {
        Text(verbatim: "Count: \(store.count)")
    }
    .refreshable { @MainActor in
        await store.send(.refresh).finish()
    }
}

深入理解

这个问题实际上反映了 Swift 并发模型与 SwiftUI 视图层级之间的交互方式。理解以下几点有助于开发者避免类似问题：

1. @MainActor 是 Swift 5.5 引入的线程安全机制，确保代码在主线程执行
2. SwiftUI 视图的 body 属性默认具有 @MainActor(unsafe) 特性
3. 计算属性不会自动继承 @MainActor 特性，除非显式声明
4. TCA 框架严格要求所有 Store 操作必须在主线程执行

最佳实践

在 TCA 项目中使用 SwiftUI 视图时，建议：

1. 对于简单的视图，可以直接在 body 中编写
2. 对于复杂的视图，提取到单独属性时要注意线程安全问题
3. 使用 @MainActor 标记确保线程安全
4. 在 Xcode 中开启线程检查器，帮助发现潜在的线程问题

通过理解这些概念和解决方案，开发者可以更好地组织 SwiftUI 视图代码，同时确保与 TCA 框架的安全交互。