为协议泛型便利函数添加默认实现报错：无法特化非泛型定义

错误提示翻译：无法为非泛型定义指定特化类型

问题原因 #

你在扩展的便利函数里显式调用perform<T>(request)时，编译器会将这个perform识别为当前正在定义的同名便利函数（而非协议里返回元组的重载版本），同时显式指定<T>属于冗余操作，还会导致编译器混淆。另外原代码漏掉了async函数必须的try await关键字。

修正后的代码 #

protocol RequestManagerProtocol {
    func perform<T: Decodable>(_ request: RequestProtocol) async throws -> (T, Int)
    func perform<T: Decodable>(_ request: RequestProtocol) async throws -> T // 便利函数
}

extension RequestManagerProtocol {
    func perform<T: Decodable>(_ request: RequestProtocol) async throws -> T {
        let (obj, _) = try await perform(request)
        return obj
    }
}

补充说明 #

• 必须添加try await：因为调用的是async throws类型的函数，必须用try await来处理异步逻辑和错误抛出
• 去掉显式泛型参数<T>：编译器会根据左边的元组类型(T, Int)自动匹配到协议中对应的重载方法，无需手动指定
• 极端歧义处理（可选）：如果遇到罕见的类型歧义场景，可以通过显式类型标注进一步明确匹配的方法：

let (obj, _): (T, Int) = try await perform(request)

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