如何在ViewModel中异步更新UI相关@Published变量？并发警告解析

警告原因解析 #

当Strict Concurrency Checking设为Complete时，Swift会启用最严格的并发安全校验，你的代码触发两个警告的原因如下：

1. Capture of 'self' with non-sendable type：Task的闭包默认是@Sendable类型，要求捕获的变量必须符合Sendable协议（即能安全跨线程传递）。你的MainPageViewModel未标记为Sendable，Swift无法确认它在多线程环境下的安全性。
2. Passing non-sendable type into main actor context：@MainActor修饰的updateUI方法运行在主线程actor中，传递非Sendable类型的self进去时，Swift会担心存在数据竞争风险。

简洁修正方案 #

只需让相关类型遵循Sendable协议即可，这是符合Swift并发模型的最简实现，无需引入额外框架：

修改后的ViewModel代码 #

class MainPageViewModel: ObservableObject, Sendable {
    @Published var coins: [Coin] = []
    private let cryptoService = CryptoService()
    
    init() {
        fetchCoins()
    }
    
    private func fetchCoins() {
        Task {
            do {
                let coins = try await cryptoService.fetchCoins()
                await updateUI(with: coins)
            } catch {
                print("Error fetching coins: \(error)")
            }
        }
    }
    
    @MainActor
    private func updateUI(with coins: [Coin]) {
        self.coins = coins
    }
}

配套类型的Sendable声明 #

确保你的Coin和CryptoService也符合Sendable要求：

// Coin作为结构体，只要属性都是Sendable类型，默认即可安全传递，显式声明更清晰
struct Coin: Identifiable, Sendable {
    let id: String
    // 其他属性（如价格、名称等，确保都是值类型或Sendable引用类型）
}

// CryptoService如果是无状态或状态线程安全，标记为Sendable
class CryptoService: Sendable {
    func fetchCoins() async throws -> [Coin] {
        // 后台网络请求逻辑
    }
}

核心疑问解答 #

1. 为何Complete模式下出现警告？ #

Complete模式会强制执行Swift并发模型的所有安全规则，包括：

• 校验@Sendable闭包捕获的变量是否合规
• 检查跨actor传递的类型是否符合Sendable要求
• 确保actor隔离的代码不会出现数据竞争
  你的代码在默认Minimal模式下不会触发警告，是因为该模式仅做最基础的并发检查，忽略了这类潜在风险。

2. 未来Swift版本的趋势？ #

是的，Swift官方已经明确会逐步提升默认的并发检查严格度。目前的警告在未来版本中会默认显示，最终会升级为编译错误。这是Swift推进类型安全并发的核心方向，目的是从编译阶段杜绝数据竞争这类并发Bug。

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