Swift 5.5中同步异步函数组合调用写法的等价性与注意事项

三种写法并不等效。await在Swift并发模型中的核心作用是精确标记代码的潜在挂起点：程序执行到await标记的位置时，才可能发生任务挂起、线程/执行器切换，挂起点前后的代码执行时序、临界区范围、隔离域上下文都可能存在本质区别。示例中的三行代码能正常运行，仅仅是因为当前demo里的v和print都是无隔离、无副作用的全局同步函数，属于非常特殊的场景，实际开发中随意放置await会触发不少隐蔽问题。

示例代码如下：

func u () async -> UInt32 {
    let r =  UInt32(Int.random(in: 1...10))
    sleep(r) // 仅作耗时模拟，生产环境禁止在异步任务中调用该阻塞函数
    return r
}

func v(_ x: UInt32) -> UInt32 {
    x
}

Task.init{
    print(v(await u()))
    print(await v(u()))
    await print(v(u()))
}

三种写法的时序差异 #

逐行拆解执行逻辑：

• print(v(await u()))
  唯一挂起点在u()调用处：程序执行到await u()时挂起任务，等u()执行完成拿到返回值后，依次同步执行v、print，后续两个同步函数执行过程中不存在任何挂起可能，状态不会被其他并发任务修改。
• print(await v(u()))
  挂起点覆盖u()参数评估阶段，但如果v本身是跨actor隔离域的方法（比如被@MainActor标记、或是自定义actor的实例方法），此处会多出一个跨隔离域调用v的挂起点：等u()返回后，程序需要再次挂起、切换到对应actor的执行器才能执行v，两个挂起点之间actor的状态可能被其他任务修改。
• await print(v(u()))
  挂起点覆盖u()调用，但如果print（或是实际业务中使用的日志/输出函数）是隔离域绑定的方法，此处会再多出一个跨域调用print的挂起点，逻辑的临界区范围进一步缩小。

必须留意的潜在陷阱 #

• 1. 隔离域调用漏写await导致编译失败
     只要调用链中任何一个函数是actor隔离的，await就必须覆盖到对应函数的调用位置，而不是随便写在表达式最外层就行。比如v如果是@MainActor标记的主线程隔离函数，print(v(await u()))会直接编译报错——因为调用v本身需要跨主线程隔离域，必须写await，只有把await写在v调用外层才能正常编译。
• 2. 临界区判断错误引发的并发安全问题
     很多开发者会误以为await标记的是整个表达式的原子性，实际上每个await都是一个可重入点：挂起期间actor的可变状态可能被其他任务修改。如果错把await放在表达式最外层，很容易忽略参数评估、中间函数调用过程中存在的隐式挂起点，导致你以为前后逻辑在同一个临界区内，实际上状态已经被篡改，出现数据竞争、逻辑判断失效的问题。
• 3. 无效计算与取消检查失效
     await位置同时是Swift并发的任务取消检查点。如果把await放在表达式最外层，可能导致挂起返回后、执行后续同步逻辑前没有及时检查取消状态，白白执行大量高成本的同步计算（比如大数组遍历、IO操作），浪费系统资源。
• 4. 多参数表达式的评估顺序意外
     当函数存在多个参数时，Swift会按照从左到右的顺序评估参数，如果await位置不对，可能导致部分参数在挂起点前就被计算完成，等挂起返回后参数的值已经不符合业务预期（比如参数是时间戳、临时状态标记，挂起期间已经过期）。

内容的提问来源于stack exchange，提问作者Torrontés