SwiftTesting项目中关于noasync调用的虚假警告问题解析

在Swift 6.2版本中，使用SwiftTesting框架进行单元测试时，开发者可能会遇到一个关于noasync调用的虚假警告问题。这个问题主要出现在使用#expect(throws:)宏进行异常测试的场景中。

问题现象

当开发者编写如下测试代码时：

@available(*, noasync)
func f() {}

@Test func g() {
  #expect(throws: (any Error).self) {
    f()
  }
}

编译器会发出警告：

函数'f'在异步上下文中不可用；这将在未来的Swift语言模式中成为错误

问题根源

这个问题的本质在于Swift 6.2改进了宏展开过程中的类型检查机制。具体来说：

1. 在Swift 6.2之前，编译器会在宏展开完成后才推断闭包的类型（非异步）
2. 而在Swift 6.2中，编译器会在宏展开之前就推断闭包的类型为异步

这种类型检查顺序的改变导致了noasync函数的虚假警告，因为编译器过早地将闭包推断为异步上下文。

技术背景

noasync是Swift中的一个可用性属性，用于标记那些不能在异步上下文中调用的函数。这个属性通常用于那些不是线程安全的API，或者依赖于特定执行上下文的功能。

#expect(throws:)是SwiftTesting框架提供的一个测试宏，用于验证某个操作是否会抛出特定类型的错误。在内部实现上，这个宏会生成异步代码来支持测试功能。

解决方案

SwiftTesting团队已经通过以下方式解决了这个问题：

1. 为宏添加了隐藏的非异步重载版本
2. 确保在宏展开过程中正确处理闭包的类型推断

这种解决方案既保持了向后兼容性，又解决了虚假警告的问题。

最佳实践

对于开发者来说，可以采取以下措施：

1. 如果确实需要在测试中调用noasync函数，可以放心使用，这个警告是虚假的
2. 保持SwiftTesting框架的更新，以获取最新的修复
3. 在编写测试代码时，注意区分真正需要在异步上下文中调用的函数和不应该在异步上下文中调用的函数

总结

这个问题展示了Swift语言演进过程中类型系统与宏系统交互的一个有趣案例。通过理解编译器在宏展开过程中的类型推断顺序变化，开发者可以更好地诊断和解决类似的问题。SwiftTesting团队通过添加隐藏重载的方式提供了一个优雅的解决方案，既保持了语言的严谨性，又提供了良好的开发者体验。