为何非Sendable闭包可跨越Swift 6的隔离边界？

先看你提供的代码：

actor MyActor {

  var checker: @MainActor () -> Void = {}
  
  init(checker: @escaping @MainActor () -> Void) {
    self.checker = checker
  }
  
  nonisolated func noniso() {
    Task {
      let checker = await self.checker
      await checker()
    }
  }
}

你提到的困惑点很明确：这段代码在Swift 6里能正常编译，但checker并没有显式标记@Sendable，按道理跨隔离传递（从MyActor到非隔离Task上下文，再调用切换到MainActor）应该触发Sendable合规错误，但实际却没有。

关键原因：@MainActor闭包的隐式Sendable合成 #

在Swift 6的并发安全规则中，绑定到特定actor（比如@MainActor）的闭包会自动获得隐式的@Sendable合规性，不需要你手动声明。

具体拆解：

1. @MainActor () -> Void类型的闭包，其执行上下文被严格限定在MainActor中，Swift会强制保证这类闭包不会捕获或携带非Sendable的可变状态——要么捕获的状态本身是Sendable，要么被MainActor隔离保护，因此编译器认为它可以安全地跨隔离边界传递。
2. await self.checker这一步：非隔离上下文访问actor属性，本质是通过actor的隔离机制完成安全读取，和Sendable无关；拿到闭包后传递到Task的非隔离上下文时，因为闭包隐式Sendable，所以不会触发错误。
3. await checker()这一步：只是切换到MainActor上下文执行闭包，这是@MainActor标记本身的语义，和Sendable的跨隔离传递规则无关，自然也不会报错。

验证方式 #

如果把闭包的@MainActor标记去掉，改成普通的() -> Void且不声明@Sendable，编译器会立刻抛出Sendable合规性错误，这也能反向验证上述结论。

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