阅读视图

发现新文章,点击刷新页面。

Swift 6.2 中的 `@concurrent`

核心概念

@concurrent 是 Swift 6.2 引入的新特性,用于明确标记需要卸载到全局执行器(后台线程)的函数。它与 nonisolated(nonsending) 共同构成 Swift 并发模型的改进,旨在解决以下问题:

  1. 行为统一
    消除异步/同步函数在隔离行为上的不一致性
  2. 显式意图
    明确标识需要并发执行的代码
  3. 简化复杂度
    减少不必要的并发隔离域

关键机制解析

1. nonisolated(nonsending)(统一行为)

// 始终在调用者的执行器上运行
nonisolated(nonsending) func decode<T: Decodable>(_ data: Data) async throws -> T
版本 行为差异
Swift 6.1 异步函数 → 全局执行器
Swift 6.1 同步函数 → 调用者执行器
Swift 6.2 统一在调用者执行器运行

2. @concurrent(显式卸载)

// 明确卸载到全局执行器
@concurrent func decode<T: Decodable>(_ data: Data) async throws -> T
特性 说明
自动标记 nonisolated 无需额外声明
创建新隔离域 要求状态实现 Sendable
使用限制 不能与显式隔离声明(如 @MainActor)共存

何时使用 @concurrent

适用场景

class Networking {
    // 主线程安全的网络请求
    func loadData(from url: URL) async throws -> Data { ... }
    
    // 耗时解码 → 适合 @concurrent
    @concurrent func decode<T: Decodable>(_ data: Data) async throws -> T {
        let decoder = JSONDecoder()
        return try decoder.decode(T.self, from: data)
    }
    
    func getFeed() async throws -> Feed {
        let data = try await loadData(from: Feed.endpoint)
        // 避免阻塞调用者线程
        let feed: Feed = try await decode(data)
        return feed
    }
}

使用原则

  1. 精准定位
    仅标记实际需要并发的函数(如 CPU 密集型任务)
  2. 避免过度使用
    减少不必要的隔离域和 Sendable 约束
  3. 性能优化
    解决特定性能瓶颈(如大数据量解码)

总结对比表

特性 nonisolated (旧) nonisolated(nonsending) @concurrent
执行位置 异步→全局/同步→调用者 始终在调用者执行器 全局执行器
隔离域 可能创建新隔离域 不创建新隔离域 创建新隔离域
状态要求 潜在需要 Sendable 无特殊要求 必须 Sendable
使用场景 兼容旧版 默认推荐 显式并发需求
代码可读性 意图模糊 行为明确 意图明确
❌