使用async/await时遇‘表达式类型模糊需类型注解’错误求助

问题核心原因 #

你遇到的报错本质是：在doSomething的完成闭包里使用await后，编译器无法推断这个闭包的类型——原doSomething方法大概率定义的是同步闭包参数，但你在闭包里写了异步代码，导致闭包上下文变成异步，两者类型不匹配，进而让编译器搞不清doSomething该调用哪个版本（哪怕只有一个版本），所以报错指向doSomething()处。

具体解决办法 #

办法1：修改doSomething的方法签名（可控代码场景） #

如果SomeManagerClass是你能修改的代码，直接把它的完成闭包改成异步类型：

// 修改SomeManagerClass中的doSomething方法
func doSomething(completion: @escaping (URL?) async -> Void) {
    // 原有的方法实现逻辑
}

之后你的原代码就能正常运行，也可以给闭包显式标注async类型（可选，让代码更清晰）：

private func someFunction() {
    SomeManagerClass.sharedInstance().doSomething() { [weak self] (someURL: URL?) async in
        // do something with someURL
        await withTaskGroup(of: Void.self) { group in
            // do some more work
        }
    }
}

办法2：用Task包裹异步代码（不可修改原类场景） #

如果无法改动SomeManagerClass，就在同步闭包内部启动新的异步任务，把await withTaskGroup的逻辑包进去，保证闭包本身是同步的，避免干扰编译器类型推断：

private func someFunction() {
    SomeManagerClass.sharedInstance().doSomething() { someURL in
        // do something with someURL
        Task { [weak self] in
            await withTaskGroup(of: Void.self) { group in
                // do some more work
            }
        }
    }
}

为什么加(someURL: URL?)没用？ #

你之前只标注了闭包参数的类型，但问题核心是闭包本身是否为异步，仅标注参数类型没改变闭包的异步属性，编译器还是无法匹配原方法的同步闭包参数，所以报错不会消失。

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