Swift 6并发编程问题：Reachability类错误修复及选型咨询

一、错误原因与修复方案 #

1. 非Sendable类型的shared属性并发安全问题 #

Swift 6启用了严格的并发安全检查，全局静态的shared属性属于跨线程共享资源。如果Reachability未遵循Sendable协议，多线程访问时会触发安全错误——Swift无法保证该类型实例在跨线程传递或访问时的安全性。

修复方法：

• 方案一：用final class实现，手动通过串行队列保护状态，同时让类遵循Sendable：

final class Reachability: Sendable {
    static let shared = Reachability()
    private let queue = DispatchQueue(label: "com.your.reachability.queue")
    private var isConnected: Bool = false
    private var connectionType: Connection = .none

    private init() {} // 私有初始化保证单例

    func updateConnection(_ newConnection: Connection) {
        queue.sync {
            connectionType = newConnection
            isConnected = newConnection != .none
        }
    }

    func getCurrentConnection() -> Connection {
        return queue.sync { connectionType }
    }
}

• 方案二：改用actor类型，Swift自动通过内置串行执行器保证并发安全，天然符合Sendable：

actor Reachability {
    static let shared = Reachability()
    private var isConnected: Bool = false
    private var connectionType: Connection = .none

    private init() {}

    func updateConnection(_ newConnection: Connection) {
        connectionType = newConnection
        isConnected = newConnection != .none
    }

    func getCurrentConnection() -> Connection {
        return connectionType
    }
}

注意：使用actor时，跨上下文访问方法需要加await，比如await Reachability.shared.getCurrentConnection()

2. @Sendable闭包捕获非Sendable类型Connection报错 #

@Sendable闭包要求捕获的所有变量都遵循Sendable，确保闭包跨线程执行时的安全性。只需让Connection类型符合Sendable即可：

// 枚举类型无关联类型时，可自动合成Sendable实现
enum Connection: Sendable {
    case none
    case wifi
    case cellular
}

如果Connection是带可变状态的类，需改为final class并遵循Sendable，同时用串行队列保护内部状态。

二、类型选型分析 #

1. actor/struct/final class的选择 #

• struct：值类型，每次修改都会生成新实例，无法长期持有同一个实例的状态变化，直接排除。
• final class：引用类型，适合长期持有实例，但需手动实现并发安全（比如你熟悉的DispatchSerialQueue），适配习惯手动管理串行执行的场景。
• actor：Swift原生并发安全引用类型，自动通过串行执行器处理所有方法调用的原子性，无需手动管理队列，是Swift 6并发模型下的现代选择。

2. class vs struct的最终选择 #

你的需求是长期运行且跟踪可变状态，struct的值类型特性会导致每次修改产生新实例，无法让所有访问者共享同一状态变化。而class（包括actor）是引用类型，所有访问者操作的都是同一个实例的状态，即使只有2个可变变量，依然是更合适的选择。

三、核心概念补充 #

• Sendable协议：标记类型可安全跨线程传递/访问，值类型（如struct、enum）默认大多可自动合成该协议，引用类型需显式声明并保证内部状态的并发安全。
• @Sendable闭包：可安全跨执行上下文（线程）传递的闭包，要求捕获变量均为Sendable类型，避免数据竞争。
• Actor：Swift的并发安全引用类型，所有实例方法调用都会被调度到内置串行执行器执行，自动避免数据竞争，替代传统手动串行队列管理方式。

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