Swift中await置于赋值运算符前后是否存在差异？

一、当前示例中的无差异情况 #

在你给出的代码里，这两行代码的运行效果完全一致：

apples = await fetcher.fetch()
await apples = fetcher.fetch()

原因是：AppleList类标记了@MainActor，所以load()方法和apples属性都属于MainActor上下文。fetcher.fetch()是AppleFetcher actor的异步方法，调用时会切换到该actor执行，完成后切回MainActor执行赋值。两种写法最终都会先等待fetch()完成，再在MainActor上完成属性赋值，没有行为差异。

二、产生差异的场景 #

1. 跨Actor赋值场景 #

如果赋值的属性属于另一个独立Actor，或者当前方法不在属性的Actor上下文，两种写法的Actor切换逻辑会完全不同：

actor FruitStorage {
    var apples: [Apple] = []
}

class AppleList {
    private let storage = FruitStorage()
    private let fetcher = AppleFetcher()
    
    func load() async {
        // 写法1：先等待fetch完成，再切换到FruitStorage执行赋值
        storage.apples = await fetcher.fetch()
        
        // 写法2：先切换到FruitStorage，再等待fetch完成，最后在该Actor内赋值
        await storage.apples = fetcher.fetch()
    }
}

• 写法1的上下文切换路径：当前上下文 → AppleFetcher → 当前上下文 → FruitStorage
• 写法2的上下文切换路径：当前上下文 → FruitStorage → AppleFetcher → FruitStorage
  两种写法的切换次数和顺序不同，可能影响性能，甚至在有并发约束的场景下改变执行优先级。

2. 多异步操作的复合赋值 #

如果赋值右侧包含多个异步操作，await的位置会决定等待的范围：

func anotherFetch() async -> [Apple] { /* 异步获取其他苹果 */ }

func load() async {
    // 写法1：串行等待两个异步请求，再拼接结果赋值
    apples = await fetcher.fetch() + await anotherFetch()
    
    // 写法2：await包裹整个赋值表达式，逻辑上等价于写法1，但如果右侧是更复杂的异步组合（比如带并行逻辑的闭包），await的位置会直接影响等待范围
    await apples await fetcher.fetch() + await anotherFetch()
}

简单来说：await放在单个异步调用前，仅等待该操作完成；放在整个赋值语句开头，则等待右侧所有异步操作完成后再执行赋值。

3. 错误处理场景（结合try） #

当异步方法可能抛出错误时，try和await必须紧跟在抛出错误的表达式前，不能放在赋值语句开头：

// 修改fetch为可抛出错误的方法
private actor AppleFetcher {
    func fetch() async throws -> [Apple] {
        try await Task.sleep(until: .now + .seconds(6), clock: .continuous)
        return [Apple(name: "honeycrisp", seeds: 47)]
    }
}

func load() async throws {
    // 正确写法：错误来自fetch()，try await紧跟在该方法前
    apples = try await fetcher.fetch()
    
    // 错误写法：编译报错，因为try必须放在抛出错误的表达式前
    // await apples = try fetcher.fetch()
}

这也对应WWDC提到的表述：错误和挂起点都在右侧的异步调用上，所以try await必须放在该调用前，而非整个赋值语句开头。

三、官方推荐写法的原因 #

WWDC示例中把await放在=之后，核心原因是：

• 语义清晰：明确表达“等待右侧异步操作完成后，再将结果赋值给左侧”的逻辑
• 避免歧义：在跨Actor、多异步操作场景下，能准确体现执行顺序和上下文切换路径
• 符合语法约束：结合try处理错误时，必须遵循“try await紧跟抛出错误的异步调用”的语法规则

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