Swift 无状态 Actor 的内存隔离边界：何时该用，何时该退

Swift 并发模型引入 Actor 的核心目的是通过内存隔离保护可变状态，但一个有趣的设计问题随之浮现：如果 Actor 内部没有任何可变状态，它是否失去了存在的意义？这种看似矛盾的场景在实际工程中并不罕见，理解其边界条件对于构建高效的并发系统至关重要。

无状态 Actor 的合理场景

一个典型的例子是网络客户端类型的设计。许多开发者倾向于将 NetworkClient 声明为 Actor，即使它只包含纯计算逻辑：

actor NetworkClient {
    func loadCart() async throws -> [Product] {
        let (data, _) = try await URLSession.shared.data(for: cartRequest)
        return try JSONDecoder().decode([Product].self, from: data)
    }
}

这种设计带来两个直接好处。首先，Actor 类型自动符合 Sendable 协议，这意味着实例可以安全地在并发域之间传递，无需额外的隔离检查。其次，loadCart 方法中的同步工作（如 JSON 解码）永远不会在主线程执行 —— 默认 Actor 将同步代码调度到共享线程池，避免了昂贵的计算阻塞 UI 渲染。

此外，无状态 Actor 也为未来的状态扩展预留了位置。当需求演进需要引入缓存或认证令牌时，已有的 Actor 边界可以直接容纳这些可变状态，而无需重构调用方的并发模式。

串行执行与并行化的权衡

然而，Actor 的隔离机制是一把双刃剑。Actor 保证对其隔离域内所有同步代码的串行访问，这意味着无论向 NetworkClient 投递多少并发请求，JSON 解码都只能逐个进行。这种限制在吞吐量敏感的场景可能成为瓶颈。

作为对比，使用 @concurrent 注解的结构体可以解除这一约束：

struct NetworkClient: Sendable {
    @concurrent
    func loadCart() async throws -> [Product] {
        // 多个调用可以并行执行解码
    }
}

@concurrent 函数允许编译器将同步代码调度到多个线程并行执行，适合计算密集型且无副作用的操作。但选择这条路径意味着放弃 Actor 提供的自动隔离保证，需要手动确保线程安全。

另一个隐性成本是 Sendable 的传染性。Actor 要求其方法的输入和输出类型都符合 Sendable，这可能迫使周边类型也遵循并发安全约束，增加系统的类型复杂度。对于需要频繁与协议交互的代码，Actor 的隔离不匹配问题会显著增加设计难度。

线程池资源与阻塞操作

Swift 并发运行时的线程池规模与 CPU 核心数挂钩，每个优先级级别仅维护有限数量的线程。这与 Grand Central Dispatch 的弹性线程模型形成鲜明对比 ——GCD 会在需要时创建更多线程（尽管也有上限）。

当 Actor 执行同步的文件 I/O 或长时间计算时，它会占用并发线程池中的一个线程直到操作完成。如果大量 Actor 同时执行阻塞操作，可能导致线程池耗尽，进而阻塞整个程序的并发进度。

对于文件系统访问这类场景，Actor 确实可以提供有价值的序列化保护，防止并发写入损坏磁盘状态。但开发者需要意识到：文件系统状态对编译器完全不可见，这种保护依赖于程序员的正确封装，而非编译器验证。

如果确认存在线程池耗尽风险，将阻塞操作移出 Swift 并发线程池是务实的选择。GCD 仍然可用，将同步 I/O 委托给 DispatchQueue 执行，再通过 continuation 桥接回 async/await 世界，可以在保留 Actor 隔离优势的同时避免资源争抢。

Actor 使用的第一原则

Actor 是强大的同步原语，但容易过度使用。无论 Actor 是否包含状态，都应该能清晰阐述其必要性。无状态 Actor 可能是设计过度复杂化的信号，也可能只是尚未填满的容器 —— 关键在于决策是否经过深思熟虑。

在以下情况考虑使用无状态 Actor：需要自动 Sendable 合规、确保代码在后台执行、或预见未来需要隔离可变状态。在以下情况考虑替代方案：需要并行执行同步代码、频繁与协议交互、或担心全局 Actor 的类型系统耦合。

Swift 并发模型提供了丰富的工具集，Actor 只是其中之一。理解每种抽象的成本与收益，根据具体场景选择适当的隔离边界，是构建可维护并发系统的核心能力。

资料来源

• Mattie Massicotte, "Stateless Actors", massicotte.org, 2026
• Swift.org, "Swift 6 Concurrency Migration Guide", swift.org/migration

systems