返回动态泛型类型

Question

已在 Swift 4.1 中修复

下面描述的问题已在 Swift 4.1 中修复，请参阅 Hamish 的评论

问题

我收到此代码的运行时错误：

class A: Decodable{
    let a: Int
}

class B: A{
    let b: Int = 1 // side problem 2: class B has no initializers. 
                   //Why? It conforms to Decodable right??
}

func getType() -> A.Type{
    return B.self
}

class Test: UIViewController{

    override func viewDidLoad() {
        super.viewDidLoad()
        let data = ["a": 100, "b": 200]
        let jsonData =  try! JSONSerialization.data(withJSONObject: data)
        let t =         try! JSONDecoder().decode(getType(), from: jsonData)
        print((t as! B).b) //run-time
    }
}

因为 t 不是 B。奇怪，我返回了 a B.self。如果我打印getType()，我得到这个：MyProject.B，所以虽然在我的方法签名中我返回一个 A.Type，它应该是一个 B.type，因为我的打印语句是这样说的。

当我删除调用getType()并直接放置 B.self时，我得到完全相同的打印值。而且我没有收到运行时错误。

这两种方式有什么区别？为什么我直接键入 B.self 的方式 2 有效，而我的第一种方式不起作用，尽管打印语句中的值表示方式 1 和方式 2 的值相同。

Answer 1

JSONDecoder.decode()是一个泛型函数，泛型在运行时得到解析。getType()这意味着不使用 的运行时行为，编译器仅依赖于函数声明。

顺便说一句，Decodable需要一个具体的类型来工作，一个在编译时选择的类型，因为它需要知道要使用哪个解码容器。

如果对类型进行一些静态处理，您可以获得一些动态行为：

func decode(from data: Data, type: A.Type) throws {
    let decoder = JSONDecoder()
    if type == A.self { return try decoder.decode(data, type: A.self) }
    else if type == B.self { return try decoder.decode(data, type: B.self) }
    else { throw TypeNotSupportedError }
}

基本上在某些时候您需要为解码器提供具体类型。

关于错误#2，编译器似乎自动生成Codable仅支持一个层次结构级别。