swift - 为什么改变 Actor 的 nonSendable 属性是合法的？

Question

以下代码在 Swift 5.5(测试版)中是合法的:

class Dog {
    var name = "rover"
    var friend : Dog? = nil
}
actor MyActor {
    let dog = Dog()
}
func test() async {
    let act = MyActor()
    act.dog.name = "fido"
    act.dog.friend = Dog()
    act.dog.friend?.name = "fido"
}

为什么这是合法的？ dog 属性是共享状态，不是吗？我们不是有同时在不同线程上访问 Actor 的狗的危险吗？这不是 Actor 应该保护我们的吗？
奇怪的是，如果 Actor 的 dog属性(property)是用 var 声明的而不是 let ，我们不得不说 await访问期间。为什么会有所不同？ Dog 是一个引用类型；它就地可变，并且无论是否使用 let 声明，它都以完全相同的方式可变。或 var .

Answer 1

你说得对，这样的访问是不安全的，今天的 Swift 5.5 不能阻止这种情况，除非你通过 -warn-concurrency明确地标记。
请引用Staging in Sendable checking提案(和 forums post 讨论检查功能的推出计划)。
您还可以在此处的路线图更新中阅读有关 Swift 5.5 和 Swift 6 从现在开始的并发安全性的总体计划:Concurrency in Swift 5 and 6 .