Swift 6中如何从非隔离上下文引用MainActor隔离的shared静态属性？

问题描述 #

我使用Xcode 15.4开发一款地图应用，除了在private var locationManager中引用被@MainActor修饰的LocationManager类的shared单例时，其余功能均正常。此时会出现以下错误：

Main actor-isolated static property 'shared' can not be referenced from a non-isolated context; this is an error in Swift 6

我是Swift 6新手，希望得到解决该问题的指导。以下是相关代码：

import SwiftUI
import MapKit

@MainActor class LocationManager {
    static let shared = LocationManager()
    let manager: CLLocationManager
    
    init() {
        self.manager = CLLocationManager()
        if self.manager.authorizationStatus == .notDetermined {
            self.manager.requestWhenInUseAuthorization()
        }
    }
}

extension CLLocationCoordinate2D {
    static var notreDam: CLLocationCoordinate2D {
        CLLocationCoordinate2D(latitude: 48.853218898078126, longitude:2.349977679044624)
    }
    
    static var saintGermain: CLLocationCoordinate2D {
        CLLocationCoordinate2D(latitude: 48.854184067183304, longitude:2.334469956279526)
    }
    
    static var saintDenis: CLLocationCoordinate2D {
        CLLocationCoordinate2D(latitude: 48.93693647702151, longitude:2.3565013545150872)
    }
    
    static var saintEustach: CLLocationCoordinate2D {
        CLLocationCoordinate2D(latitude: 48.86350319977858, longitude:2.345539521410205)
    }
    
    static var saintEtienne: CLLocationCoordinate2D {
        CLLocationCoordinate2D(latitude: 48.846708620929796, longitude: 2.34847593490404)
    }
    
}

enum MapOptions: String, Identifiable, CaseIterable {
    case standard
    case hybrid
    case imagery
    
    var id: String {
        self.rawValue
    }
    
    var mapStyle: MapStyle {
        switch self {
        case .standard:
            return .standard
        case .hybrid:
            return .hybrid
        case .imagery:
            return .imagery
        }
    }
}

struct ContentView: View {
    
    private var locationManager = LocationManager.shared
    @State private var selectedMapOption: MapOptions = .standard
    
    var body: some View {
        ZStack(alignment: .top) {
            Map {
                Annotation("Notre Dame", coordinate: .notreDam) {
                    Image(systemName: "house.circle.fill")
                        .padding(4)
                        .background(.red)
                        .foregroundColor(.white)
                        .cornerRadius(20.0)
                }
                
                Annotation("Saint Germain", coordinate: .saintGermain) {
                    Image(systemName: "house.circle.fill")
                        .padding(4)
                        .background(.red)
                        .foregroundColor(.white)
                        .cornerRadius(20.0)
                }
                
                Annotation("Saint Denis", coordinate: .saintDenis) {
                    Image(systemName: "house.circle.fill")
                        .padding(4)
                        .background(.red)
                        .foregroundColor(.white)
                        .cornerRadius(20.0)
                }
                
                Annotation("Saint Eustache", coordinate: .saintEustach) {
                    Image(systemName: "house.circle.fill")
                        .padding(4)
                        .background(.red)
                        .foregroundColor(.white)
                        .cornerRadius(20.0)
                }
                
                Annotation("Saint Etienne", coordinate: .saintEtienne) {
                    Image(systemName: "house.circle.fill")
                        .padding(4)
                        .background(.red)
                        .foregroundColor(.white)
                        .cornerRadius(20.0)
                }
                
                UserAnnotation()
                
            }.mapStyle(selectedMapOption.mapStyle)
            Picker("Map Styles", selection: $selectedMapOption) {
                ForEach(MapOptions.allCases) { mapOption in
                    Text(mapOption.rawValue.capitalized).tag(mapOption)
                }
            }.pickerStyle(.segmented)
                .background(.white)
                .padding()
        }
    }
}

#Preview {
    ContentView()
}

解决方案 #

Swift 6 严格执行 Actor 隔离规则，@MainActor修饰的类及其静态属性只能在主线程 Actor 上下文中访问。以下几种方法可以解决这个问题：

方法一：用@MainActor标记属性 #

直接给locationManager属性添加@MainActor修饰，让它在主线程 Actor 上下文中初始化：

struct ContentView: View {
    @MainActor private var locationManager = LocationManager.shared
    @State private var selectedMapOption: MapOptions = .standard
    
    // 其余代码不变
}

方法二：显式使用MainActor.assumeIsolated初始化 #

在初始化方法中，用MainActor.assumeIsolated告诉编译器当前上下文属于主线程 Actor，适合确定视图初始化在主线程执行的场景：

struct ContentView: View {
    private var locationManager: LocationManager
    
    init() {
        self.locationManager = MainActor.assumeIsolated {
            LocationManager.shared
        }
    }
    
    @State private var selectedMapOption: MapOptions = .standard
    
    // 其余代码不变
}

方法三：调整LocationManager的隔离级别（可选） #

如果不需要整个LocationManager类都在主线程 Actor 上，可以只给shared属性添加@MainActor修饰，而不是整个类：

class LocationManager {
    @MainActor static let shared = LocationManager()
    let manager: CLLocationManager
    
    init() {
        self.manager = CLLocationManager()
        if self.manager.authorizationStatus == .notDetermined {
            self.manager.requestWhenInUseAuthorization()
        }
    }
}

注意：如果LocationManager的其他方法需要访问UI相关内容，建议保持整个类的@MainActor修饰，避免后续出现其他隔离问题。

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