@MainActor与Combine搭配出现编译器不一致错误的疑问

错误代码（类级别标注@MainActor） #

@MainActor
final class ProfileViewModel: ObservableObject {
  let authService: AuthService
  
  @Published var userHandle: String = "Unknown"
  
  nonisolated init(authService: AuthService, appState: AppState) {
    self.authService = authService
    appState.$userData
      .receive(on: DispatchQueue.main)
      .map {
        $0.user?.displayName ?? "Unknown"
      }
      .assign(to: &$userHandle)
  }
}

此时会触发编译错误：Main actor-isolated property '$userHandle' cannot be used 'inout' from a non-isolated context

可编译代码（属性级别标注@MainActor） #

final class ProfileViewModel: ObservableObject {
  let authService: AuthService
  
  @MainActor @Published var userHandle: String = "Unknown"
  
  nonisolated init(authService: AuthService, appState: AppState) {
    self.authService = authService
    appState.$userData
      .receive(on: DispatchQueue.main)
      .map {
        $0.user?.displayName ?? "Unknown"
      }
      .assign(to: &$userHandle)
  }
}

这段代码可正常编译，核心疑问：两种写法逻辑上userHandle都受Main Actor隔离，为何编译行为截然不同？

原因解析 #

这是Swift并发模型中隔离作用域语义差异导致的编译行为区别：

1. 类级别@MainActor的场景
   当类被标记@MainActor时，类内所有属性、方法默认归入Main Actor隔离域，包括@Published生成的投影属性$userHandle。在nonisolated初始化方法中，以inout方式引用$userHandle时，编译器会执行严格的隔离检查：非隔离上下文无法直接操作Main Actor隔离属性的内存地址（inout要求直接内存访问），而Combine的receive(on: DispatchQueue.main)是运行时动态线程切换，无法提供编译期的线程安全保证，因此直接报错。

2. 属性级别@MainActor的场景
   仅给userHandle标记@MainActor时，只有该属性及其@Published投影$userHandle属于Main Actor隔离。此时编译器会对$userHandle的inout访问做特殊适配：将赋值操作包装为异步闭包，隐式派发到Main Actor执行。Combine的assign(to:)方法能够兼容这种经过actor包装的投影属性，因为编译器可以确认最终赋值操作会在Main Actor上执行，满足线程安全要求，因此允许编译通过。

简言之，类级别的全局隔离会触发更严格的编译检查，而属性级别的局部隔离则允许编译器针对单个属性做灵活的异步适配，恰好匹配了Combineassign方法的动态线程切换特性。

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