inheritance - Swift协议(protocol)继承和泛型函数

考虑以下游乐场:

import Foundation

protocol StringInitable {
    init( string:String )
}

class A : StringInitable {
    var stored:String

    required init ( string:String ) {
        stored = string
    }
}

class B : A /*, StringInitable */ {
    var another_stored:String

    required init ( string:String ) {
        another_stored = "B-store"

        super.init(string: string)
    }
}

func maker<T:StringInitable>(string:String) -> T {
    return T(string: string)
}

let instanceA = A(string: "test-maker-A")
let instanceB = B(string: "test-maker-B")

let makerA:A = maker("test-maker-A")
let makerB:B = maker("test-maker-B")

let typeInstanceA = _stdlib_getTypeName(instanceA)
let typeMakerA = _stdlib_getTypeName(makerA)

let typeInstanceB = _stdlib_getTypeName(instanceB)
let typeMakerB = _stdlib_getTypeName(makerB)

从结果看，编译器似乎已经推断出正确的类型，但是未能调用正确的初始化器。我为什么要在B类中显式实现StringInitable(通过删除B类定义中的注释进行测试)，以使泛型函数“maker”调用正确的初始化程序？

最佳答案

由于一个简单的原因，它闻起来像是编译器错误:makerB是B类型的变量，但已为其分配了A的实例。这应该是不可能的，实际上，如果您尝试打印，并且更普遍地尝试访问another_stored变量的makerB属性，则会引发运行时异常，并且我别无所求。

这是因为，如果B是A的子类，则无法将A的实例分配给B类型的变量(而可能相反)。

虽然可以将A类型的变量分配给B类型的变量，但是仅在以下条件下:

从A到B的显式向下转换已完成(否则编译器将出错)

由A变量引用的实例实际上是B的实例(否则应引发运行时异常)

请注意，编译器不仅无法调用正确的初始化程序，还调用了另一个类的初始化程序。