ByAI：Swift 6.1 并发新特性解析

1. 隔离的同步析构函数 isolated deinit（已推迟至未来版本）

• 背景：此前，deinit 方法默认不继承所属类型的全局 Actor（如 @MainActor），可能导致并发问题。开发者需通过复杂手段确保析构逻辑的线程安全。

• 改进：未来版本允许通过 isolated 关键字显式声明 deinit 的隔离性，使其继承类型的 Actor 隔离。

• 示例：

  @MainActor
  class SomeMainClass {
      isolated deinit { // 析构函数现在运行在 MainActor 上
          // 线程安全操作
      }
  }
  

• 注意：

  • 显式声明：必须手动添加 isolated，避免源码破坏性变更。
  • 性能成本：此特性可能引入额外性能开销，需权衡使用。

2. 允许 nonisolated 阻止全局 Actor 推断

• 背景：当非隔离协议（NotIsolated）被 @MainActor 类型遵循时，需为每个协议方法单独标记 nonisolated，代码冗余。

• 改进：Swift 6.1 允许直接在扩展（extension）或继承声明中使用 nonisolated，批量标记方法的非隔离性。

• 示例：

  protocol NotIsolated {
      func doStuff()
      func doThings()
  }
  
  @MainActor
  class MainActorType {}
  
  // Swift 6.1 新语法：扩展整体标记为 nonisolated
  nonisolated extension MainActorType: NotIsolated {
      func doStuff() {} // 自动非隔离
      func doThings() {} // 自动非隔离
  }
  

• 优势：简化代码，提升可维护性，适用于协议遵循和继承场景。

3. 允许推断 TaskGroup 的 ChildTaskResult 类型

• 背景：使用 withTaskGroup 时必须显式指定子任务返回类型（如 of: Message.self），代码冗余。

• 改进：Swift 6.1 支持通过闭包内的返回值自动推断类型，提升代码简洁性。

• 示例：

  // 旧语法
  let messages = await withTaskGroup(of: Message.self) { group in
      group.addTask { Message() }
      // ...
  }
  
  // Swift 6.1 新语法：自动推断类型
  let messages = await withTaskGroup { group in
      group.addTask { Message() } // 返回 Message 类型，无需显式声明
      // ...
  }
  

• 限制：极少数复杂场景可能仍需显式指定类型。

其他改进与未来展望

1. 诊断优化：编译器错误提示更精准，帮助开发者更快定位并发问题。
2. sending 关键字改进：减少编译器过度保守的限制，提升代码灵活性。
3. 数据竞争安全性：基于已批准的愿景文档，未来将优化数据竞争预防机制，提升语言安全性。
4. 社区动态：Swift 官方现已在 Bluesky 和 Mastodon 平台活跃。

总结

• 核心新特性：

  • 隔离析构函数（未来版本） → 显式控制 deinit 的 Actor 隔离。
  • nonisolated 扩展 → 简化全局 Actor 类型的协议实现。
  • TaskGroup 类型推断 → 提升异步代码简洁性。

• 开发建议：

  • 关注 isolated deinit 的未来更新，评估其对现有代码的影响。
  • 优先使用 nonisolated 扩展优化协议遵循代码。
  • 利用 TaskGroup 类型推断减少冗余，提升可读性。

• 未来方向：Swift 正持续优化并发模型，开发者需关注数据竞争安全和工具链改进。

原文链接

1. www.massicotte.org/concurrency…