DispatchQueue的@Sendable闭包为何能访问Main Actor隔离值？主队列有何特殊？

先看两段代码的差异：

第一段代码在Swift 6中编译失败：

func viewDidLoad() {
  DispatchQueue.global().async {
    self.view.backgroundColor = red
  }
}

原因是DispatchQueue.global().async接收的@Sendable闭包会在后台线程执行，而self.view是Main Actor隔离的属性，后台线程无法直接访问Main Actor隔离值，违反了Swift的并发安全规则。

第二段代码却能正常编译：

func viewDidLoad() {
  DispatchQueue.main.async {
    self.view.backgroundColor = red
  }
}

这是因为Swift为DispatchQueue.main的async方法做了特殊的Actor隔离注解。虽然DispatchQueue.global()和DispatchQueue.main都是DispatchQueue类型，且表面上都接收@Sendable闭包，但主队列的async方法实际上被隐式标记为@MainActor。

当你在主队列的async闭包中访问self.view时，Swift会识别到这个闭包最终会在Main Actor（主线程）上执行，因此自动允许访问Main Actor隔离的属性。这种特殊处理是为了兼容iOS/macOS开发中长期以来在主队列更新UI的习惯，同时符合Swift 6的并发安全规则。

简单来说，主队列的async闭包并非被“转换”为@MainActor闭包，而是Swift知道这个闭包的执行上下文是Main Actor，因此放宽了隔离检查，允许直接访问Main Actor隔离值。

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