返回动态泛型类型

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。奇怪，我返回一个 B.self。如果我打印getType()，我会得到：MyProject.B，所以虽然在我的方法签名中我返回了一个 A.Type，但它应该是一个 B.type，因为我的打印语句是这样说的。

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

这两种方式有什么区别？为什么我直接输入 B.self 的方式 2 有效，而我的第一种方式却没有，尽管 print 语句中的值表明方式 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 仅支持一个层次结构级别。