Swift并发中“无法为Main Actor隔离属性创建键路径”问题问询

示例代码 #

// 用于演示的空结构体
struct DailyRewardItem {}

@MainActor
protocol Plugin {
  var dailyRewardItems: [DailyRewardItem] { get }
}

enum MagicItemType: CaseIterable {
  case shuffle
  case hammer
  case rocket
  case bomb
  
  @MainActor
  var dailyRewardItem: DailyRewardItem {
    return DailyRewardItem()
  }
}

class MyPlugin: Plugin {
  let dailyRewardItems = MagicItemType.allCases.map(\.dailyRewardItem)
}

触发的警告 #

Cannot form key path to main actor-isolated property 'dailyRewardItem'; this is an error in the Swift 6 language mode

中文翻译：无法为Main Actor隔离属性'dailyRewardItem'创建键路径；这在Swift 6语言模式下是错误

场景说明 #

MyPlugin遵循标记了@MainActor的Plugin协议，属于隐式Main Actor上下文，其dailyRewardItems属性也处于Main Actor环境中。按预期键路径访问应该在该上下文内，但依然触发了警告。而改用闭包写法则无警告：

let dailyRewardItems = MagicItemType.allCases.map { $0.dailyRewardItem }

当前环境：Xcode 16 beta 3、Swift 5，开启“complete”并发检查。

警告原因分析 #

核心原因是键路径本身不携带并发上下文信息：

• 虽然MyPlugin的初始化处于Main Actor上下文，但\.dailyRewardItem这个键路径是在全局作用域创建的，Swift并发检查器无法追踪到这个键路径最终会在Main Actor上下文中被使用，因此无法确认访问隔离属性的安全性。
• 闭包写法中，$0.dailyRewardItem的访问是明确在闭包执行时的上下文（即MyPlugin初始化时的Main Actor上下文）中进行的，编译器可以直接确认访问符合并发规则，因此不会触发警告。

另外，在Swift 6的严格并发模式下，这类键路径访问会直接升级为错误——因为编译器要求所有对Actor隔离属性的访问必须明确处于正确的上下文，而键路径的创建和使用可能分离，无法保证全程的安全性，即使当前上下文是正确的，键路径本身没有绑定到该上下文，编译器依然会判定存在风险。

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