/* Page prose (zh-Hans) */
"Swift6CompileTimeSafety" = "# Swift 6：编译器证明你的并发是安全的\n\n退后一步，看看你一直在搭建的这台机器。`Sendable` 说的是*哪些值可以跨越边界*。actor 隔离（`@MainActor`、你自己的全局 actor、普通的 actor）说的是*一段代码属于哪个域*。合在一起，它们让 Swift 6 编译器追踪你程序中的每一次边界跨越，并证明任何两个域都绝不会在同一时间触碰同一份可变状态。当它无法证明时，你得到的是一个**编译错误，而不是一个 data race**。\n\n这是一笔真正全新的交易。在经典模型里，竞争是你在它咬到你*之后*才诊断的东西：时有时无、难以复现、在代码评审中看不见。有了这套机制，同样的错误通常连 `Run` 都到不了。你在这里学到的那些标注不是官僚主义；它们是你在把足够的信息交给编译器，让它替你做检查。\n\n所以当你遇到一个 Sendable 或隔离错误时，别把它读成编译器在为难人。把它读成：*“我找到了一个两段代码可能相撞的地方：告诉我这属于哪个域。”* 回答那个问题，错误就消除了。这些错误是站在你这边的。\n\n[上一页](@previous)  |  第 10 / 11 页  |  [下一页: 小结](@next)";
