Swift泛型参数'S'无法推断：依赖注入容器编译问题求助

嘿，我帮你排查下这个泛型依赖注入容器的编译问题～ 这个错误的核心原因是类型擦除导致编译器无法从你存储的数组中推断出具体的泛型类型S，咱们一步步来解决：

问题根源分析 #

你当前的代码里用[Service.Type]数组来存储注册的服务类型，但这个数组会把所有具体的服务类型（比如APIService.self）都擦除成Service.Type。当调用get<S>()方法时，编译器没办法从这个擦除后的数组中找到对应S的具体类型，自然就会抛出"Generic parameter 'S' could not be inferred"的错误。

修正后的完整代码 #

我们需要把存储结构从数组改成字典，用每个类型的唯一标识ObjectIdentifier作为键，这样就能精准关联具体的服务类型，避免类型擦除的问题：

import Foundation

protocol Service: NSObjectProtocol { 
    init() 
}

protocol ServicesType {
    func add<S: Service>(service: S.Type)
    func get<S: Service>() throws -> S
}

class Services: ServicesType {
    // 用字典存储：键=类型唯一标识，值=对应的Service类型
    private var serviceRegistry: [ObjectIdentifier: Service.Type] = [:]
    
    func add<S: Service>(service: S.Type) {
        let typeKey = ObjectIdentifier(S.self)
        serviceRegistry[typeKey] = service
    }
    
    func get<S: Service>() throws -> S {
        let typeKey = ObjectIdentifier(S.self)
        // 从字典中取出对应类型并强制转换为S.Type
        guard let serviceType = serviceRegistry[typeKey] as? S.Type else {
            throw NSError(
                domain: "DependencyInjectionError", 
                code: 1001, 
                userInfo: [NSLocalizedDescriptionKey: "未注册服务类型: \(S.self)"]
            )
        }
        // 调用协议要求的init()创建实例
        return serviceType.init()
    }
}

// 测试用例
class APIService: NSObject, Service {
    override init() {
        super.init()
        print("APIService 初始化完成")
    }
}

class AuthService: NSObject, Service {
    override init() {
        super.init()
        print("AuthService 初始化完成")
    }
}

// 使用示例
let container = Services()
container.add(service: APIService.self)
container.add(service: AuthService.self)

do {
    // 编译器可以通过类型标注推断出S的类型
    let apiService: APIService = try container.get()
    let authService: AuthService = try container.get()
} catch {
    print("获取服务失败: \(error.localizedDescription)")
}

关键修改点说明 #

• 存储结构优化：用[ObjectIdentifier: Service.Type]字典替代数组，每个具体服务类型对应唯一的键，保留了完整的类型信息，避免类型擦除。
• 精准类型匹配：在add和get方法中，通过ObjectIdentifier(S.self)生成唯一键，确保能准确找到对应的服务类型。
• 明确泛型推断：调用get()时，通过类型标注（比如let apiService: APIService）让编译器明确泛型参数S的类型，或者用try container.get() as APIService也可以。

内容的提问来源于stack exchange，提问作者Tommy Sadiq Hinrichsen