Swift默认主Actor隔离下协议一致性报错问题咨询

场景重现 #

开启可访问并发（approachable concurrency）并将主Actor设为默认隔离环境后，编写以下代码：

protocol RLActionState: CustomDebugStringConvertible {}
struct RLWaitActionState: RLActionState {}

收到编译器警告：

'RLWaitActionState'对'RLActionState'的协议一致性跨越到主Actor隔离代码中，可能导致数据竞争；这在Swift 6语言模式下会成为错误

测试发现，以下写法可消除警告：

struct RLWaitActionState: @MainActor RLActionState {}

而以下写法无效：

@MainActor 
extension RLWaitActionState: RLActionState {}

问题解答 #

1. 全局默认主Actor，为何仍需显式添加@MainActor？ #

虽然你设置了全局默认主Actor隔离，但RLActionState继承了系统协议CustomDebugStringConvertible——这个协议本身是无隔离标注的非Actor绑定协议。

Swift的并发安全规则中，协议一致性的隔离约束是独立于类型默认隔离的：当你让一个隔离类型实现包含非隔离协议的协议时，编译器需要明确知道协议要求的所有方法/属性应该在哪个Actor上下文执行，不能仅靠类型的默认隔离来推断。显式添加@MainActor修饰协议一致性，就是告诉编译器：该结构体对RLActionState的所有协议实现，都严格遵循主Actor隔离，不会出现跨Actor访问的风险。

2. @MainActor extension Foo: Protocol {} 与 extension Foo: @MainActor Protocol{} 的区别？ #

两者的核心差异在于**@MainActor的作用对象不同**：

• @MainActor extension Foo: Protocol {}：这个写法是把整个extension标记为主Actor隔离，仅约束extension内部的代码执行环境，但并没有对协议一致性本身做隔离绑定。如果协议Protocol本身未标注@MainActor，编译器依然会认为该类型的协议实现可能存在跨隔离边界的风险，因此无法消除警告。
• extension Foo: @MainActor Protocol {}：这里的@MainActor直接修饰协议一致性，明确指定Foo对Protocol的所有实现都必须遵循主Actor隔离。相当于给整个协议一致性契约加上了Actor绑定，让编译器确认所有协议要求的成员都在主Actor环境中执行，因此能解决数据竞争的警告。

完整示例代码 #

import UIKit

@MainActor
protocol RLActionImpl {}


@MainActor
struct RLWaitActionImpl: RLActionImpl, @MainActor CustomDebugStringConvertible {
  let duration: TimeInterval
  var debugDescription: String {
    "wait(\(duration))"
  }
}


@MainActor
protocol RLActionState: CustomDebugStringConvertible {
  associatedtype Impl: RLActionImpl
  var action: Impl { get }
  var key: String? { get }
}

@MainActor
extension RLActionState {
  var debugDescription: String {
    if let key {
      "\(key)->\(action)"
    } else {
      "\(action)"
    }
  }
}

@MainActor
struct RLWaitActionState: RLActionState {
  typealias Impl = RLWaitActionImpl
  let action: RLWaitActionImpl
  let key: String?
}

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