启用严格并发检查后，类中静态闭包属性为何触发并发安全警告？

启用Complete Strict Concurrency Checking后，遇到如下警告：

Static property 'computedProperty' is not concurrency-safe because non-'Sendable' type '() -> String' may have shared mutable state; this is an error in the Swift 6 language mode

触发警告的代码：

class TestClass {
    static let computedProperty: () -> String = {
        return "Testing"
    }
}

一、警告出现的原因 #

Swift严格并发检查的核心是保障共享资源的线程安全，Sendable协议用于标记可安全跨执行上下文（如多线程）传递的类型。

你代码中的static let computedProperty是存储型静态属性，类型为() -> String（闭包）。默认情况下闭包并不自动符合Sendable——因为闭包可能捕获外部可变状态，若这类状态被多线程同时访问或修改，极易引发数据竞争。

静态属性属于类的全局共享资源，会被所有线程访问。严格并发检查下，Swift要求这类全局共享资源的类型必须符合Sendable，否则就会抛出警告（Swift 6中直接升级为错误），提示该闭包可能携带未被安全管理的可变状态，存在线程安全风险。

二、两种解决方法的原理 #

1. 移除static注解

移除static后，属性变为实例属性。实例属性属于单个对象实例，不会在全局范围内被多线程共享（除非你主动将实例传入多线程，但此时线程安全责任转移到实例的使用方）。严格并发检查对实例属性的Sendable要求远低于静态属性，因此警告会消失。

2. 改为静态函数

静态函数和存储型静态属性的本质区别在于：

• 存储型静态属性是提前初始化并驻留内存的值，闭包一旦赋值，其捕获的状态即固定，但Swift无法判断它是否捕获了可变状态。
• 静态函数是每次调用时才执行的代码逻辑，若函数内部未捕获外部可变状态，Swift可明确判定其线程安全。你的staticFunc()仅直接返回字符串，无任何外部捕获，因此严格并发检查认为它不存在共享可变状态的风险，不会触发警告。

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