为何@MainActor非隔离属性访问协议非隔离属性会触发警告？

在Swift中混合使用@MainActor和nonisolated修饰符时，会出现一个特定场景的警告：被@MainActor标记的类的nonisolated属性，访问同样被@MainActor标记的协议的nonisolated属性时，会触发警告。以下是具体场景和分析：

示例1：触发警告的场景 #

@MainActor
protocol Foo {
    nonisolated var value: Int { get }
}

@MainActor
class Bar {
    nonisolated var value: Int {
        // 警告：Main actor-isolated property 'foo' cannot 
        // be referenced from a nonisolated context.
        foo.value 
    }
    
    let foo: Foo
    
    init(foo: Foo) {
        self.foo = foo
    }
}

警告内容：

Main actor-isolated property ‘foo’ cannot be referenced from a nonisolated context; this is an error in the Swift 6 language mode

示例2：将协议改为类后警告消失 #

@MainActor
class Foo {
    nonisolated var value: Int { 1 }
}

@MainActor
class Bar {
    nonisolated var value: Int {
        foo.value // 无警告：'foo'是明确的类实例
    }
    
    let foo: Foo
    
    init(foo: Foo) {
        self.foo = foo
    }
}

示例3：移除Bar属性的nonisolated修饰符后警告消失 #

@MainActor
protocol Foo {
    nonisolated var value: Int { get }
}

@MainActor
class Bar {
    var value: Int {
        foo.value // 属性隔离后无警告
    }
    
    let foo: Foo
    
    init(foo: Foo) {
        self.foo = foo
    }
}

问题解答 #

该行为是否符合预期？ #

是，这是Swift并发模型的预期行为，属于编译器为保证线程安全的严格检查。

使用协议时触发警告的具体原因 #

1. 协议与类的隔离语义差异
   被@MainActor标记的协议，意味着所有遵循该协议的类型默认会被绑定到Main Actor，协议中的nonisolated成员只是单独豁免自身的隔离要求，但协议实例本身的隔离性仍由@MainActor标记决定。而被@MainActor标记的类，其所有实例明确绑定到Main Actor，编译器能确定实例的隔离状态。

2. 编译器对协议类型的访问限制
   在示例1中，Bar的foo是Foo协议类型，编译器无法提前确定具体遵循协议的类型是否能安全地在nonisolated上下文访问——虽然value是nonisolated，但访问foo这个协议实例本身需要Main Actor权限，而nonisolated上下文不允许直接访问Main Actor隔离的实例，因此触发警告。

3. 类类型的特殊处理
   示例2中，Foo是明确的@MainActor类，编译器知道foo实例的隔离状态，且value是nonisolated（不依赖Main Actor状态），因此允许在nonisolated上下文直接访问foo.value，无需切换到Main Actor，所以没有警告。

4. 上下文匹配消除警告
   示例3中，Bar的value属性默认继承类的@MainActor隔离，访问foo.value的上下文本身就在Main Actor中，符合访问要求，因此不会触发警告。

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