为何Swift并发中主Actor隔离的Sendable全局常量无法在非隔离区访问？

开启默认隔离为主Actor的易用并发模式后，编写了如下代码：

private let arc_total_degrees: CGFloat = 180 + 18
private let arc_start_degrees: CGFloat = 180 - 9


fileprivate struct MeterArcShape: Shape {
  func path(in rect: CGRect) -> Path {
    let radius = rect.width/2
    var path = Path()
    path.addArc(
      center: CGPoint(x: radius, y: radius),
      radius: radius,
      startAngle: Angle(degrees: arc_start_degrees),
      endAngle: Angle(degrees: arc_end_degrees),
      clockwise: false)
    return path
  }
}

收到警告：

Main actor-isolated let 'arc_start_degrees' can not be referenced from a nonisolated context

为什么Swift会阻止这种操作？ #

虽然CGFloat是Sendable类型且变量是不可变的let常量，但Swift的Actor隔离规则是基于域的一致性检查：

• 开启默认主Actor隔离后，文件内的所有顶级符号（包括全局let常量）会被自动标记为@MainActor隔离，属于主Actor的上下文域。
• Shape协议的path(in:)方法是默认非隔离的（结构体MeterArcShape未指定任何Actor隔离），属于非主Actor的上下文域。

Swift的并发安全系统会严格拦截跨隔离域的直接访问，哪怕是不可变常量——这是为了避免开发者依赖“当前是常量所以安全”的假设，防止后续代码修改（比如把let改成var）时，因忘记调整隔离规则而引入数据竞争，保持隔离模型的一致性和健壮性。

批量处理的解决方案 #

不需要逐一为全局变量添加nonisolated修饰，有两种更高效的方式：

1. 将全局常量统一放到非隔离的容器中 #

把所有相关常量封装到一个nonisolated的枚举或结构体里，一次性实现非隔离：

fileprivate nonisolated enum ArcConstants {
    static let totalDegrees: CGFloat = 180 + 18
    static let startDegrees: CGFloat = 180 - 9
}

fileprivate struct MeterArcShape: Shape {
  func path(in rect: CGRect) -> Path {
    let radius = rect.width/2
    var path = Path()
    path.addArc(
      center: CGPoint(x: radius, y: radius),
      radius: radius,
      startAngle: Angle(degrees: ArcConstants.startDegrees),
      endAngle: Angle(degrees: ArcConstants.totalDegrees),
      clockwise: false)
    return path
  }
}

2. 为整个文件设置非隔离（Swift 5.7+） #

如果当前文件内的所有内容都不需要主Actor隔离，可以在文件最顶部添加nonisolated关键字，这样文件内所有顶级符号都会默认处于非隔离上下文：

// 文件顶部添加
nonisolated

private let arc_total_degrees: CGFloat = 180 + 18
private let arc_start_degrees: CGFloat = 180 - 9

// 后续代码不变
fileprivate struct MeterArcShape: Shape {
  // ...
}

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