Swift 6中如何在不可修改的遗留函数内修改外部变量？

Swift 6启用了严格并发检查机制，当闭包在非当前执行上下文（如外部串行队列）中修改捕获的可变变量时，编译器会抛出Mutation of captured var 'floatingScale' in concurrently-executing code的警告/错误，核心原因是这种操作存在数据竞争风险。针对你的递归滤波器场景，以下是几种可行的解决方案：

方案一：使用原子类型（Swift 5.10+） #

Swift 5.10及以上版本支持Atomics模块，原子类型可确保变量的读写操作线程安全，直接消除数据竞争风险：

import Atomics

let serialQueue = DispatchQueue(label: "RequestMedia")
// 初始化原子变量并设置初始值
let floatingScale = Atomic<Float>(1.0)

assetWriterInput.requestMediaDataWhenReady(on: serialQueue) {
  while assetWriterInput.isReadyForMoreMediaData {
    // 原子化更新变量，支持直接乘法操作
    floatingScale.wrappingMultiply(by: 2.0, ordering: .sequentiallyConsistent)
    
    // 若需要先读取再计算的复杂操作，可使用update方法
    // floatingScale.update { currentValue in
    //   currentValue * 2.0
    // }
  }
}

方案二：用串行队列保护变量访问 #

如果无法使用Atomics模块（如Swift版本较低），可以创建专门的串行队列，确保所有对floatingScale的读写操作都通过该队列串行执行：

let serialQueue = DispatchQueue(label: "RequestMedia")
// 专门用于保护floatingScale的串行队列
let scaleAccessQueue = DispatchQueue(label: "ScaleAccess")
var floatingScale: Float = 1.0 // 外部初始化初始值

assetWriterInput.requestMediaDataWhenReady(on: serialQueue) {
  while assetWriterInput.isReadyForMoreMediaData {
    // 通过队列同步更新变量
    scaleAccessQueue.sync {
      floatingScale *= 2.0
    }
    
    // 外部读取变量时也需通过该队列
    // let currentScale = scaleAccessQueue.sync { floatingScale }
  }
}

方案三：使用Actor封装变量 #

Actor是Swift原生的并发安全类型，所有对Actor属性的访问都会自动串行化，天然避免数据竞争：

// 封装递归滤波器状态的Actor
actor ScaleManager {
  var floatingScale: Float
  
  // 支持外部传入初始值
  init(initialScale: Float) {
    self.floatingScale = initialScale
  }
  
  // 更新缩放比例的方法
  func updateScale() {
    floatingScale *= 2.0
  }
  
  // 获取当前缩放比例的方法
  func getCurrentScale() -> Float {
    floatingScale
  }
}

let serialQueue = DispatchQueue(label: "RequestMedia")
let scaleManager = ScaleManager(initialScale: 1.0)

assetWriterInput.requestMediaDataWhenReady(on: serialQueue) {
  while assetWriterInput.isReadyForMoreMediaData {
    // 通过Task异步调用Actor方法
    Task {
      await scaleManager.updateScale()
    }
    
    // 读取当前值同样需要await
    // let currentScale = await scaleManager.getCurrentScale()
  }
}

方案选择建议 #

• 若仅需简单数值更新，原子类型是最轻便高效的选择，无需额外队列或异步逻辑。
• 若项目兼容性要求较高（如Swift版本低于5.10），串行队列保护是稳妥的方案，适配性强。
• 若需要封装复杂逻辑或已有异步代码体系，Actor是最符合Swift并发设计理念的方案，可扩展性更好。

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