Swift 6中Actor的静态变量为何不会触发编译错误？

在Swift 6的严格并发检查规则下，struct、enum、class的静态可变属性会被标记为不安全，核心原因是这些静态属性属于无保护的全局共享可变状态——多个线程可直接读写，没有内置同步机制，极易引发数据竞争。

而Actor的静态可变属性之所以不会报错，且能被任意访问，关键在于Swift对Actor类型的静态成员做了特殊处理：

• Actor的静态成员默认绑定到一个隐式的全局串行执行上下文（相当于一个后台全局Actor），所有对该静态属性的读写操作都会自动在这个串行上下文中执行，天然保证线程安全，不会出现数据竞争。
• 不同于Actor的实例成员需要通过await或异步上下文访问，静态成员属于类型本身，不属于任何实例的隔离域，因此可直接从任意同步/异步上下文访问，无需额外并发语法。

举个实际验证的例子：多线程环境下读写MyActor.myStaticProperty，Swift会自动处理同步，不会出现数据竞争：

Task {
    MyActor.myStaticProperty = "Task 1"
    print(MyActor.myStaticProperty)
}

Task {
    MyActor.myStaticProperty = "Task 2"
    print(MyActor.myStaticProperty)
}

如果是struct的静态可变属性这么写，就会触发数据竞争风险，所以Swift 6会直接报错提示不安全。

另外要注意：如果手动给Actor的静态属性加上nonisolated修饰符，它就会和struct的静态属性一样触发并发安全错误：

actor MyActor {
    // 此时会报错：Static property 'myStaticProperty' is not concurrency-safe because it is nonisolated global shared mutable state
    nonisolated static var myStaticProperty: String = ""
}

这反向验证了默认情况下Actor的静态属性是被隐式并发安全机制保护的。

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