如何在不使用@unchecked Sendable等技巧下消除Swift@Published变量并发警告？

针对你遇到的Stored property '_pageState' of 'Sendable'-conforming class 'HomeViewModel' is mutable警告，有以下几种无需使用@unchecked Sendable或标记整个类为@MainActor的解决方式：

1. 给@Published属性添加@MainActor修饰 #

直接将@MainActor应用到@Published属性上，确保该属性的所有访问（包括底层的合成存储属性）都被限制在主线程：

class HomeViewModel: ObservableObject, Sendable {
    @MainActor @Published var pageState: PageState = .initial

    // 更新方法可保留@MainActor，也可省略——属性本身已绑定到MainActor
    func updatePageState(newState: PageState) {
        pageState = newState
    }
}

编译器会识别到该可变属性的访问完全被MainActor隔离，符合Sendable协议对可变状态的同步要求，警告会自动消除。

2. 封装状态为不可变结构体，通过替换实例更新 #

如果不想给单个属性加@MainActor，可以将页面状态封装成不可变结构体，用@Published包装结构体实例，更新时在MainActor上生成新实例替换旧值：

struct PageState: Sendable {
    // 所有状态属性设为let，保证不可变性
    let currentPage: Int
    let isLoading: Bool
}

class HomeViewModel: ObservableObject, Sendable {
    @Published private(set) var pageState: PageState = PageState(currentPage: 0, isLoading: false)

    @MainActor
    func updatePage(currentPage: Int, isLoading: Bool) {
        pageState = PageState(currentPage: currentPage, isLoading: isLoading)
    }
}

这种方式利用值类型的不可变性特性，避免了可变存储属性的线程安全风险，同时满足Sendable协议要求。

为什么之前的方法无效？ #

你仅给更新方法添加@MainActor时，@Published的底层合成存储属性（如_pageState）并未被标记为MainActor隔离。编译器无法保证其他线程不会直接访问该存储属性，因此触发Sendable警告。而给@Published属性添加@MainActor后，会将该属性的所有访问路径（包括底层存储）绑定到主线程，彻底消除线程安全隐患。

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