为何Xcode（Swift5.6+）仅在一种场景下触发@Sendable警告？

问题场景对比 #

场景1（触发警告）

func myFunc() {
    @MainActor finishOnMain(_ foo: Foo) {
        // do something with foo
    }
    Task {
        if let foo = await GetFoo() {
            finishOnMain(foo)
        }
    }
}

触发警告：Concurrently-executed local function must be marked sendable

场景2（无警告）

func myFunc() {
    Task {
        if let foo = await GetFoo() {
            await MainActor.run {
                // do something with foo
            }
        }
    }
}

原因解析 #

这不是Xcode的bug，而是Swift并发安全模型的设计差异：

• 场景1的核心问题：finishOnMain是一个局部函数，被标记@MainActor后又在后台Task中被调用。局部函数作为独立的函数类型，会捕获外部上下文（myFunc的执行环境），当它跨actor传递时，Swift的并发安全检查要求这种可跨上下文传递的函数必须符合Sendable协议，确保传递过程中不会引发数据竞争。
• 场景2的特殊处理：MainActor.run是Swift内置的actor跳转API，它的闭包是专门为在Main Actor上执行设计的。Swift会直接对闭包内捕获的变量（比如foo）做单独的安全检查，而不会要求整个闭包作为函数类型必须标记@Sendable——只要捕获的变量能安全传递到Main Actor，就不会触发警告。

替代解决方案（无法给Foo标记@Sendable时） #

• 给局部函数添加@Sendable标记：

  @MainActor @Sendable func finishOnMain(_ foo: Foo) {
      // do something with foo
  }
  

• 将局部函数替换为MainActor.run的形式，复用场景2的写法。

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