异步重载为何导致空合运算符（??）无法正常工作？

问题场景 #

当类中存在同步和异步版本的同名重载函数时，空合运算符（??）的表现不符合预期。以下是复现代码：

public class Mock {
    public var values: Dictionary<String, Any> = [:]

    public func retrieve<T>(key: String) -> T? {
        return values[key] as? T
    }

    public func retrieve<T>(key: String) async -> T? {
        return values[key] as? T
    }
}

let mock = Mock()
let a: Bool? = (mock.retrieve(key: "Test")) ?? false
let b: Bool? = ((mock.retrieve(key: "Test")) ?? false) ?? false
print(a) // 输出 nil
print(b) // 输出 Optional(false)

预期变量a返回Optional(false)，但实际返回nil；注释掉异步重载函数后，a会返回预期结果。

问题原因 #

Swift的函数重载解析逻辑在存在异步版本时，会错误地将mock.retrieve(key: "Test")推断为异步函数调用，返回类型是Task<Bool?, Never>而非同步版本的Bool?。

此时Task<Bool?, Never> ?? false的运算中，由于Task本身不是可选类型，空合运算符会直接返回Task实例。但将Task赋值给Bool?类型时，因无合法的类型转换路径，最终得到nil。

而嵌套两次??时，编译器的类型推断会回溯修正，选择同步版本的retrieve函数，因此得到预期的Optional(false)。

解决方案 #

1. 显式指定泛型参数 #

通过明确指定泛型类型，引导编译器选择同步版本的函数：

let a: Bool? = mock.retrieve<Bool>(key: "Test") ?? false

2. 显式类型转换 #

通过类型标注明确表达式的返回类型，强制编译器选择同步重载：

let a: Bool? = (mock.retrieve(key: "Test") as Bool?) ?? false

3. 移除冗余异步重载 #

如果该场景下不需要异步版本的函数，可以直接移除异步重载，避免重载解析歧义。

验证 #

采用上述任一方案后，变量a会输出Optional(false)，符合预期。

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