为何Actor隔离属性无法以inout传递给async函数调用？

问题场景代码 #

@MainActor var globalNumber = 0

@MainActor
func increase(_ number: inout Int) async {
    // some async code excluded
    number += 1
}

class Dummy: @unchecked Sendable {
    @MainActor var number: Int {
       get { globalNumber }
       set { globalNumber = newValue }
    }

    @MainActor
    func change() async {
       await increase(&number) // Actor-isolated property 'number' cannot be passed 'inout' to 'async' function call
    }
}

注：上述代码为复现问题的示例，将number设为计算属性是为了触发Actor-isolated条件（存储属性且为值类型时不会触发该报错）。

核心原因与设计逻辑 #

你的猜测方向是正确的，问题本质和Actor的重入安全以及隔离语义的一致性强相关，以下是详细拆解：

1. 为什么会触发报错？

Actor的核心是通过串行执行任务保证线程安全，所有访问隔离属性/方法的操作必须在Actor的执行上下文内完成。而inout参数的本质是传递变量的内存引用，函数会直接读写原始变量的地址。但async函数存在挂起点（比如await），当函数挂起时，当前Actor的执行权会被释放，允许其他任务在该Actor上运行——这就直接打破了隔离状态的独占访问。

对于示例中的计算属性number：

• 当传递&number给async函数时，函数首先会调用get获取当前值（此时处于MainActor上下文）
• 若函数执行到挂起点，MainActor会被释放，其他任务可能修改globalNumber（也就是number的底层依赖值）
• 函数恢复执行后，会调用set将修改后的值写回——此时写入的是基于旧值计算的结果，完全破坏了数据一致性

如果是存储属性，Swift会做隐式的copy-in copy-out处理：先拷贝属性值到局部变量，函数修改拷贝，执行完成后再将拷贝写回属性，以此规避风险；但计算属性没有自身存储，必须通过get/set访问外部数据，无法进行这种安全处理，因此编译器直接禁止该操作。

2. 这个设计的目的

• 严格维护Actor的线程安全语义：Actor的隔离性要求所有对隔离状态的访问必须串行化，不允许在async挂起期间让隔离状态暴露给外部修改的可能。
• 避免数据竞争与不一致：若允许这种操作，会出现典型的“读取-修改-写入”竞态条件，完全违背了Actor“无需手动加锁即可保证线程安全”的设计初衷。
• 保持语义清晰度：inout在同步代码中是可靠的引用传递，但在async场景下，挂起会打破引用的独占性，编译器通过报错强制开发者选择更安全的实现方式。

3. 若允许该操作会引发的问题

• 数据一致性破坏：挂起期间其他Actor任务可修改同一隔离状态，导致最终写入的值基于过期数据，引发逻辑错误。
• 绕过Actor的串行保护：Actor的核心是保证隔离状态的访问串行执行，而inout+async会让隔离状态在函数挂起期间被其他任务修改，直接破坏了Actor的安全机制。
• 调试难度极高：这类竞态条件属于偶现问题，仅在特定调度时机触发，排查和修复的成本非常高。

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