子类化SKScene使用TaskGroup时遇actor隔离属性错误的疑问

问题代码 #

class GameScene: SKScene {
    var images = ["cat1", "mouse2", "dog3"]
    
    func uploadCheckedImages() async {
        await withTaskGroup(of: Void.self) { group in
            for i in images.indices {
                let prev = i == 0 ? nil : images[i - 1]  // << Error: Actor-isolated property 'images' cannot be passed 'inout' to 'async' function call 
                let curr = images[i]  // << Error: Actor-isolated property 'images' cannot be passed 'inout' to 'async' function call
                if orderIsPreserved(prev ?? "", curr) {
                    group.addTask { await self.uploadImage(of: curr) }
                }
            }
        }
    }
    
    func orderIsPreserved(_ a: String, _ b: String) -> Bool {
        return true
    }
    
    func uploadImage(of: String) async {
        try! await Task.sleep(for: .seconds(1))
    }
}

疑问解答 #

1. 为何子类化SKScene会触发该错误？
   SKScene的父类SKNode被Swift标记为@MainActor，这意味着所有SKNode及其子类的属性、方法默认都属于主线程的Actor隔离上下文。自定义类不继承SKScene时，没有Actor隔离限制，自然不会触发错误；而继承SKScene后，你的GameScene自动继承了MainActor的隔离规则，访问它的属性必须遵循Actor的并发安全要求。

2. 此处的Actor来自哪里？为何仅使用TaskGroup时会触发错误？
   Actor就是@MainActor，来自SpriteKit框架对SKNode的标注。普通Task{}默认会继承当前的Actor上下文（这里就是MainActor），所以在Task里访问images没问题；但withTaskGroup的闭包是nonisolated的——设计上允许任务组跨Actor调度任务，闭包本身不在MainActor上下文里。此时访问MainActor隔离的images属性，编译器会认为你可能在非隔离环境下传递可变引用（inout），从而触发错误。

3. 能否消除编译器对inout传递的顾虑？
   有两种简单高效的解决方法：

• 提前拷贝本地变量：在进入TaskGroup闭包前，把images的值拷贝到一个非隔离的本地变量，之后遍历这个本地变量即可，完全规避Actor隔离的问题：

  func uploadCheckedImages() async {
      let localImages = images  // 提前拷贝到本地非隔离变量
      await withTaskGroup(of: Void.self) { group in
          for i in localImages.indices {
              let prev = i == 0 ? nil : localImages[i - 1]
              let curr = localImages[i]
              if orderIsPreserved(prev ?? "", curr) {
                  group.addTask { await self.uploadImage(of: curr) }
              }
          }
      }
  }
  

• 显式在MainActor上下文访问：如果需要实时获取images的最新值，可以在闭包里用await MainActor.run来读取，但这种方式会引入主线程调度开销，适合需要最新值的场景：

  func uploadCheckedImages() async {
      await withTaskGroup(of: Void.self) { group in
          let localImages = await MainActor.run { images }
          for i in localImages.indices {
              let prev = i == 0 ? nil : localImages[i - 1]
              let curr = localImages[i]
              if orderIsPreserved(prev ?? "", curr) {
                  group.addTask { await self.uploadImage(of: curr) }
              }
          }
      }
  }
  

不需要类似struct的nonmutating关键字，因为问题根源是Actor隔离而非方法是否可变，提前拷贝是最直接高效的解决方案。

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