Swift 6下EnvironmentKey非隔离全局可变状态的并发安全错误求助

问题原因 #

编译器报错的核心是：static var属于非隔离的全局共享可变状态，即使闭包本身标记了@Sendable，属性本身的可变性意味着多个并发上下文可能同时读写它，存在数据竞争风险，这在Swift 6的StrictConcurrency模式下会被判定为错误。

解决方案 #

根据你的需求场景，有以下几种可行的调整方式：

1. 将static var改为static let（优先推荐）

如果defaultValue不需要在运行时动态修改，直接用不可变的let替代var，彻底消除可变共享状态的问题：

struct DataHandlerKey: EnvironmentKey {
    static let defaultValue: @Sendable () async -> Hello? = { nil }
}

actor Hello {}

这是最贴合EnvironmentKey设计初衷的方案——defaultValue本来就是提供固定默认值的属性，绝大多数场景下不需要修改。

2. 将结构体隔离到指定Actor

如果确实需要动态修改defaultValue，可以把整个DataHandlerKey结构体标记为@MainActor隔离，让静态属性的读写都在主Actor的串行上下文中执行：

@MainActor
struct DataHandlerKey: EnvironmentKey {
    static var defaultValue: @Sendable () async -> Hello? = { nil }
}

actor Hello {}

3. 单独隔离静态属性到指定Actor

如果不想让整个结构体都受Actor约束，也可以仅为defaultValue属性添加Actor隔离标记：

struct DataHandlerKey: EnvironmentKey {
    @MainActor static var defaultValue: @Sendable () async -> Hello? = { nil }
}

actor Hello {}

这样只有defaultValue的读写会被限制在主Actor上下文，结构体的其他部分不受影响。

补充说明 #

Hello actor本身的并发安全设计是没问题的，问题完全出在静态属性的可变共享状态上。选择方案时优先考虑static let，只有当你确实需要动态调整默认闭包时，再使用Actor隔离的方式。

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