Xcode14.1报‘表达式类型不明确’，代码在13.4.1可编译求排查

报错原因 #

Xcode 14.1对应的Swift 5.7提升了类型推断的严格性，原代码里withCheckedThrowingContinuation的泛型类型未明确，导致编译器无法确定continuation的具体类型，从而抛出“表达式类型不明确”的错误。另外原代码存在逻辑漏洞：仅在.cancelled事件时恢复continuation，若收到body或error后未触发.cancelled，会导致异步任务永久挂起。

修复步骤 #

1. 明确泛型类型 #

给withCheckedThrowingContinuation指定泛型参数Data?，让编译器直接锁定类型：

try await withCheckedThrowingContinuation(of: Data?.self) { continuation in
    // 原有逻辑
}

2. 修复continuation恢复逻辑 #

确保所有业务分支都能触发continuation.resume，避免任务挂起：

• 收到body后，在group.notify中完成断开连接并恢复continuation
• 收到error后，先恢复continuation再断开连接
• 保留.cancelled分支的恢复逻辑

修改后的完整代码：

extension WebSocket {
    @available(macOS 10.15, *) 
    func connectUntilBody(write: String? = nil ) async throws -> Data? {
        try await withCheckedThrowingContinuation(of: Data?.self) { continuation in
            var result: Result<Data?, Error> = .success(nil)
            onEvent = { [weak self] event in
                guard let self = self else { return }
                
                if let body = event.body {
                    result = .success(body)
                    let group = DispatchGroup()
                    if let write = write {
                        group.enter()
                        self.write(string: write) {
                            group.leave()
                        }
                    }
                    group.notify(queue: .main) {
                        self.disconnect()
                        continuation.resume(with: result)
                    }
                } else if case let .error(error) = event {
                    if let error = error {
                        result = .failure(error)
                    }
                    continuation.resume(with: result)
                    self.disconnect()
                } else if case .cancelled = event {
                    continuation.resume(with: result)
                }
            }
            connect()
        }
    }
}

调试拆分方法 #

• 先验证类型推断问题：只添加泛型参数of: Data?.self，编译看报错是否消失，快速确认类型推断是否为核心问题。
• 单独测试事件回调逻辑：把onEvent的逻辑抽成独立函数，传入模拟的event值，打印日志检查每个分支是否正确设置result并触发continuation.resume。
• 分步验证异步流程：
  1. 注释掉write相关代码，测试仅连接、接收body、断开的基础流程
  2. 单独测试带write的场景，确认DispatchGroup的enter/leave逻辑无遗漏
  3. 手动模拟error事件，检查是否能正确抛出错误并结束任务

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