Swift Actor初始化inout相关警告的含义、风险与解决方法

警告具体含义 #

@Published属性包装器的projectedValue（也就是$前缀访问的响应式发布者）属于属性包装器的实例成员，常规访问默认需要绑定到actor的隔离上下文。你在同步初始化方法中访问_myStruct.projectedValue时，编译器会隐式将self以inout参数的形式传递给属性访问逻辑，但actor的同步初始化方法不允许inout形式的self传递——此时actor还未完成全量初始化，隔离域还未完全生效，因此触发该警告。

你提到的$myStruct直接编译报错是同一根源的更严格限制：$myStruct是访问属性包装器 projectedValue 的语法糖，本质需要访问已完成初始化的self，但你此时还未给publicFieldPublisher赋值，所有存储属性未初始化完成，编译器直接禁止该访问行为。

消除警告的方案 #

有两种常用的稳定方案：

1. 使用nonisolated懒加载属性
   不需要修改初始化方法，也不会触发初始化阶段的self访问校验：

public actor MyActor {
    private struct MyStruct {
        var publicField: String
    }
    
    @Published
    private var myStruct: MyStruct?
    
    public nonisolated lazy var publicFieldPublisher: AnyPublisher<String?, Never> = {
        _myStruct.projectedValue.map{ $0?.publicField }.eraseToAnyPublisher()
    }()
    
    init() {}
}

2. 改用async初始化方法
   符合actor的隔离初始化规则，还可以直接使用$myStruct语法糖：

public actor MyActor {
    private struct MyStruct {
        var publicField: String
    }
    
    @Published
    private var myStruct: MyStruct?
    
    public nonisolated let publicFieldPublisher: AnyPublisher<String?, Never>
    
    public init() async {
        self.publicFieldPublisher = $myStruct.map(\.publicField).eraseToAnyPublisher()
    }
}

忽略警告的风险 #

当前Swift 5.7+ 运行时下该代码暂时可以正常运行，因为@Published的projectedValue实际存储在属性包装器的内部存储空间，不需要访问actor的隔离状态即可获取发布者实例。但该行为属于未定义行为，后续Swift版本如果收紧actor初始化的安全校验规则，代码可能直接无法编译；极端场景下如果初始化过程中刚好有外部订阅触发了发布者的事件推送，还可能出现线程安全问题，不建议长期忽略。

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