标记同GlobalActor的闭包访问其方法异常，是理解误区还是Bug？

问题代码 #

@globalActor
actor LibraryAccount {
    static let shared = LibraryAccount()
    var booksOnLoan: [Book] = [Book()]
    func getBook() -> Book  {
        return booksOnLoan[0]
    }
}

class Book {
    var title: String = "ABC"
}

func test() async {
    let handle = Task { @LibraryAccount in
        let b = await LibraryAccount.shared.getBook() // WARNING and even ERROR without await (although function is not async)
        print(b.title)
    }
}

触发的警告与错误 #

警告信息 #

调用Actor隔离实例方法getBook()返回的非Sendable类型Book无法跨越Actor边界

移除await后的错误信息 #

表达式是异步的，但未标记await

问题解析 #

这不是编译器Bug，而是对GlobalActor的工作逻辑存在一点误解：

1. 为什么需要await？
   即使getBook()本身不是异步方法，当你通过LibraryAccount.shared调用Actor隔离的实例方法时，编译器会强制要求await——这是因为Actor的所有方法默认都属于该Actor的隔离域，调用时必须确保在Actor的执行队列上执行。虽然你给Task闭包标记了@LibraryAccount，但当前Swift编译器的类型检查逻辑中，并没有直接将闭包的Actor上下文与shared实例的调用关联起来，依然判定这是一次跨Actor调用，因此要求添加await来调度到目标Actor队列。

2. Sendable警告的原因
   编译器认为Book实例需要跨越Actor边界（由于未识别到同上下文），但Book类默认不遵循Sendable协议（Swift中类默认不是线程安全的，因此不自动符合Sendable），所以触发了类型无法跨Actor传递的警告。

解决方法 #

• 让Book遵循Sendable协议：如果Book是线程安全的，可以直接标记：

  final class Book: Sendable {
      var title: String = "ABC"
  }
  

  若Book不是final类，需确保内部所有属性都是Sendable类型，且类本身线程安全，再添加Sendable协议。
• 优化调用方式：在标记了@LibraryAccount的闭包中，可以提前捕获shared实例，但当前版本编译器依然可能需要Sendable声明，所以最直接的方案是给Book添加Sendable合规性。

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