Swift泛型约束绕过：让符合Decodable的对象调用指定泛型函数

你的问题核心在于协议类型擦除——当你把数组中的MasterClass实例强转为Decodable后，原本的具体类型（比如A）信息被擦除了，编译器无法将擦除后的Decodable类型匹配到泛型函数get<T: Decodable>的T参数上（因为T要求是具体的、符合Decodable的类型，而非协议本身）。

下面是两种简洁且类型安全的解决方案：

方案一：利用where Self的协议扩展（推荐） #

我们可以给MasterClass添加一个仅对符合Decodable的子类生效的扩展，通过这个扩展来触发泛型函数的正确调用：

class MasterClass{
    func get<T: Decodable>(type: T.Type, subclass: T){
        // 这里替换成你的业务逻辑
        print("成功调用get方法，类型：\(type)，对象：\(subclass)")
    }
}

// 仅让符合Decodable的MasterClass子类拥有此方法
extension MasterClass where Self: Decodable {
    func triggerGet() {
        // 这里的Self就是具体的子类类型（比如A），完美匹配泛型约束
        get(type: Self.self, subclass: self)
    }
}

class A: MasterClass, Decodable{}
class B: MasterClass{}

func x(){
    let array: [MasterClass] = [A(), B()]
    for obj in array{
        // 检查对象是否同时是MasterClass和Decodable的实例
        if let decodableObj = obj as? (any MasterClass & Decodable) {
            decodableObj.triggerGet()
        }
    }
}

方案二：泛型辅助函数捕获具体类型 #

如果你不想添加扩展，也可以在循环内部用一个局部泛型函数来捕获具体的类型信息：

class MasterClass{
    func get<T: Decodable>(type: T.Type, subclass: T){
        print("成功调用get方法，类型：\(type)，对象：\(subclass)")
    }
}

class A: MasterClass, Decodable{}
class B: MasterClass{}

func x(){
    let array: [MasterClass] = [A(), B()]
    for obj in array{
        guard let conformer = obj as? any Decodable else { continue }
        
        // 局部泛型函数，用于捕获conformer的具体类型
        func callGet<T: Decodable>(_ value: T) {
            obj.get(type: T.self, subclass: value)
        }
        // 调用局部函数，编译器会自动推断出T的具体类型
        callGet(conformer)
    }
}

为什么原代码无法运行？ #

原代码中，conformer的类型是Decodable（协议类型），type(of: conformer)返回的是Decodable.Type，但泛型函数get要求的T.Type是具体的符合Decodable的类型（比如A.Type），而非协议本身。这种类型擦除导致编译器无法满足泛型约束，因此报错。

内容的提问来源于stack exchange，提问作者J. Doe